title: Worst Case Execution Time

text: Aujourd’hui, cette information est indispensable pour l’intégrité des systèmes embarqués voués à la sécurité comme un ABS ou un coussin gonflable de sécurité (« "airbag" ») dans une voiture, les systèmes de contrôle aérien et tout autre système informatique critique. Ces systèmes doivent réagir en temps réel de manière fiable, ce qui implique à la fois d’être sûr du résultat produit par le programme mais aussi de connaître absolument le temps qu’il prendra pour s’exécuter. Pour garantir cela, le plus long temps d’exécution a besoin d’être connu le plus précisément possible. Toutefois, un programme ne se comporte pas toujours de manière identique, son temps d’exécution peut varier en fonction du type de tâche à réaliser mais aussi du type de l’appareil sur lequel il s’exécute. Par conséquent, les caractéristiques du code du programme et les caractéristiques matérielles ont besoin d’être considérées.


title: Worst Case Execution Time

text: Pour déterminer le WCET, plusieurs pratiques existent. La première, utilisée couramment dans l’industrie, s’appuie sur les mesures: c’est la méthode dynamique. Cette méthode a pour principe d’exécuter un certain nombre de fois le programme avec des données d’entrées différentes considérées comme celles provoquant la durée d’exécution la plus longue. Toutefois, les mesures ne donnent pas toutes les garanties que le plus long temps ait été rencontré, ce qui entraîne des erreurs. Une deuxième méthode fonctionne par analyse du programme sans même l’exécuter: c’est la méthode statique. Cette technique alternative dérive par abstraction les propriétés que le programme aurait pour toutes ses exécutions possibles. Son résultat donne un temps qui est garanti pour être plus large que le (ou égal au) plus long temps d’exécution du programme. Elle a donc tendance à surestimer le WCET. Pour réduire ce phénomène, l’analyse a besoin d’être effectuée tant au niveau haut du code qu’au niveau bas. La prise en compte des données micro architecturales telles que les comportements processeurs et mémoires est de plus en plus importante surtout depuis le développement des usages de processeurs à plusieurs cœurs dans les systèmes embarqués. Une troisième méthode tente d’améliorer les calculs du WCET en combinant les techniques dynamiques et statiques: c’est la méthode hybride. Ces différentes méthodes sont disponibles sous forme d’outils issus à la fois du monde universitaire, industriel et commercial.


title: Worst Case Execution Time

text: Les systèmes temps réel doivent satisfaire des contraintes temporelles strictes, qui sont dérivées des systèmes qu'ils contrôlent. En général, le calcul du WCET est nécessaire pour montrer la satisfaction de ces contraintes. L'obtention systématique des limites supérieures des temps d'exécution des programmes pourrait complètement résoudre le problème de l'arrêt du programme. Cependant, les systèmes temps réel utilisent seulement une forme restreinte de programmation, ce qui garantit que les programmes se terminent toujours. Ainsi, les secteurs tels que l'industrie spatiale et l'aviation acceptent les coûts élevés et les efforts nécessaires pour obtenir un WCET le plus précis possible. D'autre part, le coût élevé pour re-valider le logiciel en cas de changements même mineurs est une problématique importante à prendre en considération. Par exemple, dans les secteurs de production de masse où les coûts sont optimisés, les coûts de production sont plus importants que les coûts de développement. Le développeur devra, pour garantir les délais, prendre en compte le WCET des programmes afin de sélectionner le moins cher et celui qui sera suffisamment puissant pour répondre aux besoins. Pour les systèmes où le temps d’exécution est moins critique, les estimations du WCET ne sont pas toujours nécessaires, seulement des parties limitées du logiciel du système sont critiques.


title: Worst Case Execution Time

text: Bien que l'analyse de l’ordonnancement d'un programme soit l'un des domaines traditionnels de recherches, les premières recherches sur l'analyse du WCET ont démarré à la fin des années 1980 (Kligerman et Stoyenko en 1986, Mok et al en 1989, Puschner et Koza en 1989 et Shaw en 1989). Dans les années 1990, de nombreux scientifiques ont mis l'accent sur l'analyse du WCET, par conséquent, de nombreux progrès ont été effectués dans cette décennie.


title: Worst Case Execution Time

text: Le début des années 2000 a vu naître des outils d'automatisation de l'estimation du WCET. Le WCET Challenge 2006 a été le premier événement qui a comparé différents outils de WCET en utilisant le même ensemble de critères. Deux équipes de développement d'outils commerciaux, AIT et Bound-T, et trois de prototypes d'outils de recherches, MTime, SWEET, et Chronos y ont participé. D'autres groupes de développeurs n'ont pu y participer pour cause de délai de préparation trop court tel que les développeurs d'OTAWA, RapiTime, SYMTA/POutil SYMTA/P consultable sur le site SYMTA/P et Heptane. Les critères de références utilisés ont été ceux définis par Jan Gustafsson de l'université de Mälardalen. Un assistant de recherches externe et les équipes de développements ont fait les tests réels des outils suivant ces critères. D'autres Challenges ont eu lieu également en 2008 et 2011.


title: Worst Case Execution Time

text: Par ailleurs un groupe de travail est organisé annuellement sur ce thème en conjonction avec la Conférence des Systèmes Temps Réels. Cet événement permet d'observer les dernières tendances en termes d'obtention du WCET, à l'image de la conférence de Göteborg en 2014 ou celle de Paris en 2013.


title: Worst Case Execution Time

text: L'analyse du WCET permet de calculer les limites supérieures pour les temps d'exécution de morceaux de code pour une application donnée où le temps d'exécution d'un morceau de code est défini comme le temps qu'il faut au processeur pour exécuter ce morceau de code. Une tâche peut avoir une certaine variation de temps d’exécution en fonction des données d'entrée ou en fonction des différences d'environnement. Le plus court temps d'exécution est appelé « "Best Case Execution Time" » (BCET), le pire temps d’exécution du programme est appelé « "Worst Case Execution Time" » (WCET). Dans la plupart des cas, l'espace d'état est trop grand pour explorer de manière exhaustive toutes les exécutions possibles et déterminer ainsi les temps d'exécution BCET et WCET de manière exacte.


title: Worst Case Execution Time

text: Aujourd'hui, les trois méthodes suivantes sont utilisées pour l'analyse du WCET :


title: Worst Case Execution Time

text: Avant de choisir une méthode d'obtention du WCET, il est nécessaire de tenir compte des conditions suivantes:


title: Worst Case Execution Time

text: Les méthodes dynamiques consistent à exécuter le programme dont on veut estimer le WCET (sur un système réel ou sur un simulateur) et à mesurer son temps d’exécution. Des jeux de tests pour l’exécution, qu’ils soient explicites ou symboliques sont indispensables dans ce type de méthode. Pour mesurer le temps d’exécution au pire cas, il faut fournir le jeu de test qui conduit au temps d’exécution maximum.


title: Worst Case Execution Time

text: Une des principales difficulté est la possibilité de générer de manière automatique et systématique des jeux de tests suffisant pour l'estimation du WCET. Plusieurs solutions sont envisageables : Quelques travaux basés sur des algorithmes évolutionnistes ont été menés dans ce sens. L’algorithme commence par une population initiale de paramètres (par exemple les données d’essais en cas de test évolutionnaire). Les membres de la population sont ensuite évalués en fonction de leur comportement. Dans le cas du WCET, la valeur de ces paramètres est remise en cause en fonction de la durée d’exécution du programme. Après cette évaluation, si les conditions sont remplies l’algorithme aura défini des paramètres permettant une estimation du WCET plus précise. L'algorithme génétique, qui est un type d'algorithme évolutionniste, est le plus souvent utilisé dans le cadre des méthodes dynamiques. Frank Mueller et Joachim Wegener ont développé une nouvelle approche pour tester le comportement temporel des systèmes temps réels. Grâce à leurs tests évolutionnaires, les jeux de données optimisés sont obtenus automatiquement et permettent de vérifier si les contraintes temporelles spécifiées pour le système sont dépassées. Amine Marref a également développé un programme génétique pour proposer une alternative aux méthodes d'obtention de jeux de paramètres pour l'analyse du WCET. Les paramètres de test sont capturés automatiquement par le programme génétique à la suite de l'exécution de bout en bout du programme sous analyse. Un autre travail proposant un framework de génération de jeux de tests généralisés basé sur une technique d'optimisation a également été publié. Ces méthodes de génération automatique sont dans certaines publications considérées comme méthodes semi-dynamiques ou méthodes hybrides. Le développement de ces techniques principalement basées sur des algorithmes génétiques entraine un regain d’intérêt des méthodes autres que statiques. Cet intérêt est d’autant plus fort du fait de l’utilisation principale des méthodes dynamiques par les industriels.


title: Worst Case Execution Time

text: Le principe de cette méthode est de poser l’hypothèse que les données en entrée sont inconnues et d’étendre le jeu d’instructions du processeur cible de sorte qu’il puisse réaliser des calculs à partir d'une ou plusieurs valeurs inconnues. Elle utilise la sémantique d'instructions alternatives pour traiter les opérandes inconnus. La méthode peut exclure de nombreux chemins du programme impossibles (ou non-exécutables) et peut calculer les paramètres du chemin, comme des limites du nombre d'itérations d'une boucle, sans nécessité d'annotations manuelles du programme.


title: Worst Case Execution Time

text: De nombreuses méthodes existent pour mesurer le temps d'exécution, chaque technique est un compromis entre plusieurs attributs, tels que la résolution, la précision, la granularité et la difficulté de mise en œuvre. Voici les principales techniques de mesure :


title: Worst Case Execution Time

text: La mise bout à bout de mesures de sous-ensembles de programme est possible pour produire une estimation du temps d'exécution et une idée du pire cas d'exécution de son programme, mais elle ne permet pas de trouver de manière précise et certaine ses limites de temps d'exécution. La garantie que les limites de sécurité soient tenues ne peuvent être données que pour les architectures simples. Ces méthodes peuvent être utilisées pour les applications qui n'ont pas de nécessité de garantie de temps d'exécution, typiquement les systèmes temps réel non stricts.


title: Worst Case Execution Time

text: La méthode statique a pour principe d’analyser la structure du programme sans réellement l'exécuter, puis de calculer le WCET à partir de cette structure. À l’inverse de la méthode dynamique, aucune donnée d’entrée n’est connue. Elle est composée de trois phases principales : On retrouve cette architecture type d'analyse statique de temps dans de très nombreux travaux ou outils. Toutes ces analyses fournissent des informations complémentaires utiles pour le calcul du WCET. La connaissance de données d’entrée d’un nœud peut contribuer à accroître la précision de l’analyse. En effet, ces données peuvent avoir un impact important sur le conditionnement d’une branche, donc le choix du chemin à prendre dans le programme. Toutes ces informations peuvent alors être fournies de deux façons, soit sous forme d’annotations par l’utilisateur, ou soit par dérivation automatique. Pour cette dernière, des méthodes d’interprétations abstraites ont été proposées par Gustafson. L’interprétation abstraite est en fait une théorie d’abstraction et d’approximation de structures mathématiques utilisées dans une description formelle de systèmes complexes et une déduction de leurs propriétés combinatoires ou indécidables. Un résumé des différentes interprétations abstraites (paradigmes, méthodes, algorithmes) a été réalisé par Cousot. Un nouvel algorithme appelé “analyse de propagation minimum” ("MPA") est notamment proposé par Bygde, Ermedhal et Lisper pour effectuer le calcul paramétrique des programmes. Celui-ci est significativement plus efficace à la fois au niveau vitesse et mémoire que la méthode généralement employée de programmation d’entier paramétrique ("PIP") introduite par Feautrier. Cet algorithme est prévu pour être implémenté dans l’outil Sweet afin d’améliorer son analyse de flot.


title: Worst Case Execution Time

text: Cette étape est très complexe mais ses mécanismes de spéculation font preuve d’une perspicacité toujours croissante depuis quelques années car sans cesse en évolution. La précision de l’estimation du WCET en est considérablement améliorée. Pour ce faire, elle utilise l’interprétation abstraite pour calculer les invariants pour chaque point du programme qui caractérisent l’ensemble de tous les états que l’architecture peut rencontrer quand le contrôle atteint ce point. Ces invariants décrivent de manière fiable l’information au sujet des contenus des caches, de l’état du "pipeline" incluant les contenus de toutes ses queues et mémoires tampon autant que l’occupation de ses unités, ainsi que l’état des bus, des mémoires, et des périphériques. Les invariants calculés sont utilisés pour exclure les transitions dans l’architecture. Par exemple, une transition de cache absent peut être exclue si l’invariant lié à l’état du cache lui permet de prédire un accès cache.


title: Worst Case Execution Time

text: Si pour les architectures simples, les instructions sont séquentielles et leur temps d’exécution dépend essentiellement des opérations qu’elles doivent réaliser, pour les architectures complexes, les instructions peuvent être parallélisées grâce à l’usage de "pipeline", et leur temps d’exécution varier en fonction de leur contexte par le biais de cache. Cela rend donc l’analyse de temps beaucoup plus difficile. Ces effets sur le temps d’exécution peuvent avoir deux portées différentes: une portée locale dans le cas d’effet de parallélisme comme celui induit par les pipelines car il n’impacte le temps d’exécution que d’instructions proches l’une de l’autre, ou une portée globale dans le cas d’effet de variations de temps comme celui induit par les caches car il impacte cette fois l’ensemble des instructions du flot.


title: Worst Case Execution Time

text: Cette analyse catégorise les instructions en fonction de leur comportement dans le cache mémoire, à savoir si elles sont chargées ou non lors de l’appel processeur, et si elles affectent les autres instructions. L’objectif est d’identifier les instructions susceptibles de provoquer une perte de temps liée à un appel processeur qui ne trouve pas de donnée, soit en fait un conflit de cache mémoire. Quatre catégories sont considérées : La catégorisation se fait en deux phases. La première calcule pour chaque instruction (ou nœud ou bloc de base) tous les contenus du cache mémoire avant et après son exécution. Ces contenus sont nommés états abstraits de cache. Le principe est de trouver les instructions générant un conflit de cache mémoire menant au pire cas. La deuxième phase catégorise les instructions vis-à-vis de l’état abstrait de cache pour être utilisé lors de l’étape de calcul du WCET.


title: Worst Case Execution Time

text: Cette méthode est par exemple utilisé par de nombreux outils d’analyse tels que Heptane, AIT, mais aussi détaillée dans les travaux de Lundqvist, Stenström ou encore Puaut.


title: Worst Case Execution Time

text: Le "pipeline" permet la parallélisation des instructions dans le but d’accroître les performances du processeur. Grâce à plusieurs étages dans le "pipeline", les instructions peuvent se chevaucher ce qui induit que le temps d’exécution d’un ensemble d’instructions ne peut pas être égal à la somme des temps de chacune de ces instructions. Le calcul du WCET des instructions se fait via une représentation de l’occupation du "pipeline" par le remplissage de tables de réservation pendant l’exécution de ces instructions simulant ainsi les l’états d’occupation des étages du pipeline. Une étude de Metzlaff montre et quantifie l'impact des anomalies mémoires sur le calcul. Comme pour l'analyse des caches, on peut retrouver cette méthode dans beaucoup d'outils et travaux. Un cas d'anomalie de timing est illustré ci-contre dans le schéma "Anomalie causée par ordonnancement (pipeline)". Dans cette illustration, considérons que les instructions A, D et E ne peuvent s’exécuter que sur la ressource processeur 1, et que les instructions B et C ne peuvent s’exécuter que sur la ressource processeur 2. Le premier ordonnancement se montre optimal car C peut enchaîner avec les instructions D et E avant que l’instruction A n’enchaîne avec l’instruction B. Dans le deuxième ordonnancement, l’instruction A, exécutée sur la ressource processeur 1 et se terminant avant que la ressource C ne soit prête, va alors enchaîner sur l’instruction B sur la ressource processeur 2. Mais cette dernière instruction va bloquer le départ de l’instruction C car elle aussi ne peut s’exécuter que sur la ressource décalant ainsi le départ des instructions D et E suivantes sur la ressource processeur 1. L’ordonnancement est par conséquent plus long.


title: Worst Case Execution Time

text: Cette analyse optionnelle peut s’avérer utile pour des architectures munies d’un prédicteur de branchement. La prédiction de branchement optimise l’usage du "pipeline". Mais son mécanisme de spéculation peut engendrer des erreurs d’anticipation de chargement d’instruction et donc de la perte de temps. La technique est identique à celle utilisée pour l’analyse des caches. Un classement des instructions de branchement conditionnel est donc réalisé. Une méthode basée sur la technique BBIP ("block based instruction prefetching") est proposée par Ni. Des techniques d'optimisation ont aussi été comparées par Plazar en employant un algorithme génétique ou une programmation linéaire en nombres entiers.Un cas d'anomalie due à la prédiction de branchement est illustré ci-contre dans le schéma « Anomalie causée par spéculation (cache) ». De mauvaises surprises peuvent se révéler allant à l’encontre de l’intérêt du cache mémoire prévu pour accélérer le traitement des instructions. En effet, dans le premier cas, l’instruction A se termine avant la condition de branchement. Le processeur engage alors une spéculation qui peut s’avérer être mauvaise, décalant alors le départ de l’instruction C attendue à cause du temps de chargement de l’instruction B dans le cache. Tandis que dans le cas de l’absence de prédiction, le traitement des instructions se fait finalement plus rapidement.


title: Worst Case Execution Time

text: Cette technique tente de borner le plus long chemin d’exécution dans le graphe de flot, et donc de déduire le WCET. La pratique courante pour y arriver est de travailler sur des petits ensembles de chemins en utilisant l’algorithmique des graphes et considérant les WCET des nœuds connus individuellement. Les chemins infaisables n’ayant aucun intérêt dans la recherche du WCET puisque ne se réalisant jamais, elle va consister à les éliminer du graphe. La borne haute pour une tâche est déterminée en calculant les bornes pour les différents chemins de la tâche, et en cherchant le chemin global ayant le temps d’exécution le plus long. La caractéristique principale de cette technique est que les chemins possibles sont représentés explicitement. Cette approche est valable dans une itération de boucle unique, mais pose des problèmes avec des flots s’étendant à travers des boucles à plusieurs niveaux. Le nombre de chemin étant exponentiel par rapport au nombre de points de ramification, il faut alors utiliser des méthodes de recherche heuristique de chemin. La technique est parfaitement illustrée dans la publication « Overview WCET ».


title: Worst Case Execution Time

text: La représentation en arbre syntaxique du programme déjà obtenue en début d'analyse permet d’en découler un arbre de temps. En considérant que l’architecture matérielle n’utilise pas de cache, cet arbre fait la description du code source de la structure syntaxique du programme, des contraintes d’exécution exprimées par le développeur, et des temps d’exécution des différents blocs de base. Il révèle ainsi les WCET à chacun de ses nœuds. La technique consiste à parcourir l’arbre à l’envers en appliquant des formules mathématiques à chaque nœud afin de définir le chemin le plus long, et à chaque bloc de base pour calculer son WCET.


title: Worst Case Execution Time

text: Pour cette étape, les temps d’exécution des blocs de bases sont des informations venant de l’analyse bas niveau. La technique s’appuie sur le graphe de flot. Son principe est de faire correspondre au graphe un ensemble de contraintes à respecter basées sur la programmation linéaire en nombre entier (ILP – "Integer linear programming"). Falk présente par exemple une méthode ILP basée sur l'allocation de registre. À savoir que :  Pour calculer le WCET du plus long chemin, la fonction objective est maximisée. Pascal Raymond explique de manière générale la technique en la détaillant par plusieurs exemples.


title: Worst Case Execution Time

text: Il existe traditionnellement deux types de méthodes pour le calcul du WCET, les méthodes dynamique et statique. Le désavantage de la méthode dynamique est qu'il est impossible de garantir que tous les chemins de flot de contrôle aient été couverts, de sorte que le résultat ne donne qu'une estimation approximative du WCET. Pour ce qui concerne les méthodes statiques incluant une analyse haut et bas niveau, la complexité croissante des architectures des processeurs rendent l’estimation du WCET trop pessimiste. Pour s’en affranchir, sont donc apparues des méthodes hybrides combinant les techniques d'analyses statiques haut-niveau du WCET et les analyses dynamiques du code.


title: Worst Case Execution Time

text: D’une manière générique, les méthodes hybrides incluent les cinq étapes suivantes :


title: Worst Case Execution Time

text: De nombreuses recherches ont été effectuées afin de faire progresser ces techniques hybrides et permettre de définir un cadre pouvant être utilisé par les milieux industriels. Ces méthodes mettent en jeu différentes techniques vu précédemment, comme l'utilisation de l’analyse statique, ou d'algorithmes évolutionnistes permettant la génération de jeux de test pour les méthodes de mesures dynamiques, afin de consolider le résultat du WCET obtenu.Voici la description d'une techniques d’analyse hybride du WCET : L’analyse temporelle basée sur la mesure ("MBTA").


title: Worst Case Execution Time

text: Quelques études recensent et comparent des outils d’obtention du WCET. Parmi tous les outils existants, voici trois exemples issus du monde universitaire et trois autres du monde du commerce.


title: Worst Case Execution Time

text: Heptane("Hades Embedded Processor Timing ANalysEr") est un outil d’analyse statique open source sous licence GPL. Il a été conçu au début des années 2000 avec Isabelle Puaut et Antoine Colin. Cet outil déduit le WCET de programmes en langage C en utilisant deux méthodes de calcul, une première basée sur l’arbre syntaxique et une deuxième basée sur la méthode IPET. L’utilisateur doit toutefois lui fournir des annotations symboliques sur le programme source afin de borner les boucles d’itération. L’analyse micro architecturale est par ailleurs assurée via des mécanismes d’analyse de cache, de "pipeline" et de prédiction de branchement intégrant la méthode de simulation de cache statique de Frank Mueller.


title: Worst Case Execution Time

text: OTAWA ("Open Tool for Adaptative Wcet Analysis") est un outil d’analyse statique "open source" sous licence LGPL. Développé à l’Institut de recherche de Toulouse, il est issu de la collaboration de Clément Ballabriga, Hugues Cassé, Christine Rochange et Pascal Sainrat. Cet outil, utilisable sous la forme d’une bibliothèque C++, calcule le WCET par analyse statique basée sur IPET. La manipulation du code binaire est facilitée (graphe de flot de contrôle, détection de boucle…) et sa conception modulaire peut supporter différentes architectures telles que PowerPC, ARM, Sparc ou M68HCS.


title: Worst Case Execution Time

text: SWEET("SWEdish Execution Time analysis tool") est un outil d’analyse de flot et de calcul BCET/WCET (meilleur et pire cas de temps d’exécution). Il est développé en Suède depuis 2001 par l’équipe de recherche de Västerås et maintenant de Mälardalen. Sweet utilise un langage de programme intermédiaire spécialement conçu pour l’analyse de flot et travaillant au format « ALF ». Il peut analyser les programmes sources ou compilés, et exporter son travail pour le rendre exploitable dans les outils AIT ou Rapitime. Sa principale fonction est d’analyser le flot de contrôle le plus précisément et automatiquement possible en se basant sur trois méthodes différentes : "path-based", IPET, ou hybride.


title: Worst Case Execution Time

text: AIT ("AbsInt’s Tool") est un outil développé par AbsInt Company et spécialisé pour le calcul WCET des systèmes embarqués. Il répond en particulier aux exigences de l’aéronautique. Basé sur l’interprétation abstraite et s’appuyant sur les méthodes d’analyse de Wilhelm, Ferdinand, Thesing, Langenbach et Theiling, AIT fonctionne sur le principe de construction d’un graphe de flot sur lequel des analyses de cache et de "pipeline" sont effectuées afin de calculer le pire chemin d’exécution par technique "ILP". Il est aussi capable de supporter de très nombreuses architectures.


title: Worst Case Execution Time

text: RapiTime est un outil de la société Anglaise Rapita Systems Ltd conçu pour les systèmes embarqués de l'industrie automobile, de télécommunication ou aéronautique. Son origine est le prototype pWCET développé par Bernat, Colin et Petters. L’outil fonctionne sur la méthode hybride en combinant des mesures dynamiques et des analyses statiques de type "tree-based".


title: Worst Case Execution Time

text: Bound-T est un outil développé à l’origine par Space Systems Finland Ltd sous contrat de l’Agence Spatiale Européenne (ESA) pour les besoins de vérifications des systèmes embarqués spatiaux. Il examine le programme compilé en calculant le WCET via les méthodes d’analyses de flot de contrôle, de boucles d’itération, et d’annotations éventuelles données par l’utilisateur. Bound-T supporte la plupart des plateformes et processeurs.


title: Worst Case Execution Time

text: MERASA ("Multi-Core Execution of Hard Real-Time Applications Supporting Analysability") est un projet de recherche spécifique faisant partie du septième programme de développement informatique de la commission européenne. Conduit par l’université de Augsburg (Professeur Ungerer), il est le fruit d’une collaboration entre le centre de super calcul de Barcelonne, l’université de Toulouse (IRIT), et les entreprises Rapita et Honeywell. Le projet s’est déroulé entre 2007 et 2010. Son objectif était de tenter d’influer sur la conception de matériel temps réel et de son logiciel en développant un nouveau processeur multicœurs (de 2 à 16 cœurs) et des techniques pour garantir un calcul fiable du WCET. Il s’inscrit dans le besoin croissant de l’industrie d’utiliser ces architectures pour augmenter les performances de leurs systèmes embarqués liés à la sécurité, mais aussi dans la nécessité de répondre aux contraintes d’impossibilité de prédire et d’analyser leur comportement sans amener à un fort pessimisme sur le calcul du WCET. Pour réaliser sa tâche, MERASA s'est appuyé sur deux outils d’analyses statiques existants : Otawa et Rapitime.


title: Worst Case Execution Time

text: De nombreuses études tentent d’améliorer le calcul WCET.


title: Worst Case Execution Time

text: Un exemple est donné par Lokuciejewski, Falk, Schwarzer, Marwedel et Theiling en utilisant des procédures de clonage sur le code source pour réduire la surestimation du WCET. Celles-ci rendent le code mieux analysable et plus prévisible à partir de fonctions spécialisées qui permettent une définition explicite des bornes de boucles et optimisent les détections de chemins infaisables. La réduction mesurée avec l'outil de test Mibench-Suite est comprise entre 12 et 95%.


title: Worst Case Execution Time

text: Un deuxième exemple révèle une amélioration du calcul WCET avec un impact faible sur son coût. Il consiste à combiner une exécution de programme symbolique avec la technique d’énumération de chemins implicites (IPET). Cette opération est réalisée en post traitement à tout analyseur incluant IPET. Elle correspond à un algorithme qui peut être stoppé à tout instant sans impact sur la fiabilité du calcul et qui ajoute un cadre de contraintes de temps pour affiner le WCET. Son implémentation a été réalisée dans la chaîne d’outillage r-TuBound.


title: Worst Case Execution Time

text: Un troisième exemple apporte de nouvelles approches d’affinage WCET en optimisant l’utilisation des ressources dans un système multiprocesseurs. Celles-ci visent l’ordonnancement des instructions en tenant compte autant des valeurs de TDMA ("time division multiple access"), autrement dit tranche de temps par processeur, que de la PD ("priority division") qui est la priorité de la TDMA. Elles utilisent une optimisation évolutionniste sur le paramétrage de l’ordonnancement des ressources partagées, ainsi qu’une planification d’instruction qui restructure les programmes d’entrée pour accroître leur performance.


title: Worst Case Execution Time

text: Les récents progrès technologiques et les tendances du marché tendent à faire converger l’informatique de haute performance (HPC) et l’informatique des systèmes embarqués (EC). En effet, le domaine HPC est réservé pour les traitements de volumes de données très élevés. À l’inverse, le domaine EC est focalisé sur l’exigence de connaitre avec sureté le temps d’exécution des systèmes temps réels. Mais aujourd’hui, l’énorme quantité de données à considérer pour de nombreuses applications embarquées fait que la prévisibilité et la performance deviennent des préoccupations communes. Le défi futur va donc être de prédire avec précision le temps d’exécution sur les prochaines architectures à plusieurs processeurs, en tenant compte aussi des contraintes jusqu’alors propres à chaque domaine tels que l’économie d’énergie, la flexibilité et la performance. L’usage de processeur standard devrait aussi permettre de réduire les coûts industriels mais sa non spécificité à un ensemble de tâches comme il est encore courant pour les systèmes embarqués va rendre le calcul du WCET plus difficile. Toute cette complexité a fait l’objet d’une réflexion menée par un groupe de chercheurs du centre de recherche de Porto, de l’université de Modène, du centre de super calcul de Barcelone et de l’université de Zürich.


title: Worst Case Execution Time

text: D'autre part, la programmation de systèmes embarqués de sécurité temps réels nécessitant une attention particulière au niveau de la justesse logicielle mais aussi de l’utilisation des ressources, les techniques de conception avancées utilisent de plus en plus des méthodes de développement basées sur le modèle (ou application). Dans ce cas, l’application existe sur plusieurs niveaux de description équivalent aux résultats d’une suite de transformations. Une solution courante est d’utiliser la conception basée sur le modèle doté de trois composants: un langage de synchronisation pour développer l’application, un compilateur, et un outil de simulation. Le langage haut niveau permet le développement modulaire, il possède une sémantique formelle et a la capacité de générer du code impératif. Du point de vue de l'analyse WCET, il permet des annotations au niveau conception à l’opposé d’une instrumentation lourde de bas niveau, et le code impératif qui en découle permet une bonne traçabilité car il adhère à certains critères de certification. Comme ce code impératif est systématiquement construit, il ouvre de nouvelles possibilités d’appliquer une découverte spécifique, d’exprimer et transférer les propriétés du flot vers le niveau de l'analyse WCET du code binaire. L’écart entre le haut niveau axé flot MBD ("Model Based Design") et le bas niveau axé analyse de flot WCET nécessite un transfert bi directionnel de la sémantique de programmation. Cette technique s’avère très intéressante pour les domaines de l’avionique et de l’automobile car elle affine efficacement le calcul du WCET.


title: Peter Astbury Brunt

text: Peter Astbury Brunt FBA ( à Coulsdon, Surrey, Angleterre – à Oxford) est un historien britannique spécialisé dans l'Antiquité, de l'Université d'Oxford et membre de la ".


title: Peter Astbury Brunt

text: Brunt, fils d'un pasteur méthodiste, étudie à l’', à l’' et est diplômé en 1939.


title: Peter Astbury Brunt

text: Pendant la Seconde Guerre mondiale, il sert au ministère de la Marine.


title: Peter Astbury Brunt

text: Il commence sa carrière académique à l'université de St Andrews avant de devenir membre de l’' de 1951 à 1968 puis à Cambridge pour devenir administrateur principal financier (') au ".


title: Peter Astbury Brunt

text: Brunt est nommé membre de la ' en 1969.


title: Peter Astbury Brunt

text: En 1970, Brunt retourne à Oxford en tant que membre du " pour prendre la chaire d'histoire antique Camden (du nom de William Camden) jusqu'en 1982, succédant à Ronald Syme.


title: Peter Astbury Brunt

text: Il est président de la Société pour la promotion des études romaines de 1980 à 1983 à la ".


title: Peter Astbury Brunt

text: Le principal ouvrage de Brunt est son étude de 1971 sur les classes romaines et italiennes de la deuxième guerre punique à la fin du règne d'Auguste : "Italian manpower 225 B.C. – A.D. 14".


title: Fishhook

text: Fishhook est une ville d'Alaska aux États-Unis dans le Borough de Matanuska-Susitna. Elle fait partie de la zone statistique métropolitaine d'Anchorage et avait une population de en 2000.


title: Fishhook

text: Elle est située au nord-ouest de Palmer et au nord de Farm Loop. Les températures moyennes y sont de à en janvier et de à en juillet.


title: Fishhook

text: Son nom lui a été donné en 1910 alors que de l'or a été trouvé dans la rivière Fishhook, affluent de la rivière Susitna en 1906 par Robert Hatcher. Un an plus tard la Gold Bullion Mine a été ouverte par les frères Barthof. Une route a été ouverte pour transporter le minerai depuis les mines vers Knick. Un comptoir a été établi en 1916.


title: Fishhook

text: L'économie locale est basée sur le commerce et les services, ainsi que sur l'agriculture. La plupart des habitants travaillent à Palmer, Anchorage ou Wasilla. Le parc historique "Independence Mine" et le col Hatcher sont d'importantes destinations du tourisme local.


title: Steve Hirschi

text: Steve Hirschi (né le à Grosshöchstetten) est un joueur professionnel retraité suisse de hockey sur glace. Il évolue au poste de défenseur.


title: Steve Hirschi

text: En 1999, il commence sa carrière senior avec son club formateur du SC Langnau Tigers dans la LNA. En 2003, il rejoint le HC Lugano. L'équipe remporte le titre en 2006. Il met un terme à sa carrière au terme de la saison 2016-2017.


title: Steve Hirschi

text: Il représente l'équipe de Suisse au niveau international. Il a participé aux sélections jeunes. Il prend part à quatre éditions du championnat du monde et aux Jeux olympiques de 2006.


title: Basch

text: Plusieurs lieux rendent hommages à :


title: Gateway (Alaska)

text: Gateway est une ville d'Alaska aux États-Unis dans le Borough de Matanuska-Susitna. Elle fait partie de la zone statistique métropolitaine d'Anchorage et avait une population de en 2000.


title: Gateway (Alaska)

text: Elle est située au sud-ouest de Palmer près de la Glenn Highway qu'elle rejoint par la route Trunk et la Palmer-Wasilla Highway. Elle est considérée comme une banlieue de Palmer.


title: Gateway (Alaska)

text: Les températures moyennes y sont de à en janvier et de à en juillet.


title: Gateway (Alaska)

text: La plupart des habitants travaillent à Palmer, Anchorage ou Wasilla ou pratiquent des activités commerciales et de service localement.


title: Jean-Marie Brandt

text: Jean-Marie Brandt, né le à Genève de parents neuchâtelois, est un (écrivain), (poète), enseignant à l'Université populaire de Lausanne (Suisse), formateur au Service de formation des laïcs de l'Église catholique du canton de Vaud (Suisse), conseiller indépendant, ancien directeur général de banque et ancien chef de l'Administration cantonale des Impôts du canton de Vaud.


title: Jean-Marie Brandt

text: Jean-Marie Brandt vit jusqu'à l'âge de six ans à Tolochenaz. Après une maturité latin-grec au collège Champittet, il obtient à l'Université de Lausanne une double licence en droit suisse et en sciences économiques (mention gestion d'entreprise). Membre de direction de la Société de Banque Suisse à Genève, diplômé AMP de l'INSEAD Fontainebleau il obtient en 1990 un doctorat ès sciences économiques : "L'Obligation de réciprocité, pour une position stratégique de la Suisse face à l'Europe de 1992". Retraité depuis 2004 il défend en 2009 avec succès une thèse en théologie à l'Université de Lausanne : "l'Obsolescence de l'offre religieuse".


title: Jean-Marie Brandt

text: Sa double formation universitaire lui permet une carrière professionnelle diversifiée: au final directeur des impôts du canton de Vaud, dont il a réorganisé les structures et les procédures et concrétisé le passage du praenumerando au postnumerando annuel ainsi que la déclaration d'impôt informatisée, il a été directeur général du Crédit Foncier Vaudois et de la Banque Cantonale Vaudoise, en particulier au temps de leur fusion avec deux autres banques vaudoises. Auparavant il a été membre de la direction de la Société de Banque Suisse à Genève, directeur adjoint de la Compagnie de Banque et de Crédit SA(Groupe Tradition SA à Lausanne), senior Bank auditor chez KPMG, Genève et Francfort. Il est actuellement consultant indépendant et depuis 2009 enseignant à l'Université Populaire de Lausanne et au Service de formation des adultes de l'Église catholique du canton de Vaud. Il donne régulièrement des conférences et organise des débats sur l'actualité, notamment en lien avec le message biblique.


title: Jean-Marie Brandt

text: Passionné de littérature - il aime les Parnassiens, Valéry, Saint Augustin, Proust - il écrit de la poésie, inspirée de Nerval et de Baudelaire. Il possède également des talents de romancier : les éditions de l'Aire publient son premier roman sous le pseudonyme de Jean-Marie Rémy. Intitulé "Le Chat", il y livre son expérience des grandeurs et misères de notre société.


title: Jean-Marie Brandt

text: En 2007, Jean-Marie Brandt publie sous son vrai nom, "Ténèbres sur le Grand-Saint-Bernard", premier tome d'une suite romanesque en plusieurs volumes publié aux Éditions Slatkine. La presse locale a salué la parution de son essai "La Crise ? Quelle Crise ?" publié aux Éditions Slatkine en 2015.


title: Serge Bregnard

text: Serge Bregnard, né le à Neuchâtel, est un écrivain et éducateur spécialisé vaudois.


title: Serge Bregnard

text: Serge Bregnard découvre à vingt ans son intérêt pour le travail social à la Fondation J. et M. Sandoz au Locle, en s’occupant de jeunes en difficultés. Il suit une formation d’éducateur spécialisé à l’école d’études sociales et pédagogiques de Lausanne. Dès la fin de ses études, il ne quitte plus le domaine des adolescents. Il entame sa carrière en milieu fermé, puis travaille aux côtés de mineurs toxicomanes. Depuis 1984, il coopère avec l’association de la maison des jeunes de Lausanne.


title: Serge Bregnard

text: Il y crée en 1992, avec un collègue, une structure de prévention et de suivi éducatif spécialisé: L’appar’t. Il collabore aussi avec les écoles lausannoises en tant que superviseur et exerce cette fonction auprès des étudiants des différentes écoles sociales de Romandie.


title: Serge Bregnard

text: En 2008, Serge Bregnard publie son premier roman "Le Procès de Lisa" aux éditions LEP, roman largement inspiré de son vécu en tant qu'éducateur spécialisé.


title: Diocèse de Cantorbéry

text: Le diocèse de Cantorbéry (en anglais : ") est un diocèse anglican de la Province de Cantorbéry. Il s'étend sur la partie orientale de Kent. Son siège est la cathédrale de Cantorbéry. Son titulaire, l'archevêque de Cantorbéry, est le « primat de toute l'Angleterre » et le chef religieux de l’Église d'Angleterre. Le diocèse est donc le centre de la Communion anglicane.


title: Diocèse de Cantorbéry

text: Quatre évêques suffragants relèvent de la juridiction du diocèse :


title: Diocèse de Cantorbéry

text: Le premier archevêque de Cantorbéry fut saint Augustin qui arriva dans le Kent en 597, envoyé par le pape Grégoire pour une mission de re-évangélisation de Angleterre. Il fut accepté par le roi Æthelbert, lors de sa conversion au christianisme vers 598. Depuis lors, les archevêques de Cantorbéry sont désignés comme les « occupants du fauteuil de St Augustin ». Avant la rupture avec l'autorité papale au , l'Église d'Angleterre faisait partie intégrante de l'Église de l'Europe occidentale continentale.


title: Lagune de los Cisnes (Santa Cruz)

text: La Lagune de los Cisnes (en français "Lagune des Cygnes") est un petit lac d'Argentine. Il est situé au nord-est du département de Río Chico de la province de Santa Cruz, en Patagonie.


title: Lagune de los Cisnes (Santa Cruz)

text: Le lac, situé en plein centre du plateau desséché de la Patagonie argentine s'étend du nord au sud sur une longueur de et à une altitude de . Il couvre une superficie de plus ou moins .  Le lac est situé à quelque 27 kilomètres à l'est-sud-est de la localité de Bajo Caracoles et moins de du site de la Cueva de las Manos dans le cañon du río Pinturas, site préhistorique, déclaré patrimoine mondial de l'Humanité.


title: Lagune de los Cisnes (Santa Cruz)

text: On y accède par la route nationale 40.


title: Lagune de los Cisnes (Santa Cruz)

text: Il est alimenté par le río Olnie, émissaire du lac Olnie, lui-même alimenté par les précipitations du versant oriental du "cerro Belgrano" ().


title: Lagune de los Cisnes (Santa Cruz)

text: Le lac fait partie d'un système endoréique, comprenant le río Olnie ou "río Olín", qui débouche au niveau de sa rive sud-est et qui le traverse, évacuant le trop-plein d'eau de manière intermittente en direction de la lagune Olín. Celle-ci, salée et située 17 kilomètres plus au sud, est généralement à sec, mais se remplit notamment lors des périodes de crue ou des années humides.  Ce système permet une vidange régulière tant des eaux du lac Olnie que de celles de la lagune de los Cisnes, et évite ainsi que des sels ne s'y accumulent. Les sels sont en effet systématiquement chassés vers le dernier des plans d'eau, la lagune Olín.


title: Paroisse orthodoxe Saint-Martin-le-Miséricordieux

text: La paroisse orthodoxe Saint-Martin-le-Miséricordieux à Tours est une paroisse rattachée à l'Archevêché des Églises orthodoxes russes en Europe occidentale, exarchat du Patriarcat œcuménique.


text: Les offices sont célébrés principalement en français et en partie en slavon (russe liturgique).


title: Charles Gangloff

text: Raphaël Marie Hyacinthe Gangloff dit Charles Gangloff, né le à Blois et mort à Épinay-sur-Orge le , est un dessinateur et illustrateur français.


title: Charles Gangloff

text: Il est le frère du compositeur Léopold Gangloff (1856-1898).


title: Charles Gangloff

text: Élève d'Emil Fuchs, Charles Gangloff a exposé au Salon des artistes français en 1890 et en 1892. Par la suite, il a essentiellement travaillé pour la presse et l'édition musicale entre les années 1890 et 1910.


title: Charles Gangloff

text: Pour l'édition musicale, il a dessiné des partitions de chansons de Polin, Adolphe Bérard, Gaston Dona, Montéhus, Ouvrard, Caudieux, Paula Brébion ou Gaston Maquis, mais également celles de son frère Léopold Gangloff : l"'Oraison funèbre", paroles de Jules Jouy (éd. Ondet GO542), "Zoé la bancale", paroles de Louis Marcel, (éd. Ondet GO317), "Sous les saules", paroles de Marie Després-Lévy (éd. Chavat & Girier).


title: Charles Gangloff

text: La date de publication de ses derniers dessins pour l'édition musicale (vers 1910) correspond à l'époque où il est réformé pour "aliénation mentale" par l'administration militaire, décision qui sera confirmée en . Charles Gangloff finira ses jours à la maison de santé de Perray-Vaucluse à Épinay-sur-Orge où il avait été interné.


title: Métapédia

text: Métapédia ou Metapedia (sans accent aigu sur les « e ») est un nom propre, ou plus rarement un nom commun, d'origine étrangère qui peut référer à :


title: Stanga/Tecnomasio

text: Le trolleybus Stanga/Tecnomasio est un modèle unique de trolleybus articulé fabriqué par le constructeur italien Officine Meccaniche della Stanga mis en service par l'ATAG de Rome en 1941 Ce modèle repose sur un châssis articulé spécifique développé par Stanga de 18,30 mètres à 3 essieux avec 2 moteurs Tecnomasio.


title: Stanga/Tecnomasio

text: Ce châssis a la particularité d'être une nouveauté mondiale car auparavant, les bus articulés comportaient deux caisses indépendantes. Le principe d'articulation reprend celui que Stanga avait mis au point pour les trams permettant donc une communication entre les caisses et de supprimer 1 essieu.


title: Stanga/Tecnomasio

text: Le nombre de places est de 150 assises dont 40 assises. Le rayon de giration est très réduit, pour l'époque, 11 mètres.


title: Stanga/Tecnomasio

text: Chacun des 2 moteurs, reliés en série, agit sur un des 2 essieux moteurs arrière, à travers un accélérateur rhéostatique type ARG. Le frein de service est électrique rhéostatique, commandé par la pédale du frein à air comprimé.


title: Stanga/Tecnomasio

text: Le premier et unique exemplaire sera mis en service par la société des transports en commun de Rome, l'ATAG, en .


title: Stanga/Tecnomasio

text: Le véhicule se révèlera très fiable mécaniquement mais délicat dans son fonctionnement. En effet, le réglage de la puissance des 2 moteurs, en absence de l'électronique actuelle, était laissée à l'appréciation du mécanicien. Certains d'entre eux ayant la fâcheuse tendance à abuser le la réduction du courant d'excitation sans attendre que l'intensité absorbée par les moteurs soit repassée au-dessous d'une certaine valeur, lors des démarrages aux arrêts.


title: Stanga/Tecnomasio

text: Ce véhicule resta en service jusqu'en 1953, date à laquelle d'autres modèles des constructeurs Fiat V.I. et Alfa Romeo viendront compléter l'offre des sociétés de transport en commun.


title: Acura / Honda Vigor

text: La Honda Vigor était une automobile berline familiale fabriquée par la compagnie Honda entre 1981 et 1995 sous le nom Honda Vigor au Japon et sous le nom Acura Vigor aux États-Unis durant la période 1992 et 1994. Elle occupait le champ libre laissé par la première génération d'Acura Legend qui grandit de plusieurs centimètres à la suite de son renouvellement.


title: Acura / Honda Vigor

text: Au lancement de la quatrième génération d'Honda Accord, la nouvelle Vigor n'est plus basée sur cette dernière contrairement aux deux précédentes générations. La troisième génération de cette berline arriva au Japon en même temps que la nouvelle Honda Inspire et la Honda Legend. Elle fut vendue aux États-Unis sous le nom d'Acura Vigor à partir de 1992. La berline Honda Inspire ne fut pas vendue sur le territoire américain mais sa remplaçante débarqua sous le nom d'Acura TL et remplaça la Vigor en 1995. Au Japon, la principale concurrente de la Vigor s’appelait Toyota Chaser.


title: Acura / Honda Vigor

text: La production démarra en 1991 et la voiture arriva en concession en juin 1992 sur un créneau proche de l'Integra. Un moteur 5 cylindres 2.5L monté en position longitudinale avant était le seul disponible.


title: Acura / Honda Vigor

text: Honda anticipa la demande du marché à des modèles plus compacts mais avec une image plus sportive à la façon de la BMW Série 3, également moins chère et un peu mieux équipée. La Vigor est le résultat de cette nouvelle philosophie qui se révèle être un échec car les critiques sur la Vigor sont négatives. En comparaison avec la Lexus ES 300 qui apparaît comme plus spacieuse et plus douce, la Vigor étant plus ferme et plus petite, la Lexus est ainsi plus attrayante pour les clients amateurs de berline luxueuse en moyenne.


title: Acura / Honda Vigor

text: En revanche, la voiture a une maniabilité exceptionnelle due notamment à son excellente traction avant.


title: Acura / Honda Vigor

text: En réponse aux critiques, Honda exécuta plusieurs modifications en 1994 comme une nouvelle banquette arrière, des changements au niveau de la suspension pour permettre une meilleure absorption des aspérités de la chaussée. Ces changements n'y feront rien, la clientèle préférant ou la plus puissante Legend ou la Lexus ES, plus représentative de la demande dans les berlines luxueuses d'entrée de gamme.


title: Acura / Honda Vigor

text: Les objectifs n'étant pas remplis, la production s'arrête le et ses remplaçantes n'arrivèrent qu'en 1996. Il s'agit des Honda Saber et Acura TL.


title: Pape Macou Sarr

text: Pape Macou Sarr est un footballeur sénégalais né le à Thiès. Il évolue sous les couleurs du Stade lavallois au poste de milieu de terrain.


title: Pape Macou Sarr

text: Il remporte la Coupe du Sénégal en 2009 en inscrivant le but de la victoire en finale contre l'ASC Cambérène (National 1).


title: Pape Macou Sarr

text: Il a participé avec sa sélection nationale aux éliminatoires de la CAN des moins de 20 ans en 2010 et aux Jeux de la Francophonie 2009.


title: Pape Macou Sarr

text: Il participe avec l'ASC Diaraf à la Ligue des champions de la CAF 2011 jusqu'aux 8èmes de finale et leur élimination contre l'Espérance sportive de Tunis.


title: Pape Macou Sarr

text: En 2011, il participe avec la sélection olympique du Sénégal entrainée par Abdoulaye Sarr aux éliminatoires africaines qualificatives pour les JO de Londres 2012 et se qualifie pour le tournoi pré-olympique de la CAF et les Jeux africains de 2011.


title: Pape Macou Sarr

text: En fin de saison 2010-2011, son départ est évoqué vers le KSC Lokeren en Belgique, il arrive finalement en France pour un essai au Stade brestois. Son père lui aussi était footballeur professionnel.


title: Pape Macou Sarr

text: En , il signe en Europe, à Angers qui se situe en France.


title: Pape Macou Sarr

text: En , n'ayant quasiment jamais évolué en équipe première, il quitte la France pour le club slovaque du DAC Dunajská Streda.


title: Spirée filipendule

text: La Spirée filipendule ou Filipendule commune (Filipendula vulgaris) est une plante vivace de la famille des "Rosaceae" très proche de la reine-des-prés que l'on trouve dans les prés de la plus grande partie de l'Europe et dans le centre et le nord de l'Asie.


title: Spirée filipendule

text: Elle mesure de 25 à de haut avec des feuilles finement découpées rappelant des fougères et des inflorescences terminales à fleurs blanches qui apparaissent de la fin du printemps au milieu de l'été.


title: Spirée filipendule

text: Les feuilles de cette plante forment une rosette basilaire et sont également disposées de manière alterne sur la tige. Les feuilles sont stipulées et celles situées le plus bas sur l’axe sont pétiolées tandis que celles situées en haut de l’axe sont sessiles. Les feuilles sont  finement divisées, dentelées, d’un vert foncé et composées de plusieurs folioles.


title: Spirée filipendule

text: "Filipendula vulgaris" est une plante formant une inflorescence composée d'un racème de racèmes. Chaque fleur est actinomorphe et formée d’une corolle circulaire de 10-15 mm de diamètre. Les pétales sont généralement de couleur crème et tendent  parfois vers un rouge léger. Le nombre de pétales insérés sur le calice est habituellement de 6 chacun mesurant en moyenne 6 à 8 mm de long. L’androcée est formé d’un grand nombre d’étamines, de même que le gynécée qui est formé de plusieurs carpelles. La pollinisation est entomogame ou autogame.


title: Spirée filipendule

text: La plante fleurit de juin à août.


title: Spirée filipendule

text: Les fruits de la spirée filipendule sont des akènes plats, droits et velus de 3-4 mm de long et sont généralement regroupés à plusieurs. La dissémination du fruit est épizoochore, c’est-à-dire que les fruits sont transportées sur le pelage ou plumage des animaux.


title: Spirée filipendule

text: La "Filipendula vulgaris "est une espèce héliophile ou de demi-ombre se trouvant sur des sols argileux ou limoneux riches en bases, à pH alcalin à légèrement acide. Elle se développe sur des sols secs ou offrant des variations annuelles importantes d’humidité.


title: Spirée filipendule

text: Cette plante est originaire des plaines calcaire sèches d’Asie et d’Europe. Elle a ensuite été importée sur le continent américain où on la retrouve principalement sur la côte ouest des États-Unis et du Canada. On la retrouve généralement dans les prés et les champs mais aussi dans des milieux plus ombragés du type sous-bois.


title: Spirée filipendule

text: "Filipendula vulgaris" est facile à cultiver car elle est vivace robuste et peu exigeante. Elle apprécie une condition d’exposition mi-ombre ainsi qu’un sol riche, légèrement alcalin, humifère et d’humidité moyenne. Cependant, la Spirée filipendule tolère un sol sec et est même considérée comme la filipendula la plus résistante à la sécheresse. Si l’humidité est suffisante, le feuillage peut rester en bon état toute la durée de la croissance mais en cas de dépréciation des feuilles à la fin de l’été, il est conseillé de les couper en retour après la floraison.


title: Spirée filipendule

text: La spirée filipendule est utilisé dans de nombreux pays à des fins thérapeutiques dans des pays tels que la Serbie, l’Ukraine, la Pologne et la Bulgarie. En effet,  la poudre extraite de ses racines contenant des flavonoïdes et de l’acide salicylique  est utilisée pour soigner des problèmes rénaux, des maux de gorges, des problèmes respiratoires et la congestion. La présence de tanin dans ses racines permet également d’apaiser des maux de ventre et diarrhée. Le thé fait à partir des feuilles contenant de l’acide salicylique est utilisé pour calmer les yeux endoloris et nettoyer les plaies. Ainsi cette plante possède des propriétés antipyrétiques, anti-inflammatoires, analgésiques et antirhumatismales.


title: Broken English (film)

text: Broken English est un film américain réalisé par Zoe Cassavetes et sorti 2007.


title: Broken English (film)

text: Les déboires sentimentaux d'une trentenaire new-yorkaise désabusée, entre New York et Paris.


title: Château des comtes de Comminges de Bramevaque

text: Le château des comtes de Comminges est un château français implanté sur la commune de Bramevaque dans le département des Hautes-Pyrénées, en région Occitanie.


text: Il fait l'objet d'une protection au titre des monuments historiques.


text: Le château des comtes de Comminges se situe en Barousse, à l'extrémité est du département des Hautes-Pyrénées, à environ au sud du village de Bramevaque, sur un promontoire. Si le donjon a encore fière allure, l'enceinte et la chapelle sont à l'état de ruines.


text: Le château a été bâti aux .


text: Ses ruines (donjon, enceinte et chapelle) sont inscrites au titre des monuments historiques depuis le .


title: Harry Palfrey

text: Harry Palfrey est un personnage de fiction créé par John le Carré qui apparaît dans trois de ces romans d'espionnages : "La Maison Russie", "Le Voyageur secret", et "Le Directeur de nuit".


title: Harry Palfrey

text: Horatio Benedict "Harry "de Palfrey est un ancien avocat devenu conseiller juridique au sein du Cirque (nom de code pour le MI6). Autrefois un juriste brillant et prometteur, ""second associé dans la défunte étude d'avoués Mackie, Mackie et de Palfrey sur Chancery Lane"" , il est surtout utilisé par le Service comme intermédiaire légal lors de négociations et de formalités, mais aussi comme interrogateur ou comme homme de paille ""prêt en toute occasion à fausser la balance de cette incorruptible déesse Justice"". Ses collègues, qui le connaissent sous le nom de Harry Palfrey, lui manifestent une familiarité plus ou moins méprisante. Homme d'âge mûr, Palfrey a une épouse, Margaret, avec laquelle il a cessé la vie commune et un fils adulte. Il est jadis tombé amoureux de l'épouse de son ancien associé, Hannah, une femme qui l'aimait et avait confiance en ses capacités morales: ""Sans doute parce qu'Hannah était une femme. Parce qu'elle croyait en la rédemption des âmes masculines."". Mais Palfrey, craignant un scandale qui endommagerait sa carrière, a refusé de divorcer. Vingt ans après, il est encore hanté par le souvenir d'Hannah et continue à la voir régulièrement, rappelant la relation difficile mais obsédante d'un autre personnage de Le Carré, George Smiley et de son épouse Anne. Dans "La Maison Russie", Harry Palfrey joue un rôle pivot comme il est à la fois personnage et narrateur du roman. Il constitue ainsi la seule source d'information du lecteur et lui transmet les événements de l'intrigue auxquels il a assisté comme ceux que lui ont rapportés d'autres personnages, tels Niki Landau, Ned et surtout le héros, Bartholomew Blair dont il est le principal confident. Palfrey apparaît comme un homme désillusionné mais lucide, qui perce à jour avec une acuité inattendue ses propres failles comme celles de ses collègues ou du monde de l'espionnage et du renseignement. En défendant Blair et les choix qu'il a entrepris lors de son opération, le récit de Palfrey fait aussi figure d'une tentative de rédemption personnelle : ""À cause d'Hannah que...je rédige un rapport officiel destiné à blanchir l'opération appelé Bluebird, et son protagoniste, Bartholomew, alias Barley, Scott Blair""


title: Harry Palfrey

text: Palfrey fait quelques brèves apparitions dans le roman suivant de Le Carré, "Le Voyageur secret", dont la narration est cette fois assurée par Ned, l'ancien chef de la Maison Russie. Ned évoque ses rencontres avec lui, essentiellement lors de négociations avec le Cirque ou lorsqu'il remplit les formalités de son départ en retraite. Il voit son ancien collègue sous un jour plutôt négatif, faisant allusion surtout à sa soumission peu scrupuleuse au Service. La dernière apparition de Harry Palfrey a lieu dans "Le Directeur de nuit" où il est persuadé par Rex Goodhew, un haut fonctionnaire de Whitehall, de servir d'informateur sur son employeur, le politicien controversé Goeffrey Darker lors d'une mission concernant un baron de la drogue. Devenu dépressif et alcoolique, le personnage se laisse néanmoins tenter par un double jeu et les rumeurs de sa trahison indignent Leonard Burr, le successeur de Ned: ""Vous avez "vendu" Geoffrey Darker à Goodhew...Vous avez fait semblant et après vous avez "vendu" Goodhew à Darker. Qu'est ce que ça vous rapporte Harry?"". Récupéré in extremis par Burr, Palfrey lui est utile pour tendre un piège à Darker mais il ne peut plus supporter la solitude et la culpabilité. Il se suicide en se jetant sous les roues d'un autobus: ""Un testament manuscrit rédigé selon les règles de l'art fut retrouvé légèrement froissé dans sa poche. Il annulait toutes ses dettes et faisait de Goodhew son exécuteur testamentaire""


title: Unions dynastiques de la maison de Bourbon

text: L'arbre généalogique ci-dessous reconstitue les unions dynastiques de la lignée des Bourbons de France, de à , ainsi que d'une partie des branches collatérales. Son but n'est pas l'exhaustivité mais un aperçu des alliances entre les différentes familles royales d'Europe du .


text: Pour la généalogie complète, voir Arbre généalogique des Bourbons avant Henri IV et Arbre généalogique des Bourbons.


title: Acipenser stellatus

text: Acipenser stellatus, communément appelé Esturgeon étoilé (appellation reconnue par la FAO) ou Sevruga (), est une espèce de poissons de la famille des acipenséridés. C'est le plus petit des esturgeons.


title: Acipenser stellatus

text: "Acipenser stellatus" se rencontrait dans la mer Noire, la mer Caspienne et la mer Égée. Ce poisson est désormais absent de la mer Égée et, dans le bassin de la mer Noire, les dernières populations sauvages qui remontent le Danube subissent la pression d'une surpêche. Il en est de même en mer Caspienne où les dernières zones de reproduction sont en forte décroissance. Pratiquement toutes les femelles génitrices voient leurs œufs prélevés avant d'atteindre le barrage de Volgograd. La surpêche va très rapidement détruire toutes les populations sauvages. La survie de cette espèce dépendra de la gestion faite par les pêcheries et de la lutte contre le braconnage. En se basant sur les observations faites sur la Volga et l'Oural, il est estimé que la population a perdu au moins de ses effectifs (voire pratiquement ) sur les trois dernières générations (soit entre 30 et ).


title: Acipenser stellatus

text: La taille maximale connue pour "Acipenser stellatus" est de pour une masse de . Mais sa taille habituelle est d'environ . L'âge maximal enregistré est de .


title: Acipenser stellatus

text: Son museau, très long avec deux rangées de barbillons, est caractéristique. Il est anadrome. Sa nourriture est composée d'algues et de petits crustacés. Son corps est tacheté, brun et très foncé. La femelle produit des œufs (caviar) à partir de . Entre 2 et de caviar sont issus de chaque poisson.


title: Acipenser stellatus

text: Selon :


title: Acipenser stellatus

text: Son nom spécifique, du latin "", « parsemé d'étoiles », fait référence aux marques et tubercules présents sur sa tête.


title: Jet (chanson)

text: Basée sur un riff aisément reconnaissable, il s'agit d'un rock assez vif. Elle devient un des classiques du groupe et apparaît dans plusieurs albums live et compilations des Wings et de McCartney seul.


title: Jet (chanson)

text: Après Martha My Dear, c'est la deuxième chanson de Paul qui reprend le nom d'un de ses chiens, Jet ayant été un de ses labradors.


title: Jet (chanson)

text: D'après Paul McCartney, la chanson s'inspire d'un labrador retriever appelée Jet :On avait un chiot labrador, qui était la plus chétive de la portée. On l'avait achetée dans une petite animalerie au bord de la route, un jour que l'on était à la campagne. C'était une chienne un peu sauvage, un fille sauvage qui ne restait pas en place. On avait un grand mur autour de notre maison à Londres et elle ne pouvait pas rester en place, elle avait l'habitude de sauter par dessus. Elle partait en ville pour l'après-midi, comme dans La Belle et le Clochard. Elle a dû rencontrer un grand labrador noir ou quelque chose comme ça. Un jour elle est revenue enceinte. Elle s'est installée dans le garage pour avoir sa portée... Sept chiots noirs, des parfaits petits labradors noirs et elle n'était pas noire, elle était beige. [...] Donc Jet était un de ces chiots. Ils avaient tous des noms. On leur avait donné des supers noms, l'un d'eux s’appelait Mélasse Dorée. J'aimais bien ça. Il y en avait même un appelé Brown Megs, d'après un exécutant de Capitol.


title: Jet (chanson)

text: — Paul McCartneyBien qu'il confirme cette histoire en décembre 1978 lors d'un interview radio à la BBC, il donne une toute autre version en 2010 dans le cadre d'une interview pour la chaîne ITV1 dans le cadre du programme "Wings: Band on the Run" (à l'occasion de la réédition de l'album épopnyme). McCartney explique alors que Jet était le nom d'un poney qu'il avait eu, même si les paroles de la chanson restent vagues et n'ont que peu de relation avec ce sujet.


title: Jet (chanson)

text: En 2017, lors d'un interview pour la radio australienne Triple J, il explique alors que la chanson s'inspirerait de sa rencontre avec son beau-père, le père de Linda :Encore une fois, je jouais quelques accords, à la recherche d'une idée et je pensais que Jet était un bon mot. Alors j'ai écrit une chanson sur ça. Pas à propos du chiot, j'ai juste utilisé son nom. Et ça s'est transformé en une fille. C'était un peu à propos des expériences que j'ai eu en mariant Linda. Son père était un peu vieux jeu et j'étais un peu intimidé, comme beaucoup de jeunes gars quand ils rencontrent la figure paternelle. [...] Bref, la chanson parle du sergent-major et c'est quasiment mon expérience, transcrite "grosso modo". Je ne fais jamais une chanson avec les véritables mots parce qu'après ça fait toute une histoire. Oh Linda, j'allais voir ton père et j'étais intimidé. Un peu ennuyant. Donc j'ai masqué ça et j'en ai fait une chanson, quelque chose que l'on peu raisonnablement chanter.


title: Jet (chanson)

text: — Paul McCartneyEnfin, lors d'une interview sur la chaîne YouTube de GQ en 2018, son histoire varie une nouvelle fois. Il serait parti en balade avec son poney, une guitare sur le dos, sur les hauteurs de sa ferme en Écosse, à la recherche d'une nouvelle chanson à composer. Selon lui, il ne sait pas exactement comment les mots lui sont venus. Il aurait bien aimé le mot Jet mais aurait aussi cherché à retranscrire sa relation avec son beau-père.


title: Jet (chanson)

text: D'après l'ingénieur du son Geoff Emerick, alors que la majorité de l'album Band on the Run est enregistré à Lagos, au Nigeria, le groupe revient à Londres et enregistre "Jet" aux studios Abbey Road. Paul McCartney, lui, déclare l'avoir enregistré à Lagos.


title: Jet (chanson)

text: "Jet" sort en tant que premier single de l'album Band on the Run en janvier 1974, bien que dans d'autres pays la chanson "Mrs. Vandebilt" soit choisie (single non distribué aux États-Unis et au Royaume-Uni). La chanson se classe dans de nombreux charts européens et atteint simultanément la septième place des charts britannique et américain le 30 mars 1974. Pour ce premier, c'est la chanson "Let Me Roll It" qui est choisie en face B, tandis que "Mamunia" est choisie pour le second bien qu'elle soit rapidement remplacée par la version britannique.


title: Jet (chanson)

text: "Jet" a depuis été publiée dans de nombreuses compilations des Wings ou de Paul McCartney : Wings Greatest (1978), All the Best! (1987), (2001) and Pure McCartney (2016).


title: Jet (chanson)

text: Le magazine "Billboard" déclare que "l'énergie de la guitare" et la performance vocale génère "une incroyable production". Paul McCartney témoignera plus tard que le groupe The Carpenters était fan de "Jet" :Je me souviens de Richard et Karen Carpenter m'appelant au téléphone pour me parler de "Jet" – c'étaient les dernières personnes sur Terre que j'imaginais apprécier "Jet" ! Mais ils étaient là : "Oh, super chanson, mec !" Donc, ça touchait les gens, vous voyez.


title: Jet (chanson)

text: — Paul McCartneyLe power trio de pop japonaise Shonen Knife reprend la chanson sur son album "Super Group" sorti en 2008, Naoko Yamano, l'un des membres du groupe, reconnaissant être un fan de longue date de McCartney.


title: Jet (chanson)

text: La chanson est samplée sur "He Dont Get a Thing" sur la mixtape "Five Star General" de Hostyle Gospel.


title: Jet (chanson)

text: Le nom du groupe australien Jet, pour lequel Paul McCartney et les Beatles ont une grande influence, s'est inspiré de cette chanson pour son nom.


title: Amphisbaena leali

text: Amphisbaena leali est une espèce d'amphisbènes de la famille des Amphisbaenidae.


title: Amphisbaena leali

text: Cette espèce est endémique d'Haïti. Elle se rencontre dans la péninsule de Tiburon.


title: Amphisbaena leali

text: Cette espèce est nommée en l'honneur de Manuel Leal.


title: Louis-Joseph Nompar de Caumont

text: Louis-Joseph Nompar de Caumont, duc de La Force, ( - Paris ✝ - Saint-Brice-sous-Forêt), est un militaire et homme politique français des .


title: Louis-Joseph Nompar de Caumont

text: Louis-Joseph Nompar de Caumont était connu, jusqu'en 1787, sous le titre de "marquis de Caumont-La Force".


title: Louis-Joseph Nompar de Caumont

text: Il appartenait à une ancienne famille noble du Midi de la France, les Caumont, qui a produit deux branches bien connues, les "Caumont-Laforce", protestants, et les "Caumont-Lauzun, catholiques". Ces deux branches s'étaient séparées dès la fin du ; mais elles gardèrent le prénom de Nompar, qui leur appartenait depuis longtemps. La branche des Lauzun s'est éteinte à la mort du duc de Lauzun (1723) ; celle des Laforce s'est continuée jusqu'à nos jours.


title: Louis-Joseph Nompar de Caumont

text: Le "marquis de Caumont-La Force", et son frère le comte de Caumont-La Force, sont fils de Bertrand de Caumont, marquis de La Force et de Caumont, gentilhomme de la chambre de "Monsieur", né en 1724, décédé à Versailles le , et d'Adélaïde-Luce de Galard de Béarn-Brassac, qu'il avait épousée le . Celle-ci, fille d'Anne-Hilarion de Galard de Brassac, comte de Béarn, et d'Olympe de Caumont-La Force, sœur du dernier duc chef de la branche aînée, décédé en 1755. Les frères Caumont-La Force descendaient par leur mère du maréchal de Tourville.


title: Louis-Joseph Nompar de Caumont

text: Louis-Joseph Nompar, qui avait reçu pour parrain et marraine "Monsieur" le comte de Provence et Marie-Joséphine de Savoie, épousa le (contrat signé par le roi et la famille royale, le ), Sophie d'Ossun, fille de Charles-Pierre-Hyacinthe, comte d'Ossun, grand d'Espagne de première classe et de Geneviève de Gramont. La duchesse de la Force a pris le tabouret chez la reine, le . Le duc et la duchesse avaient eu ensemble une fille, "Adélaide Olympe", née en 1789, morte jeune.


title: Louis-Joseph Nompar de Caumont

text: Louis-Joseph Nompar fut destiné à la carrière des armes. Entré au service en 1780, comme sous-lieutenant dans le régiment de Royal-Vaisseaux, il fut créé duc par brevet de 1787, et devint grand d'Espagne de première classe, par succession du comte d'Ossun, son beau-père.


title: Louis-Joseph Nompar de Caumont

text: Il était major en second des carabiniers, lorsqu'il émigra, avec le comte de Caumont-La Force, son frère, en 1791. Il devint aide de camp de "Monsieur" (depuis Louis XVIII), fit la campagne des princes en 1792, et les campagnes suivantes au corps de Condé. À l'affaire de Mons, en 1794, le duc de la Force reprit aux républicains trois pièces de canon appartenant au régiment de Barce. Cette action lui valut une décoration militaire, que l'empereur d'Autriche lui envoya, avec une lettre très flatteuse. Le duc de la Force continua de servir à la tête d'un escadron du corps de Biron, qui passa successivement à la solde de la Hollande et à celle de l'Angleterre.


title: Louis-Joseph Nompar de Caumont

text: Le duc de La Force rentra en France en 1802 pour tenter de retrouver quelques biens. Il vint alors à Caumont-sur-Garonne et fut hébergé au Château de Sainte-Marthe par les Séré de Lanauze.


title: Louis-Joseph Nompar de Caumont

text: Il prit du service en 1806, dans le grade d'adjudant-commandant, et prit part à toutes les actions importantes qui eurent lieu dans les campagnes de Prusse, d'Allemagne et de Russie.


title: Louis-Joseph Nompar de Caumont

text: Légionnaire (), il était, sous l'Empire, membre du collège électoral de l'arrondissement de Montauban, commandant de la garde d'honneur de cette ville. Il fut créé chevalier de Caumont-La Force et de l'Empire (avec dotation, ), et officier de la Légion d'honneur sur le champ de bataille de la Moskowa.


title: Louis-Joseph Nompar de Caumont

text: Il avait été désigné par le Sénat conservateur, le , pour représenter au Corps législatif le département de Tarn-et-Garonne.


title: Louis-Joseph Nompar de Caumont

text: Il adhéra à la déchéance de , envoya son adhésion aux actes du gouvernement provisoire (1814), et devint maréchal de camp le , après avoir été fait pair de France, par ordonnance royale du 4 juin.


title: Louis-Joseph Nompar de Caumont

text: Après le , il se rendit à Nîmes auprès du duc d'Angoulême. Ce prince le chargea de plusieurs missions importantes, et le nomma commissaire du roi dans les départements de Lot-et-Garonne, de Tarn-et-Garonne et du Lot. Lorsqu'on vint informer le duc de la Force que les partisans de avaient fait arborer le drapeau tricolore dans la ville de Cahors, il se transporta sur-le-champ à la préfecture de cette ville, espérant rappeler au devoir les habitants et les troupes de la garnison, mais ce zèle faillit lui coûter la vie. Environné par une populace furieuse, il fut arrêté, conduit aux casernes au milieu des vociférations les plus atroces, et ensuite amené à Paris dans une voiture, escortée, de brigade en brigade, par la force publique. Le duc de la Force fut emprisonné et ne dut sa liberté qu'aux événements de qui ont renversé l'Empereur.


title: Louis-Joseph Nompar de Caumont

text: Le roi le confirma dans son grade de maréchal-de-camp le , et le nomma président du collège électoral du département de Tarn-et-Garonne le 20 du même mois, inspecteur général des troupes de la division militaire au mois de , commandant la subdivision de la militaire (Montauban), le , et commandeur de la Légion d'honneur le 18 mai de la même année. Il était aussi chevalier de l'ordre royal et militaire de Saint-Louis.


title: Louis-Joseph Nompar de Caumont

text: Il fut retraité le comme maréchal de camp.


title: Louis-Joseph Nompar de Caumont

text: Dans le procès du maréchal Ney (1815), il se prononça "pour" la mort. Il vota d'ailleurs avec les royalistes modérés, et garda son siège sous le gouvernement de Juillet, jusqu'à sa mort, qui arriva à Saint-Brice le .


title: Amphisbaena leeseri

text: Amphisbaena leeseri est une espèce d'amphisbènes de la famille des Amphisbaenidae.


title: Amphisbaena leeseri

text: Cette espèce se rencontre au Mato Grosso au Brésil et au Paraguay.


title: Amphisbaena leeseri

text: Cette espèce est nommée en l'honneur de Leo Leeser (1871-1942).


title: Jean Vernières

text: Jean Joseph Félix Vernières ( à Clermont-Ferrand - à Clermont-Ferrand) est un agent du Sipo-SD de Clermont-Ferrand, fondé par Georges Mathieu, pendant la Seconde Guerre mondiale.


title: Jean Vernières

text: Il est le fils de Louis Vernières et de Jeanne Baconnet, pharmaciens de Clermont-Ferrand, et a deux sœurs et un frère, Gérard, abattu par la Résistance quelques semaines avant la Libération. Il fait des études secondaires, mais ne possède aucun diplôme.


title: Jean Vernières

text: Vernières part le pour le service du travail obligatoire, et est affecté à Auschwitz en tant que manœuvre, puis magasinier. Sur recommandation d'un capitaine allemand ami de son frère, il entre au service de la "", pour laquelle il doit secrètement identifier les actes de sabotages tout en continuant ses activités. Identifié par ses coéquipiers en , il devient interprète-contrôleur grâce à ses progrès en allemand à la suite d'un changement d'interprète. Il est renvoyé en France fin , après avoir fait arrêter une soixantaine d'ouvriers coupables d'actes de sabotage. Il déclarera, lors de son procès, avoir agi .


title: Jean Vernières

text: Vernières arrive à Clermont-Ferrand le . Suivant l'exemple de son frère, il adhère à la Milice. Puis il se présente le à Ursula Brandt (à la Gestapo), où il explique qu'il travaillait déjà pour la Gestapo en Allemagne et apporte des renseignements sur une organisation de résistants dont fait partie son ami Louis Bresson, et qui déboucheront sur l'arrestation de membres du réseau Jade-Fitzroy, puis du réseau Alibi. Brandt lui conseille de s'infiltrer en se faisant passer pour permissionnaire ne souhaitant pas rentrer en Allemagne, puis se renseigne sur lui auprès de Georges Mathieu, qui lui indique que Vernières est un fervent collaborateur.


title: Jean Vernières

text: Vernières entre officiellement à la Gestapo de Clermont-Ferrand le , et fait partie du () créé par Georges Mathieu. Pendant cinq mois, il prend part aux opérations contre les maquisards et aux arrestations de résistants, et commet également huit ou neuf meurtres avec torture et quatre viols. Il arrête lui-même le lieutenant-colonel André Friess, chef régional de l'Organisation de résistance de l'armée.


title: Jean Vernières

text: Le , Vernières quitte Clermont-Ferrand avec la Gestapo, après avoir brûlé les archives du Sipo-SD de Clermont-Ferrand. Il rejoint Nancy, où il attend la Libération avec l'espoir d'émigrer aux États-Unis. Lorsque Nancy est libérée, Vernières se fait passer pour un rescapé du camp d'Auschwitz, qu'il n'a aucun mal à décrire, puisqu'il y a effectué son STO, et obtient des papiers au nom de Jean Voyer. Il se rend à Paris afin de se faire engager comme parachutiste et se faire transporter au Canada.


title: Jean Vernières

text: Alors qu'il tente de se faire embaucher sous le nom de Jean Voyer au centre des déportés politiques à Paris, le , il est reconnu. Arrêté à , il est transféré le à Clermont-Ferrand.


title: Jean Vernières

text: Lors de son procès, les témoins s'accordent à dénoncer le sadisme de Vernières, qu'ils qualifient de , comparé à Georges Mathieu, Louis Bresson et Paul Sautarel. Vernières répond ne rien regretter et avoir agi par idéal, conduit par l'anticommunisme et le sentiment que .


title: Jean Vernières

text: Vernières est condamné à mort et fusillé le au Puy de Crouel.


title: Cheminées Poujoulat (IMOCA, 2011)

text: Cheminées Poujoulat est un monocoque IMOCA () lancé le 12 mai 2011 et détruit le 24 décembre 2013. Il est signé Juan Kouyoumdjian et construit en carbone pré-imprégné-nomex par Décision. Il était skippé par le Suisse Bernard Stamm.


title: Cheminées Poujoulat (IMOCA, 2011)

text: Après ses deux victoires dans la Velux 5 Oceans et son abandon dans le Vendée Globe 2008-2009, le navigateur suisse Bernard Stamm fait appel à l'architecte argentin Juan Kouyoumdjian, concepteur des deux derniers vainqueurs de la Volvo Ocean Race. Le projet début en 2009 et est financé par la Fondation de famille Sandoz.


title: Cheminées Poujoulat (IMOCA, 2011)

text: La carène de "Cheminées Poujoulat" est très caractéristique du travail de Juan Kouyoumdjian avec les VOR70 de la Volvo Ocean Race et est considérée comme . Les flancs sont verticaux et le bouchain très bas et très marqué de l'étrave au tableau arrière, avec un brion très plat en « queue de castor » assurent à "Cheminées Poujoulat" une grande stabilité longitudinale et une très faible surface mouillée. Cela a pour conséquence de cabrer la coque, d'avancer la vague devant l'étrave et de la reculer au niveau du tableau arrière et donc d'augmenter la puissance du bateau. Cet effet est renforcé par une très légère inflexion (du tableau arrière à la quille), ce qui permet d'augmenter la longueur à la flottaison dynamique.


title: Cheminées Poujoulat (IMOCA, 2011)

text: Comme sur "Banque populaire" et "Macif" de Verdier-VPLP, les dérives sont inclinées vers l'intérieur pour agir comme un foil, mais elles sont placées à mi-chemin entre le mât et le bordé, pour un effet anti-dérive plus prononcé. À l'intérieur, Juan K s'est encore inspiré de Verdier en montant la table à carte sur un axe pivotant pour que Stamm, assis sur un pouf à bille, puisse porter son poids au vent.


title: Cheminées Poujoulat (IMOCA, 2011)

text: Le bateau est achevé au printemps 2011 et il réussit le test de retournement à 180° le 13 mai. Au mois d'août, il prend la deuxième place de l'Artemis Challenge de la semaine de Cowes puis la troisième de la Fastnet Race.


title: Cheminées Poujoulat (IMOCA, 2011)

text: Au cours de la Transat Jacques-Vabre 2011, que Bernard Stamm court avec Jean-François Cuzon, "Cheminées Poujoulat" est heurté par un OFNI, occasionnant une voie d'eau à bord et conduisant à l'hélitreuillage de l'équipage. Le bateau abandonné est récupéré peu après, flottant entre deux eaux, en très mauvais état. Le chantier de réparation commence à Brest en janvier 2012 et dure quatre mois. Le bordé tribord est intégralement remplacé. Stamm a profité de ce chantier pour revoir la protection du rouf ; le nouveau rouf est réalisé chez JMV Industries, à Cherbourg.


title: Cheminées Poujoulat (IMOCA, 2011)

text: Dans le Vendée Globe 2012-2013, Bernard Stamm rencontre dès les débuts de la course des problèmes avec ses hydrogénérateurs. Il choisit de faire escale dans une baie de l'île Enderby, dans les îles Auckland au sud de la Nouvelle-Zélande. Peu après son arrivée, une tempête menace de drosser "Cheminée Poujoulat" à la côte et Bernard Stamm reçoit l'aide d'un navire scientifique russe auquel il s'amarre. Il quitte Enderby pour une baie proche du port néo-zélandais de Dunedin, attirant la curiosité des Néo-Zélandais. Il parvient à réparer et repartir mais apprend peu après sa disqualification à la suite de l'assistance reçue à Enderby. Il obtient la réouverture du dossier mais heurte un OFNI qui arrache ses réparations. Privé d'énergie électrique, il est contraint à l'abandon, se faisant ravitailler en gasoil peu après son passage du cap Horn.


title: Cheminées Poujoulat (IMOCA, 2011)

text: En 2013, Stamm participe à la Transat Jacques-Vabre, avec Philippe Legros, et termine à la quatrième place. Lors du convoyage pour revenir à Brest, "Cheminées Poujoulat" est frappé par la tempête Dirk dans la nuit du 23 au 24 décembre 2013, au sud des îles Scilly, dans la Manche. Le bateau se casse en deux au niveau des dérives à 180 milles nautiques à l'ouest de Brest, Bernard Stamm et David Guillou déclenchent la balise de détresse ; ils sont secourus par un navire norvégien tandis que le bateau disparaît . Ce naufrage suscite des interrogations sur les raisons de sa présence dans la zone en dépit des prévisions météorologiques et sur la conception du navire, qui s'est brisé en deux dans le creux d'une vague.


title: Cheminées Poujoulat (IMOCA, 2011)

text: L'épave brisée du navire est repérée par la Marine nationale au large de l'Aber-Wrac'h, dans le Finistère, puis récupérée par l'équipe de Bernard Stamm et la SNSM le 11 janvier 2014. Les expertises ont montré qu'une fissure avait pu se former à la suite d'un choc, entraînant la corrosion du sandwich qui aurait fini par céder.


title: Junior's Farm

text: Le disque se classe en des charts américaines, et occupe la au Royaume-Uni. La face B entre également dans le top 20, à la . Bien qu'il s'agisse d'une chanson assez mineure de l'œuvre de McCartney, " bénéficie d'une certaine tendresse de son auteur, qui lui vaut de figurer dans plusieurs compilations.


title: Championnat du Monténégro de football 2011-2012

text: La saison 2011-2012 de Prva Crnogoska Liga est la sixième édition de la première division monténégrine. Lors de celle-ci, le FK Mogren Budva tente de conserver son titre de champion face aux onze meilleurs clubs monténégrins lors d'une série de matchs se déroulant sur toute l'année. Les douze clubs participants à la première phase de championnat se confrontent à deux reprises aux onze autres. En fonction du classement établi au terme de cette première phase, chaque équipe affronte une fois de plus les onze autres afin d'attribuer le titre de champion.


text: C'est le FK Budućnost Podgorica qui remporte la compétition après avoir terminé en tête de la poule pour le titre, avec trois points d'avance sur le FK Rudar Pljevlja et vingt sur le FK Zeta Golubovci. C'est le second titre de champion du Monténégro de l'histoire du club, après celui remporté en 2008.


text: Trois places sont qualificatives pour les compétitions européennes, la quatrième place étant attribuée au vainqueur de la Coupe du Monténégro de football 2011-2012.


text: À l'issue de la saison, le champion se qualifiera pour le de qualification des champions de la Ligue des champions 2011-2012.


text: Alors que le vainqueur de la Crnogorski Fudbalski Kup prendra la première des trois places en Ligue Europa 2010-2011, les deux autres places reviennent aux deux équipes les mieux classées qui ne sont ni championnes ni vainqueur de la Coupe.


text: Le classement est basé sur le barème de points classique (victoire à 3 points, match nul à 1, défaite à 0). Pour départager les égalités, on tient d'abord compte de la différence de buts générale, puis du nombre de buts marqués, puis des confrontations directes et enfin si la qualification ou la relégation est en jeu, les deux équipes jouent une rencontre d'appui sur terrain neutre.


text: Les clubs classés et de première division en fin de saison affrontent les et de deuxième division pour connaître les 2 derniers clubs qui joueront la saison prochaine en Prva Crnogoska Liga.


title: Selena Rose

text: Selena Rose (aussi connue sous le nom de Sasha Bleu), est une actrice de films pornographiques américaine d'origine cubaine. Elle est née le à Las Vegas au Nevada (États-Unis) et a grandi à Miami en Floride (États-Unis).


title: Selena Rose

text: Elle a été nominée pour récompense AVN Award de la Meilleure nouvelle Starlette en 2012 et a reçu la récompense XBIZ Award de la Meilleure scène lesbienne en 2013 pour son film "Mother and Daughter" (Digital Playground).


title: Amphisbaena leucocephala

text: Amphisbaena leucocephala est une espèce d'amphisbènes de la famille des Amphisbaenidae.


title: Amphisbaena leucocephala

text: Cette espèce se rencontre en Uruguay et au Brésil.


title: Amphisbaena lumbricalis

text: Amphisbaena lumbricalis est une espèce d'amphisbènes de la famille des Amphisbaenidae.


title: Amphisbaena lumbricalis

text: Cette espèce est endémique du Brésil. Elle se rencontre dans les États du Sergipe et de l'Alagoas.


title: Libertador (paroisse civile)

text: Libertador est l'une des quatre divisions territoriales et statistiques dont l'une des trois paroisses civiles de la municipalité de Pedro María Freites dans l'État d'Anzoátegui au Venezuela. Sa capitale est Mundo Nuevo.


title: Libertador (paroisse civile)

text: Hormis sa capitale Mundo Nuevo, la paroisse civile possède plusieurs localités, dont :


title: Santa Rosa (Pedro María Freites)

text: Santa Rosa est l'une des quatre divisions territoriales et statistiques dont l'une des trois paroisses civiles de la municipalité de Pedro María Freites dans l'État d'Anzoátegui au Venezuela. Sa capitale est Santa Rosa.


title: Santa Rosa (Pedro María Freites)

text: Hormis sa capitale Santa Rosa, la paroisse civile possède plusieurs localités, dont :


title: Urica (Venezuela)

text: Urica est le chef-lieu de la paroisse d'Urica située à 45 km au sud-est de la localité de Santa Inés, dans l'État d'Anzoátegui, au Venezuela. Ses coordonnées géographiques sont : 09° 43’ 00” de latitude nord et 64° 00’ 30” de longitude ouest.


title: Urica (Venezuela)

text: La localité est fondée par les Espagnols au milieu du , sur une plaine baignée par les eaux de la rivière Urica et de la rivière Amana. Elle est entourée des sites d'élevage d'Anzoátegui, de haute renommée, et est connue comme grande productrice de petits fruits.


title: Urica (Venezuela)

text: Dans la localité eurent lieu de mémorables actions de guerre, telles comme celles de José Félix Ribas et de José Francisco Bermúdez contre José Tomás Boves. Le s'y déroula la bataille de Curareque ; le de cette même année, la célèbre bataille d'Urica, dans laquelle périt Boves, raison pour laquelle son tombeau se trouve dans le village. Le y eut lieu la bataille d'Altagracia, et le , la bataille du Pont.


title: Urica (Venezuela)

text: En 1879, par disposition du Congrès National de la République, il fut créé le Grand État d'Orient, dont la capitale devait être Urica. Cette division politique territoriale constitué alors par les actuels États d'Anzoátegui, de Sucre et de Monagas, sera maintenu jusqu'à 1881, lorsqu'il reçut le nom d'État de Bermúdez, pour enfin adopter, en 1898, la dénomination d'État de Sucre.


title: Capitale Pedro María Freites

text: Capitale Pedro María Freites est l'une des quatre divisions territoriales et statistiques de la municipalité de Pedro María Freites dans l'État d'Anzoátegui au Venezuela. À des fins statistiques, l'Institut national de la statistique du Venezuela a créé le terme de « "parroquia capital" », ici traduit par le terme « capitale » qui correspond au territoire où se trouve le chef-lieu de la municipalité afin de couvrir ce vide spatial, qui, selon la loi sur la division politique territoriale publiée dans le Journal officiel de l'État « n'attribue pas de hiérarchie politique territoriale, ni de description de ses limites respectives ». Ce territoire s'articule autour de Cantaura, chef-lieu de la municipalité.


title: Capitale Pedro María Freites

text: Hormis Cantaura divisée en plusieurs quartiers et ville autour de laquelle s'articule la division territoriale et statistique, cette dernière possède plusieurs localités dont :


title: Regjeringskvartalet

text: Regjeringskvartalet (siège du gouvernement), est un ensemble de bâtiments dans le centre d'Oslo conçu par Erling Viksjø en 1969, hébergeant plusieurs bureaux du gouvernement de Norvège dont le ministère de la Défense, le ministère des Affaires étrangères et le ministère de l'Environnement.


title: Regjeringskvartalet

text: Le , un attentat commis par le terroriste d'extrême-droite Anders Behring Breivik frappe Regjeringskvartalet, tuant 8 personnes endommageant ainsi plusieurs façades des bâtiments présents.


title: Regjeringskvartalet

text: L'ensemble comportait plusieurs bâtiments dont le "Bloc Y", surnommé ainsi à cause de sa forme, comportant plusieurs fresques sur béton réalisées en collaboration avec le sculpteur norvégien Carl Nesjar d'après des dessins de Pablo Picasso. "Les" "Pêcheurs", pesant 250 tonnes, était installée sur la façade, et "La" "Mouette", une œuvre de 60 tonnes, dans le hall du bâtiment.


title: Regjeringskvartalet

text: En 2020, les locaux du Bloc Y font l’objet d’un plan de démolition amorcé par le gouvernement en 2014, leur entretien n’étant selon lui pas viable économiquement. Au printemps, les conservateurs du Museum of Modern Art de New York avaient écrit une lettre critiquant vivement une démolition qui, selon eux, « serait une perte significative du patrimoine architectural norvégien ».


title: Regjeringskvartalet

text: En , les peintures murales sont retirées du bâtiment gouvernemental.


title: Benoît Toffin

text: Benoît Toffin, né le à Saint-Quentin, dans l'Aisne, est un ancien joueur français de basket-ball. Il évolue au poste de pivot.


title: William Neville (1er comte de Kent)

text: William Neville (1405? – ), baron Fauconberg "de jure uxoris" puis comte de Kent, est un aristocrate et militaire anglais ayant joué un rôle important durant la Guerre des Deux-Roses.


title: William Neville (1er comte de Kent)

text: Membre de la famille Neville, il est le fils de Ralph Neville (v.1364-1425), comte de Westmorland, et de Jeanne Beaufort, fille légitimée de Jean de Gand, duc de Lancastre. Il se marie, avant le , avec Jeanne Fauconberg, héritière de la baronnie Fauconberg, dont les terres se trouvent dans le Yorkshire du Nord. Sa femme est décrite comme handicapée mentale de naissance. Il est fait chevalier en 1426. En 1429, il est convoqué au parlement en droit de sa femme comme baron Fauconberg. Il sert en France, au cours de la guerre de Cent Ans de 1436 à 1443, notamment aux côtés de Richard d'York. Il est fait chevalier de l'Ordre de la Jarretière en 1440. Après avoir reçu la garde du château de Roxburgh pendant quelques années, il retourne en France en 1449 et est capturé près de Pont-de-l'Arche. Il est libéré contre rançon en 1453 mais, jusqu'ici loyal partisan de la Maison de Lancastre, il garde rancune d'avoir dû continuer à payer l'entretien du château de Roxburgh pendant sa captivité, ce qui l'a considérablement appauvri.


title: William Neville (1er comte de Kent)

text: Il est membre du conseil de Richard d'York durant le second accès de folie du roi Henri VI et, bien qu'il se trouve du côté des Lancastre lors de la première bataille de St Albans, il obtient de Richard la garde du château de Windsor après la bataille. Désormais du côté de la Maison d'York, il sert de conseiller à son neveu, Richard Neville, quand celui-ci est nommé capitaine de Calais en 1457. Il organise avec son neveu des opérations de piraterie à partir de Calais. En juin 1460, il capture la ville de Sandwich, qui est utilisée comme tête de pont par les Yorkistes. Il commande l'aile droite de l'armée yorkiste à la bataille de Northampton au cours de laquelle il se distingue. Il retourne ensuite à Calais pour administrer la ville avant de revenir en Angleterre afin de rejoindre le jeune Édouard IV à Londres. Il dirige l'avant-garde de l'armée yorkiste en route vers le nord et participe de façon décisive à la victoire de Towton, qui assure le trône à Édouard.


title: William Neville (1er comte de Kent)

text: Il devient membre du conseil du roi et est fait comte de Kent. En juillet 1462, il est nommé Lord Grand Amiral du royaume. Il mène peu après plusieurs raids contre la côte bretonne avant de participer en novembre au siège d'Alnwick, l'une des dernières place-fortes tenues par les Lancastre. Il meurt peu après et est enterré au prieuré de Gisborough. De son mariage sont issues trois filles et il laisse aussi au moins un fils illégitime, Thomas Neville, qui combattra plus tard du côté des Lancastre et sera exécuté en 1471.


title: William Neville

text: William Neville ou William Nevill peut se référer à :


title: Point d'assurage

text: En escalade, le point d'assurage individuel (PAI), autrement appelé point de progression en tête, est un point d'ancrage permettant la protection contre les chutes lors de la progression en tête, ou pour maintenir une charge statique.


title: Point d'assurage

text: Le point d'ancrage peut être naturel ou artificiel, bricolé ou usiné, et permet d'attacher le grimpeur, la corde, ou une autre charge à la roche, la glace, etc.


title: Point d'assurage

text: Il existe plusieurs types de point d'assurage, souvent lié au milieu de progression Peuvent être utilisés pour construire le point d'ancrage :


title: Point d'assurage

text: Un point d'assurage naturel nécessite de vérifier la solidité avant son utilisation. C'est le cas en terrain d'aventure. On peut énumérer :


title: Point d'assurage

text: Un point d'assurage artificiel est un élément ouvragé par l'homme. Depuis que l'homme pratique la montagne, tout ce qui s'insère dans la roche d'une manière ou d'une autre peut servir de point d'assurage :


title: Point d'assurage

text: Le relais intermédiaire ou sommital est composé de plusieurs points d'assurage. En terrain d'aventure, les points sout multipliés pour trianguler la force ou protéger la défaillance d'un ou plusieurs points (couplage, dégaine explosive, etc.)


title: Point d'assurage

text: Le point d'assurage servant à protéger la chute. La chute ne doit pas entrainer la défaillance de la chaine d'assurage. La force engendrée par la chute du second ou du premier est répartie sur la chaine d'assurage, la corde diminuant la force de choc au moment de l'impact.


title: Thank God I Found You

text: Brett Ratner réalise un clip pour dans lequel Carey, Joe et 98 Degrees interprètent la chanson lors d'un concert. Le remix a aussi son propre clip filmé à Hambourg et montre le trio chanter dans une petite discothèque. Carey interprète la version originale et le remix lors de la des et lors des tournées (2000), (2006) avec Trey Lorenz.


title: Thank God I Found You

text: Carey réenregistre la chanson pour le remix intitulé dans lequel Carey et Joe chante avec Nas. Le remix est un remake de de Keith Sweat et incorpore quelques couplets de . DJ Clue produit le remix et le transforme en chanson R&B. En , les paroliers Seth Swirsky et Warren Campbell engage des poursuites pour infraction au droit d'auteur en déclarant que ressemble fortement à qu'ils ont composée pour Xscape. Carey gagne le procès.


title: Thank God I Found You

text: Carey et son mari Tommy Mottola, qui est un chief executive officer de Sony se séparent en 1997. Cela résulte de tensions avec Sony. Durant le printemps 1999, Carey commence à travailler sur le dernier album de son contrat avec , intitulé . Sa relation avec a mis fin à sa collaboration avec Walter Afanasieff, qui a travaillé avec elle depuis ses débuts. Elle travaille intensivement avec d'autres paroliers et producteurs pour son album comme le duo Jimmy Jam et Terry Lewis, connus pour avoir collaboré avec Janet Jackson. a été écrite par le duo et coécrite par Carey. Quand et Jam et Lewis commencent à collaborer avec Carey, ils ne savent pas ce qu'elle attend d'eux. Lors d'une interview avec Fred Bronson, Jam et Lewis expliquent :


title: Thank God I Found You

text: Une nuit, Jam et Lewis reçoivent un appel de l'assistant de Carey qui leur dit qu'elle a des idées pour une chanson. Elle leur demande de la rejoindre dans son tudio plus tard, et quand ils sont arrivés, elle leur chante la mélodie. Normalement, lorsque Carey compose des chansons, James "Big Jim" Wright joue les accords. Il n'est pas présent au studio cette nuit donc Lewis fait les accords à sa place. Après avoir composé la mélodie, Carey enregistre. Lorsqu'elle demande que plusieurs chanteurs chantent avec elle, Jam et Lewis choisissent Joe. Bien que Jam et Lewis veuillent K-Ci & JoJo, ils retirent cette idée car ils ont signé un contrat ave un autre label. À propos de l'enregistrement, Joe dit :


title: Thank God I Found You

text: Jam et Lewis demandent aussi au groupe 98 Degrees de rejoindre Carey et Joe car ils ont besoin d'harmonies masculines. Carey parle de sa collaboration dans . . La chanson a été enregistrée à Capri et à New York. La piste est mixée par et masterisée par Herb Powers.


title: Thank God I Found You

text: est produite par Jimmy Jam et Terry Lewis et coproduite par Carey. La chanson est une ballade R&B. Arion Berger de remarque aussi que la chanson montre des influences de gospel. La chanson est rythmée et soutenue par des . Selon la partition publiée par de , est composée dans la tonalité de Si majeur. Elle a une mesure 4/4 et un tempo de 65 battements par minute. La chanson suit la séquence Si, Fa/La, Sol mineur, Fa, Mi, Fa comme progression d'accords. Les voix de Carey et Joe s'étendent sur deux octaves, de la note Ré à Ré. Composée sous la forme couplet-refrain-pont, le refrain de est interprétée dans la tonalité de Si majeur. Carey fait l'usage d'un mélisme dans la chanson. L'arrangement est similaire à celui de . Elle est une chanson d'amour inspiratrice dans laquelle la chanteuse remercie Dieu d'avoir trouvé le partenaire parfait. Selon Carey, elle s'inspire de la relation qu'elle a avec Luis Miguel à cette époque. Elle déclare qu'elle raconte une histoire tout au long de la chanson.


title: Thank God I Found You

text: Carey réenregistre la chanson pour le remix intitulé . Le remix est un remake de Keith Sweat et présente quelque similarités à la version originale. arey écrit de nouvelles paroles et garde le même refrain. Produit par DJ Clue de , le remix a un et un groove lent. Il inclut la voix de Joe et des couplets de rap de Nas. Le remix est inclus dans l'album (2000). Joe F. Promis d' trouve le remix incomplet. Il ajoute qu'il . Cependant, alors qu'il fait une critique de , Matt Diehl d' dit que la piste est la meilleure de l'album. Il écrit : . Derek Ali de complimente la collaboration en disant que cela . Le remix est présent sur l'album remix (2003). L'équipe norvégienne produit le .