title: Rue Mercière (Lyon)

text: Dans les années 1980, la municipalité lyonnaise réhabilite totalement le quartier, avec entre autres, un plan d'aménagement urbain aux abords de la place des Jacobins. Le patrimoine architectural Renaissance de cette très ancienne rue de Lyon est rénové, embelli, et mis en valeur de façon spectaculaire. Proche du quartier de l'Hôtel de ville de Lyon, il est réhabilité avec quelques rues adjacentes en rue piétonne touristique, avec une importante concentration de restaurants, bouchons lyonnais, brasseries, bistros, et bars, pour devenir un des hauts lieux de la cuisine lyonnaise, très prisé des lyonnais et du tourisme international lyonnais. En 1998, cette rue pittoresque des vieux quartiers historiques lyonnais participe à l’inscription de Lyon au patrimoine mondial de l'Humanité, catégorie site urbain reconnu avec ses vieux quartiers historiques préservés comme "« une des plus belles villes du monde »".


title: Gourmaëlon

text: Gourmaëlon de Bretagne fut comte de Cornouaille et prince de Bretagne de 908 à 913. Gourmaëlon, est la forme moderne du nom de l’un des personnages les plus obscurs de l’histoire de la Bretagne médiévale.


title: Gourmaëlon

text: Le linguiste celtisant Joseph Loth envisageait deux sens à ce nom : « celui aux sourcils bruns » ou « l’homme prince, le chef ». La forme d'origine était vraisemblablement : Uumaelon, ou Wrmaëlon, devenu sous sa forme écrite Gurmhailon, puis Gourmaëlon.


title: Gourmaëlon

text: Fils d'un certain Haerueu, il semble qu’il dirigeait l’' de Cornouaille avec le titre de comte (' "Cornubiae") à la fin du règne d’, et qu’après la mort de ce prince, en 907, il ait mis à profit la rivalité entre ses héritiers, fils et gendres, pour régner sur le royaume de Bretagne sans toutefois prendre le titre de roi, ayant une « autorité plus nominale que réelle ».


title: Gourmaëlon

text: Son règne n’est connu qu’au travers de sa participation à quelques actes publics où il n'apparaît parfois que comme simple témoin:


title: Gourmaëlon

text: Il est par contre mentionné comme "Gurmahilon regnante Britanniam" dans une donation faite au monastère de Plélan d’une partie d’Elven par le comte Tanguy et son filleul Derrien, respectivement gendre et fils d’Alain le Grand.


title: Gourmaëlon

text: Dans une concession du , confirmée le à Redon, il est dit : « ' ». Il souscrit à cet acte comme témoin, après l’évêque Bili de Vannes, Mathuedoï de Poher (autre gendre d’Alain), et avec son fils nommé Daniel, qui porte un nom déjà relevé dans la liste des princes de Cornouaille du cartulaire de l’abbaye de Landévennec : « ' ». Sa mort à la fin de la même année, vraisemblablement dans un combat contre les Scandinaves semble faire l’objet d’une entrée dans le de la bibliothèque d’Angers, dit "Anecdota novissima" : « "" »


title: Chris O'Neil

text: Christine « Chris » O'Neil (née le à Newcastle) est une joueuse de tennis australienne, professionnelle dans les années 1970 et 1980.


title: Chris O'Neil

text: Alors qu'elle n'est pas classée tête de série, elle a remporté l'Open d'Australie en 1978, certes en l'absence des toutes meilleures joueuses mondiales. Pareille performance n'a pas été rééditée avant le succès dans cette compétition de l'Américaine Serena Williams en 2007.


title: Chris O'Neil

text: Chris O'Neil est restée la dernière Australienne à s'être imposée en simple à domicile, jusqu'à la victoire d'Ashleigh Barty en 2022. Ce titre est le seul qu'elle ait gagné sur le circuit WTA pendant sa carrière, ne s'étant guère distinguée dans les trois autres tournois du Grand Chelem (sinon un atteint à Wimbledon en 1974).


title: UFR de science politique de l'Université Panthéon-Sorbonne

text: L’UFR 11 de science politique a été créée sous le nom de Département de science politique de la Sorbonne en 1969, au sein de l’Université Paris 1 Panthéon-Sorbonne, à l’initiative notamment de Maurice Duverger, Madeleine Grawitz, Léo Hamon et Marcel Merle.


text: Elle constitue en France la seule institution universitaire exclusivement vouée à la promotion de cette discipline aussi bien par l’enseignement que par la recherche, les enseignements de science politique dans les autres universités françaises dépendant des UFR juridiques. L'UFR est dirigée actuellement par Julien Frétel.


text: Institutionnellement, l’UFR de science politique contribue d’une part à la formation des étudiants qui suivent la filière Droit. À ce titre, elle participe à la coordination des UFR juridiques et politique et est associée au fonctionnement de l’UFR d’études juridiques générales, responsable du premier cycle.


text: D’autre part, elle assure des enseignements qui sont suivis par des étudiants d’autres filières (économie, histoire, philosophie, gestion...).L'UFR 11 procure des enseignements de niveau licence, master 1 et 2 (recherche et professionnel), et prépare au doctorat en science politique.


text: Le département de science politique propose un master 2 de science politique pourvu de sept parcours de spécialisation.


text: De nombreux politistes de renom y ont enseigné et y enseignent encore. Citons notamment Maurice Duverger, Jacques Lagroye, Pierre Birnbaum, Jean-Claude Colliard (président de Paris I de 2009 à 2012), Philippe Braud, Pierre Birnbaum, Daniel Gaxie, Michel Dobry, Johanna Siméant, Jacques Gerstlé, Jérôme Valluy, Josepha Laroche, Frédérique Matonti, Isabelle Sommier, Gilles Dorronsoro, Philippe Marchesin, Bastien François, Yves Déloye, Michel Offerlé, Richard Banégas, Loic Blondiaux, Delphine Dulong, Brigitte Gaïti, Jean-Marie Cotterêt...


text: De nombreuses personnalités politiques, des journalistes ou des chefs d'entreprises ont effectué leurs études au sein du Département de science politique de la Sorbonne. Citons notamment Jean-Jacques Urvoas (ancien Garde des Sceaux), Alexis Bachelay (député des Hauts-de-Seine), Laurence Ferrari (journaliste), Valérie Trierweiler (journaliste), Laurent Habib (chef d'entreprise), Stéphane Fouks (chef d'entreprise), Caroline Fourest (journaliste), Frédéric Leturque (maire d'Arras), Adrienne de Malleray (journaliste), (philosophe), Vanessa Burggraf (journaliste), etc.


title: Dan Frawley

text: Dan Frawley (né le à Sturgeon Falls dans la province de l'Ontario au Canada) est un joueur professionnel retraité de hockey sur glace.


title: Dan Frawley

text: Il jouait au poste d'ailier droit dans l'association de hockey de l'Ontario (aujourd'hui Ligue de hockey de l'Ontario), dans la Ligue de hockey junior majeur du Québec, dans la Ligue américaine de hockey, dans la ligue internationale de hockey et dans la Ligue nationale de hockey.


title: Dan Frawley

text: Il a commencé sa carrière pour les Wolves de Sudbury en 1979 avant d'être choisi par les Black Hawks de Chicago au cours du repêchage d'entrée dans la LNH 1980 en dixième ronde ( au total).


title: Dan Frawley

text: Il ne fera ses débuts dans la LNH que pour la saison 1983-1984 de la LNH.


title: Dan Frawley

text: En 1985, il rejoint les Penguins de Pittsburgh pour qui il jouera jusqu'à la fin de la saison 1988-1989 de la LNH et dont il est le capitaine avant Mario Lemieux en 1987.


title: Dan Frawley

text: Après un passage dans la LIH, il rejoindra pour six saisons la LAH et les Americans de Rochester avec qui il finira sa carrière en 1998.


title: The Viceroys

text: The Viceroys (à ne pas confondre avec le groupe de rock américain The "V-Roys") est un trio vocal jamaïcain formé en 1965 à Kingston.  En 1966, trois jeunes chanteurs et amis, Wesley Tinglin, Bunny Gale et Daniel Bernard passent une audition dans les studios d'enregistrement Studio One du célèbre producteur Coxsone Dodd. Devant Jackie Mittoo qui est au piano, ils interprètent quatre chansons : " "Loose and Gain" ", " "Maga Down" ", " "Ya Ho" " et " "Last Night" ". C'est " "Maga Down" " qui sortira le premier en single sur Coxsone Records en 1967, alors que " "Ya Ho" ", qui deviendra leur plus grand hit, ne sortira qu'en 1968.


title: The Viceroys

text: Entretemps le trio a changé : Bunny Gayle, menacé de mort pour des raisons politiques, quitte Kingston en 1967 pour se réfugier à la campagne. Pour le remplacer, Wesley Tinglin recrute un de ses voisins, Neville Ingram. Puis, plus tard, alors que Daniel Bernard décède subitement, c'est Noris Reid, un musicien qui travaillait déjà avec Augustus Pablo qui intègre le trio.


title: The Viceroys

text: En 1969 les Viceroys enregistrent plusieurs singles avec le producteur Lloyd Daley, propriétaire du label Matador, puis à partir des années 1970, ils enregistrent successivement plusieurs singles pour Derrick Morgan, puis pour Pete Wilson. Ils se rendent aussi au mythique studio Black Ark tenu par le fantasque producteur Lee Scratch Perry qui rebaptise pour l’occasion le trio du nom de « Truth, Fact & Correct ». Le titre « "Babylon Deh Pon Fire" » (1976) sera le seul morceau de la session à sortir en single, les autres enregistrements seront plus tard détruit par Lee Perry.


title: The Viceroys

text: En 1978, le producteur anglais Phil Pratt se rend à Kingston pour enregistrer The Viceroys dont il sortira un album, commercialisé en Angleterre, sans que le trio ne touche un seul "royalties" sur les droits d’auteur...


title: The Viceroys

text: En 1980 The Viceroys sortent le tube « "Heart Made of Stone" » sur un single pour le label Taxi de Sly & Robbie. C'est ensuite au tour de Linval Thompson, chanteur et producteur jamaïcain, de proposer aux Viceroys l'enregistrement de deux albums, d'abord " "We Must Unite" " (1982), puis " "Bretheren and Sistren" ", tous deux commercialisés au Royaume-Uni sous le label Trojan Records.


title: The Viceroys

text: En 1984, Winston Riley, ancien chanteur des Techniques devenu producteur enregistre l'album " "Chancery Lane" " qui sort au Royaume-Uni sur Greensleeves Records. Échaudés par les nombreuses escroqueries des producteurs à leur encontre, notamment leurs albums commercialisés par Trojan Records (Les Viceroys ont même un temps changé leur nom en The Interns, pour recommencer leur carrière à zéro), les Viceroys décident d’auto-produire leur nouvel album " "Love is all" " qui sort en 1985.


title: The Viceroys

text: De la fin des années 1980 au début des années 2000, la carrière des Viceroys semble à l'arrêt. En 2003 Norris Reid quitte le groupe pour émigrer aux États-Unis. Il est alors remplacé par Michaël Gabbidon.


title: The Viceroys

text: En 2004, le label lyonnais Sankofa Blackstar, sous l'égide d'Ernest Boachie-Duah et Karim Zigh, relance la carrière du trio en rééditant trois albums et en organisant une tournée en octobre 2004.


title: The Viceroys

text: En 2006, par l'intermédiaire de Winston McAnuff, les Viceroys prennent contact avec le label français Makasound qui leur propose l'enregistrement en version acoustique de leur anciens tubes sous la férule du producteur Chinna Smith.


title: The Viceroys

text: Le groupe participe à l'album "Inna De Yard - The Soul of Jamaica" en 2017.


title: The Viceroys

text: Wesley Tinglin meurt des suites d'un cancer en septembre 2018.


title: The Viceroys

text: Les Viceroys apparaissent dans le documentaire "" de Peter Webber sorti en juillet 2019, ainsi que sur l'album sorti quelques semaines plus tôt.


title: The Viceroys

text: Neville Ingram meurt à son tour des suites d'un cancer en novembre 2019.


title: Zacharias Werner

text: Friedrich Ludwig Zacharias Werner, né le à Königsberg, mort le à Vienne, est un poète, dramaturge et prédicateur allemand.


title: Zacharias Werner

text: Il naît à Königsberg, en Prusse-Orientale. Son père, qui est professeur d'histoire et de rhétorique à l'université de Königsberg, a la charge de censeur dramatique, ce qui permet à son fils de fréquenter le théâtre et favorise son goût pour la scène. Il meurt alors que Zacharias est âgé de quatorze ans. Sa mère, victime d'une monomanie religieuse, se prend pour la Vierge Marie et croit avoir donné naissance au Messie. Werner hérite de sa fragilité mentale et de sa nature déséquilibrée. À l'université de Königsberg à partir de 1784, il étudie le droit et suit les lectures de Kant; mais Jean-Jacques Rousseau et ses disciples allemands sont les influences qui façonnent son regard sur la vie. Pendant des années, il oscille violemment entre une aspiration vers l'état de nature, qui le trahit par des séries d'éruptions d'urticaire et des mariages malheureux, et une sentimentale admiration, commune à nombre de Romantiques, pour l'Église catholique romaine, qui aboutit en 1811 à sa conversion. Le talent de Werner est bientôt reconnu; entré dans l'administration en 1793, il obtient, après plusieurs postes dans le Sud de la Prusse, puis dans les nouvelles provinces polonaises, et malgré son caractère personnel, un petit poste gouvernemental en 1796 à Varsovie, qu'il échange par la suite contre un autre à Berlin. À Varsovie, il rencontre son compatriote ETA Hoffmann et son futur biographe, Julius Eduard Hitzig, se marie trois fois, dont deux finissent rapidement par un divorce. Après un voyage à Königsberg avec sa troisième épouse, pour rendre visite à sa mère, il se rend à Berlin, où son protecteur, le ministre von Schrötter, lui procure en 1805 une place qui lui laisse tout loisir de se livrer à son œuvre littéraire. Après un troisième divorce et la mort, un 24 février, de sa mère, qui lui laisse un peu d'argent en héritage, il part en voyage dans le sud de l'Allemagne et en Autriche à l'été 1807, et se rend à Weimar, où il rencontre, en décembre, Goethe. L'été suivant, il part en Suisse et fait la connaissance de de Staël à Coppet. Puis il part à Rome, où il demeure jusqu'en et se convertit au catholicisme le . Le prince Charles-Théodore de Dalberg le pensionne de 1809 à 1813.


title: Zacharias Werner

text: Au cours de ses voyages, et dans sa correspondance, il fait la connaissance de plusieurs figures éminentes littéraires de son temps et réussit à faire mettre ses pièces en scène, où elles rencontrent un grand succès. En 1814, il est ordonné prêtre et, abandonnant la plume pour la chaire, il devient un prédicateur populaire à Vienne, où, durant le fameux Congrès de 1814, ses sermons pleins d'éloquence, mais fanatiques attirent une grande foule.


title: Zacharias Werner

text: À partir de 1816, Werner vit en Podolie chez le comte Choloniewski et devient maître de chapelle d'honneur de la cathédrale de Kamieniec. En 1819, il retourne à Vienne.


title: Zacharias Werner

text: Malade à partir de 1821, il poursuit cependant ses prêches publics passionnés. Zacharias Werner meurt à Vienne le . Conformément à sa demande, il est enterré au cimetière de Maria Enzersdorf.


title: Zacharias Werner

text: Friedrich Ludwig Zacharias Werner est le seul dramaturge de l'école romantique à avoir connu le succès sur scène. Marquée par le mysticisme et l'idée de destin, son œuvre a évolué de plus en plus vers le fantastique et le drame noir, pour finir dans le « pouvoir et la gloire éternels » de l'Église catholique romaine.


title: Fort Moultrie

text: Le fort Moultrie est le nom d'une série de forts construits sur la Sullivan's Island en Caroline du Sud (États-Unis) destinés à protéger la ville de Charleston des attaques britanniques. Il est situé dans le Fort Sumter and Fort Moultrie National Historical Park.


title: Fort Moultrie

text: Il est situé en Face du Fort Wagner


title: Fort Moultrie

text: Le fort est rebaptisé en l'honneur du général William Moultrie.


title: Xavier Le Pichon

text: Xavier le Pichon (né le dans le Protectorat français d'Annam (aprés Viet-Nam du Sud et aujourd'hui Viêt Nam) est un géodynamicien français, pionnier de la tectonique des plaques dont il propose un modèle en 1968.


title: Xavier Le Pichon

text: Il a été titulaire de la chaire de géodynamique du Collège de France de 1986 à 2008. Il est depuis 2009 professeur émérite du Collège de France.


title: Xavier Le Pichon

text: Xavier Le Pichon étudie à l'Institut Saint-Paul de Cherbourg (), puis au lycée privé Sainte-Geneviève. Il obtient une licence en physique à l'université de Caen en 1959. En 1963 il devient assistant de recherche à l'université Columbia de New York et trois ans plus tard, en 1966, il soutient sa thèse de doctorat, à l'université de Strasbourg, sur la structure géophysique de la dorsale médio-atlantique, concluant à l'impossibilité d'un modèle dynamique. Mais les résultats obtenus par le géophysicien anglais Frederick Vine sur le profil de la dorsale de l'océan Pacifique lui font comprendre son erreur, et il adhère alors au modèle du « tapis roulant » de Harry Hess.


title: Xavier Le Pichon

text: Le Pichon s'est rendu célèbre pour avoir proposé un modèle quantitatif de tectonique des plaques en 1968. Ce modèle, basé sur le principe mis au point par Dan Peter McKenzie et Robert L. Parker l'année précédente, est composé de six plaques et montre leurs mouvements relatifs depuis 120 millions d'années. Pour illustrer ce modèle Le Pichon fera appel à Tanguy de Rémur. Grâce à ce modèle, la compréhension de la répartition des tremblements de terre et de l'histoire des continents a été grandement améliorée. En 1973, il écrit, avec Jean Bonnin et Jean Francheteau, le livre "Plate Tectonics", qui est resté durant plusieurs années l'ouvrage de référence dans le domaine.


title: Xavier Le Pichon

text: En 1969, il prend la tête du département de géologie du centre d'océanologie de Brest. Puis, en 1978, il devient professeur à l'université Pierre-et-Marie-Curie de Paris et, en 1984, il est nommé directeur du département de géologie de l'École normale supérieure.


title: Xavier Le Pichon

text: Depuis 1986 il détient la chaire de géodynamique au Collège de France.


title: Xavier Le Pichon

text: En parallèle avec cette activité de chercheur, Xavier le Pichon, fervent catholique, mène une intense activité associative envers les handicapés mentaux. En 1972, il raconte l'expérience du renouveau charismatique américain à un groupe de prière autour de Pierre Goursat et Martine Laffitte qui donneront naissance à la communauté de l'Emmanuel. Depuis 1976, il vit avec sa famille dans un foyer d'accueil de la communauté de L'Arche qui s'occupe de personnes handicapées.


title: Xavier Le Pichon

text: Il préside depuis 1995 l'association ADS PEM : les fondateurs ont acquis la propriété de La Pène en 1989, dans les Alpes-de-Haute-Provence, entre Saint-Geniez et Châteaufort à l'initiative du père Thomas Philippe, aumônier de L’Arche de Jean Vanier, et du père Patrick.


title: Xavier Le Pichon

text: Il est membre de l'Académie catholique de France fondée en 2008.


title: Xavier Le Pichon

text: On peut citer, entre autres :


title: Turban

text: Le turban (du moyen français "turbant", via l’italien "turbante", du turc "tülbent" du persan "dulbend") est un couvre-chef volumineux constitué d'une longue écharpe enroulée autour du crâne ou d'un chapeau.


title: Turban

text: Les Perses de l'Antiquité portaient un chapeau conique parfois entouré de bandes de tissu, ce qui peut .


title: Turban

text: Dans l'Antiquité, les Perses portaient un chapeau conique parfois enroulé avec cette dernière.


title: Turban

text: Au Moyen Âge, il porte le nom de « bourrelet » (à cause de la bourre qui garnit la couronne de tissu).


title: Turban

text: Il est à la mode, parfois orné de plumes, chez les femmes sous la Restauration en France, avant d'être remis au goût du jour dans les années 1940.


title: Turban

text: Dans la culture arabe classique, le turban était un élément culturel et spirituel important, maintenant remplacé dans les pays du Golfe persique par le keffieh. À noter que pour les musulmans, il est aussi le linceul qui ne les quitte pas. Si la mort vient à les surprendre lorsqu'ils sont seuls, ce turban, qui doit faire 2 fois leur taille et être plus large que les épaules, permet à celui qui les trouve de les enterrer selon le rite de l'islam, dans un linceul à même la terre.


title: Turban

text: Le turban se compose souvent de plusieurs pièces selon le pays. Il faut distinguer par exemple le "tarboush" (طربوش), tel qu'on porte en Égypte, et celui qui est en usage en Syrie ou dans d'autres contrées orientales.


title: Turban

text: Suivant M. Lane, le turban se compose en Égypte de trois objets, premièrement de la petite calotte appelé "taqiyya" طاقية, ensuite du tarbouch, qui est un bonnet ou une calotte en drap souvent rouge, allant à la tête et garni au sommet d'une houppe de soie bleu foncé, et enfin de la longue pièce d'étoffe إتب qu'on roule autour du tarbouch.


title: Turban

text: Les pratiques et les rites du judaïsme ancien nous en apprennent sur la façon dont se vêtissent les juifs de l'Antiquité au Moyen-Orient. Ainsi, hommes et femmes ne doivent pas porter les mêmes vêtement, les hommes portent donc un turban ou un bonnet, alors que les femmes portent un manteau féminin agrémenté d'un capuchon. Il existe un règlement sur les accessoires de toilette, précisant que les juives de Médie peuvent envelopper leur tête d'une sorte de turban, et celles d'Arabie sortir voilées.


title: Turban

text: Des manuscrits de l'Iran seldjoukide représentent des personnages portant des turbans qui ne diffèrent pas de ceux que représentent les céramistes mais sont peu caractéristiques. Ils se distinguent des turbans des manuscrits de Bagdad ou de Syrie : ils sont posés sur la tête en équilibre au lieu de descendre vers la nuque.


title: Turban

text: Chez les Arabes, il existe plusieurs sortes de turbans. Ils existent en plusieurs modèles, selon les pays ou les régions :


Le Challenge UNFP du joueur le plus fair-play (aussi appelé Trophée Serge Mesonès, du nom de l'ancien joueur d'Auxerre décédé d'une crise cardiaque en 2001), est né d'une idée de l'association de José Touré "Touche pas à mon sport".


title: Challenge UNFP du joueur le plus fair-play

text: Ce trophée mensuel organisé par l'Union nationale des footballeurs professionnels concerne tous les joueurs de football évoluant en première division.


text: Chaque lauréat s'engage à mener dans une école de sa région une action en faveur du respect des valeurs du sport et du football, en dénonçant notamment la violence et le dopage.Le Trophée Serge Mesonès est également un trophée annuel qui oppose les anciens de l'AJ Auxerre à une autre équipe d'anciens joueurs.


title: Fort Pickens

text: Le Fort Pickens est un fort historique des États-Unis situé à la pointe ouest de l'île de Santa Rosa dans la région de Pensacola construit en 1834 et désarmé en 1947. C'était le plus important des quatre bastions construits pour la protection de la baie de Pensacola et de son chantier naval. De forme pentagonale, il tire son nom d'Andrew Pickens, un héros de la Guerre d'indépendance des États-Unis. Le fort a été achevé en 1834 et a été l’un des rares forts dans le Sud à être resté entre les mains de l’Union tout au long de la guerre de Sécession. Il a été désaffecté en 1947.


title: Fort Pickens

text: De 1886 à mai 1887, le célèbre chef des apaches Geronimo y a été prisonnier en compagnie de certains de ses guerriers.


title: Forêts tempérées décidues et mixtes

text: Les forêts tempérées décidues et mixtes, forêts tempérées caducifoliées ou forêts némorales forment un vaste biome transcontinental constitué de grandes forêts d'arbres à feuilles caduques c'est-à-dire qui tombent durant la saison hivernale.


title: Forêts tempérées décidues et mixtes

text: Ce type de végétation couvre l'Europe de l'Ouest et centrale, l'est de la Russie, une partie du Caucase, de la Chine, et de l'Himalaya, le nord-est du continent américain aux États-Unis et au Canada, ainsi que la Nouvelle-Zélande et des zones côtières d'Amérique du Sud et d'Australie.


title: Forêts tempérées décidues et mixtes

text: Cette forêt a été grandement détruite ou endommagée depuis des millénaires par les défrichements humains notamment dus à l'agriculture, la sédentarisation et l'explosion démographique, et l'exploitation du bois (dont la construction navale depuis l'époque romaine qui a littéralement dévasté le pourtour méditerranéen).


title: Forêts tempérées décidues et mixtes

text: Les forêts mixtes ou tempérées sont situées dans des régions suffisamment arrosées à climats tempérés, généralement de type océanique ou semi-continental si l'hiver n'est pas trop doux.


title: Forêts tempérées décidues et mixtes

text: La biomasse de ce genre de forêt est relativement grande. Près de la moitié est dans le sol, l'autre moitié est sur pied.


title: Forêts tempérées décidues et mixtes

text: Ces forêts abritent une diversité très élevée de champignons et invertébrés notamment, ainsi probablement que de bactéries et autres microorganismes.  Des cortèges d'espèces typiquement forestières ou strictement dépendantes du bois mort sont en régression du fait de la rareté en bois mort et de la fragmentation forestière notamment.


title: Forêts tempérées décidues et mixtes

text: En 2012, en France, le Muséum national d'histoire naturelle, Natureparif, et l’association Noé Conservation ont lancé un suivi participatif pour avancer dans la compréhension du fonctionnement des écosystèmes boisés, particulièrement touchés par les activités humaines, et pour mieux connaître l’état de santé de nos forêts.


title: Forêts tempérées décidues et mixtes

text: Les forêts tempérées sont structurées de quatre strates :


title: Forêts tempérées décidues et mixtes

text: La variété floristique et la luxuriance végétale permettent de distinguer plusieurs nuances :


title: Function analysis system technique

text: FAST (en anglais "") est un type de diagramme qui présente une manière de penser, d'agir, ou de parler. Le diagramme FAST se construit de gauche à droite, dans la logique suivante : du "pourquoi" au "comment". Grâce à sa culture technique et scientifique, l'ingénieur développe les fonctions de service du produit en fonctions techniques. Il choisit des solutions pour construire finalement le produit. Le diagramme FAST constitue alors un ensemble de données essentielles permettant d'avoir une bonne connaissance d'un produit complexe et ainsi de pouvoir améliorer la solution proposée. La norme NF EN 12973 (management par la valeur) décrit le diagramme FAST en tant qu'une des méthodes usuelles d'analyse fonctionnelle.


title: Function analysis system technique

text: Voici l'exemple type du diagramme : La méthode s'appuie sur une technique interrogative :


title: Function analysis system technique

text: Les réponses à chacune de ces questions ne sont ni exclusives, ni uniques. Aussi il existe deux types d'embranchements entre les différentes colonnes, les embranchements de type « et », et les embranchements de types « ou ». Pour une liaison « et », un trait part à l'horizontale puis se sépare ; cela signifie que les fonctions subséquentes doivent toutes être réalisées. Pour une liaison « ou », on peut utiliser deux représentations : Cela signifie que l'on peut utiliser l'une ou l'autre des fonctions.


title: Function analysis system technique

text: Les fonctions doivent être décrites par un verbe à l'infinitif.


title: Function analysis system technique

text: Afin de permettre une compréhension aisée de tous, ce type de représentation est normé. Au niveau de la France, elle est régulée par la norme NF EN 1325-1 qui décrit les grandes lignes de cette méthode.


title: Function analysis system technique

text: On s'intéresse à un pilote automatique de bateau. Une de ses fonctions principales de service est : . Le diagramme FAST sera alors :


title: Function analysis system technique

text: Il faudra réaliser un diagramme FAST pour chacune des fonctions de service, notamment des fonctions contraintes. L'une des fonctions contraintes ici pourrait être « résister à l'humidité ».


title: Adolfo Consolini

text: Adolfo Consolini (né le à Costermano et mort le à Milan d'une hépatite), était un athlète italien qui pendant les années 1940 et 1950 figurait parmi les meilleurs spécialistes mondiaux du lancer du disque. Il a amélioré trois fois le record du monde de la spécialité entre 1941 et 1948, et trois fois le record d'Europe. En cinq participations aux championnats d'Europe et quatre aux Jeux olympiques d'été, il a obtenu quatre médailles d'or et une d'argent.


title: Adolfo Consolini

text: À ses premiers championnats d'Europe, en 1938, il se classe cinquième avec 48,02 m. La Seconde Guerre mondiale n'interrompt pas sa carrière : en automne 1941, il établit ainsi un nouveau record du monde qui tient pendant cinq ans, jusqu'à ce qu'il l'améliore lui-même. Il arrive aux championnats d'Europe de 1946 à Oslo en tant que grandissime favori, et gagne le titre devant son compatriote Giuseppe Tosi. Deux ans plus tard, aux Jeux olympiques d'été de 1948 à Londres, il poursuit sa série de succès en décrochant l'or, devant encore une fois Tosi, qui prend l'argent.


title: Adolfo Consolini

text: Dans les années 1950, Adolfo Consolini parvient encore à conquérir deux nouveaux titres européens et une médaille d'argent olympique. À 43 ans, encore champion d'Italie, il prend part aux Jeux olympiques d'été de 1960 à Rome, où il prononce le Serment olympique et termine à la dix-septième place.


title: Adolfo Consolini

text: Il est également acteur en 1954 dans le film de Carlo Lizzani : Chronique des pauvres amants (Cronache di poveri amanti).


title: Adolfo Consolini

text: Le , en présence du président du Comité national olympique italien (CONI), Giovanni Malagò, a été inauguré le "Walk of Fame du sport italien" dans le parc olympique du Foro Italico de Rome, le long de Viale delle Olimpiadi. 100 tuiles rapportent chronologiquement les noms des athlètes les plus représentatifs de l'histoire du sport italien. Sur chaque tuile figure le nom du sportif, le sport dans lequel il s'est distingué et le symbole du CONI. L'une de ces tuiles lui est dédiée .


title: Crotophaga

text: Le genre Crotophaga regroupe des oiseaux appartenant à la famille des Cuculidae.


title: Crotophaga

text: D'après la classification de référence (version 2.2, 2009) du Congrès ornithologique international (ordre phylogénique) :


title: Olga Karnovitch Paley

text: Olga Valerianovna Karnovitch, en russe Ольга Валериановна Карнович, née à Saint-Pétersbourg le , morte à Paris le , est la seconde épouse du grand-duc Paul Alexandrovitch de Russie.


title: Olga Karnovitch Paley

text: Fille d'un médecin de la cour, le docteur Valerian Karnovitch, et d'Olga Meszaros, Olga Karnovitch passa son enfance à côté des palais impériaux à Tsarskoïe Selo. Jolie et mondaine, elle est remarquée par les cercles des officiers de la ville et fait la connaissance d'un officier de la Garde impériale de Russie, Erich Augustinovitch von Pistohlkors (1853-1935), qu'elle épouse en 1884 et dont elle a quatre enfants :


title: Olga Karnovitch Paley

text: En 1891, le grand-duc Paul devient veuf de sa première épouse née princesse Alexandra de Grèce, sa cousine, dont il avait eu deux enfants en bas âge et qui furent recueillis par sa belle-sœur, la grande-duchesse Élisabeth, en attendant. Ami de longue date d'Erich von Pistohlkors, il passe souvent ses soirées chez le couple Pistohlkors à Tsarskoïe Selo pour consoler son chagrin et dissiper son ennui ; il apprécie l'élégance et l'esprit mondain et vif d'Olga Valerianovna.


title: Olga Karnovitch Paley

text: Olga vit d'abord son adultère dans un scrupule vite dissipé par l'esprit distingué du grand-duc et, petit à petit, en est de plus en plus flattée. Le couple Pistohlkors vit de plus en plus avec le grand-duc et passe des séjours au bord de la Baltique ou à la chasse ensemble, Erich von Pistohlkors est aussi flatté. Le grand-duc vient souvent accompagné de la sœur de Nicolas II avec qui il est ami. Ainsi les apparences sont sauves.


title: Olga Karnovitch Paley

text: Jusqu'au moment où l'évidence d'une séparation se fait jour. Cela fait scandale à la cour, l'impératrice déteste Olga Valerianovna qu'elle avait aperçue de loin, et la rigueur de son éducation victorienne ne peut pas concevoir qu'un grand-duc puisse épouser une divorcée. Elle fait pression en ce sens auprès de son époux le tsar. Le scandale augmente encore lorsque Mme von Pistohlkors donne naissance, en 1897, à un fils adultérin, Vladimir, alors qu'elle n'est pas divorcée. Nicolas II refuse à son oncle le mariage avec Olga Valerianovna lorsqu'elle divorce trois ans plus tard (son mari ayant mis longtemps avant de donner son accord). Il part donc à l'étranger et l'épouse morganatiquement à Livourne, presque en cachette.


title: Olga Karnovitch Paley

text: Le grand-duc et Olga sont donc exilés par l'empereur et se font construire un élégant hôtel particulier à Boulogne-sur-Seine qu'Olga décore avec goût. Elle est reçue dans la haute société parisienne, notamment chez la comtesse de Fitz-James.


title: Olga Karnovitch Paley

text: En 1904, le grand-duc demande un titre pour sa femme auprès du prince-régent Léopold de Bavière et Olga est titrée comtesse de Hohenfelsen, titre transmissible à ses enfants morganatiques.


title: Olga Karnovitch Paley

text: Le couple ne peut rentrer en Russie qu'en 1913, lorsque l'empereur accorde son pardon à son oncle. En 1915, Olga, qui n'est toujours pas reçue à la cour est titrée par l'empereur princesse Paley ; mais en tant qu'épouse morganatique, elle n'est que rarement invitée aux réceptions officielles ou familiales et est toujours assise aux places les plus éloignées de la famille impériale, y compris de son mari.


title: Olga Karnovitch Paley

text: De cette union naissent :


title: Olga Karnovitch Paley

text: Lors de la révolution d'Octobre le grand duc Paul Alexandrovitch est arrêté et emprisonné à la forteresse Saint-Pierre-Saint-Paul, quant à la princesse Paley, elle s'installe avec ses deux filles chez des amis à Saint-Pétersbourg rebaptisée Petrograd. Olga Valerianovna tente de faire libérer son fils Vladimir, surnommé Volodia, et son époux Paul Alexandrovitch, mais en vain : Vladimir est exécuté sommairement avec d'autres membres de la famille impériale en juillet 1918 près d'Alapaïevsk et le grand duc Paul est assassiné à l'intérieur de la forteresse Pierre-et-Paul en 1919. Les jeunes princesses passent des moments difficiles dans Petrograd révolté. Natalia Pavlovna Paley, âgée de 13 ans, est molestée, probablement violentée par de jeunes bolcheviks, et ne s'en remettra jamais. Début 1919, apprenant la mort de son mari, la princesse Paley s'enfuit de Russie avec ses deux filles en gardant le secret espoir que son fils était encore en vie. Aidée d'un soldat de l'Armée blanche, elles partirent de Petrograd et marchèrent durant deux nuits et un jour, traversant le lac Ladoga gelé. Le lac étant balayé par des projecteurs actionnés par les gardes rouges, le soldat cachait les deux jeunes filles sous un linge blanc afin que l'on ne distingue pas leurs silhouettes sur le lac blanchi par la glace. Les princesses parvinrent à Helsingfors, bientôt rebaptisé Helsinki, saines et sauves.


title: Olga Karnovitch Paley

text: Puis, les princesses quittèrent la Finlande et vinrent s'installer en France en 1920, d'abord dans son hôtel particulier de Boulogne, puis dans le , et enfin dans une villa qu'elle vit construire à Biarritz. La princesse Paley puisa dans ses ressources pour venir en aide aux exilés de l'aristocratie russe. Olga Valerianovna, princesse Paley se dépensa sans compter pour les enfants russes exilés à Paris (1927). Elle finit sa vie à Neuilly-sur-Seine et décéda à Paris le . Elle est inhumée à Colombes (92).


title: Julian Musiol

text: Julian Musiol, né le à Suhl, est un sauteur à ski allemand.


title: Julian Musiol

text: Fils du bobeur Bogdan Musiol, il fait ses débuts internationaux en 2002 aux Championnats du monde junior. Il obtient ses premiers résultats importants en 2004, où il gagne la médaille de bronze par équipes aux Championnats du monde junior et prend la cinquième place en individuel.


title: Julian Musiol

text: En 2005, après une cinquième place en Coupe continentale, il appelé pour ses débuts en Coupe du monde à Oberstdorf. Plus tard dans l'hiver, il est à Sapporo, marquant ses premiers points dans l'élite. S'il ne parvient pas à faire mieux en Coupe du monde, égalant ce résultat en 2009 au même tremplin, il gagne son premier concours de Coupe continentale en février 2007 à Oberhof.  Il obtient sept autres podiums dans la Coupe continentale jusqu'en 2011, année de sa retraite sportive.


title: Yuta Watase

text: , né le à Sapporo est un sauteur à ski japonais.


title: Yuta Watase

text: Il est le fils de Yataro Watase, lui aussi sauteur à ski, et entraîneur de saut à ski, notamment de l'équipe féminine du Japon en 2010 et 2011. Yuta Watase a une sœur Ayumi, elle aussi sauteuse à ski.


title: Yuta Watase

text: Il a fait ses débuts en Coupe du monde en à Sapporo, où il marque ses premiers points ( et ). Il obtient son unique podium en novembre 2012 dans une épreuve par équipes à Lillehammer. En individuel, il compte deux "tops 10" dont une cinquième place obtenue à Sapporo en et une huitième place à Park City en janvier 2001. Au Grand Prix d'été 2012, il fait partie de l'équipe japonaise première gagnante d'une compétition collective mixte de l'histoire en saut.


title: Yuta Watase

text: Il participe à trois grands championnats majeurs : aux Mondiaux de vol à ski 2012, aux Championnats du monde de Val di Fiemme et aux Jeux olympiques d'hiver de 2014, où il est sur le petit tremplin.


title: Yuta Watase

text: Il prend sa retraite sportive en 2016.


title: Daniel Lackner

text: Daniel Lackner, né le à Wels, est un sauteur à ski autrichien.


title: Daniel Lackner

text: Membre du club UVB Hinzenbach, il fait ses débuts en compétition internationale en 2003 et dans la Coupe du monde en 2006 à Kuopio, peu avant de marquer son premier point à Oslo. Il prend part ensuite essentiellement à la Coupe continentale, remportant six concours dans la compétition de 2006 à 2008. En janvier 2009, il obtient son meilleur résultat dans la Coupe du monde avec une place à Innsbruck.


title: Daniel Lackner

text: Il concourt au niveau international jusque lors de la saison 2011-2012.


title: Cristian Brocchi

text: Cristian Brocchi, né le 30 janvier 1976 à Milan, est un footballeur international italien reconverti entraîneur.


title: Cristian Brocchi

text: Il a presque toujours été le remplaçant de Gattuso lorsqu'il jouait à Milan. Il a obtenu en 2006 sa première et unique cape internationale lors d'un match amical contre la Turquie.


title: Cristian Brocchi

text: Le , il est nommé entraîneur par intérim du Milan AC à la suite du licenciement de Siniša Mihajlović.


title: S.O.A.P. (groupe)

text: SOAP est un groupe danois de musique pop composé de deux sœurs, Heidi (née le ) et Line (née le ) Sørensen. Leurs titres sont principalement écrits et produits par Holger Lagerfeldt et Remee Zhivago pour la succursale danoise de Sony Music Entertainment.


title: S.O.A.P. (groupe)

text: Le groupe a été choisi pour faire la première partie des groupes Savage Garden (sur leurs tournées européenne de 2000) et Backstreet Boys (sur l'une de leurs tournées aux États-Unis d'Amérique).


title: Palais de la bande dessinée

text: Le Palais de la BD était un festival de bande dessinée parisien. Il a connu cinq éditions, de 2002 à 2006.


title: Palais de la bande dessinée

text: Il se tient chaque année à la Conciergerie à Paris, pendant un week-end du mois d´octobre. Il propose de nombreuses rencontres avec des éditeurs et des auteurs. Une exposition d'un dessinateur important du s'y déroule et se poursuit dans les murs de la Conciergerie pendant 1 mois au-delà du festival lui-même.


title: Palais de la bande dessinée

text: Ce site est desservi par les stations de métro Cité, Saint-Michel et Châtelet.


title: Palais de la bande dessinée

text: Site officiel


title: Lawrie Sanchez

text: Lawrence Philip "Lawrie" Sanchez est un footballeur nord-irlandais né le à Lambeth dans le Grand Londres, d'un père équatorien et d'une mère nord-irlandaise. Il a été l'entraîneur du club anglais de Fulham et de l'équipe d'Irlande du Nord.


title: Lawrie Sanchez

text: En tant que joueur, Sanchez est surtout connu pour avoir inscrit le but vainqueur lors de la finale de la FA Cup en 1988. Wimbledon avait alors triomphé de Liverpool. Il a choisi d'évoluer en équipe nationale d'Irlande du Nord alors qu'il jouait au sein des sélections jeunes d'Angleterre. Il a également refusé la sélection équatorienne, pour cause de trop long déplacement.


title: Lawrie Sanchez

text: Dès son arrivée à la tête de l'équipe d'Irlande du Nord, ses résultats sont prometteurs. Il gagne son premier match en , soit quatre ans après la dernière victoire de son pays. En , son équipe réalise un véritable exploit en battant l'équipe d'Angleterre (1-0). En , son équipe réalise un second exploit en battant l'équipe d'Espagne (3-2). Mais Sanchez abandonne en 2007 l'équipe d'Irlande du Nord pour se consacrer pleinement à son nouveau club de Fulham, auquel il empêche la relégation en Championship (deuxième division anglaise) à l'issue de la saison 2006-2007.


title: Lawrie Sanchez

text: En tant qu'entraîneur de l'équipe d'Irlande du Nord, Sanchez aura dirigé son groupe d'une poigne de fer. Lors d'un match face à l'Azerbaïdjan, deux joueurs furent d'ailleurs renvoyés chez eux car ils n'avaient pas respecté le couvre-feu.


title: Kimmo Yliriesto

text: Kimmo Yliriesto (né le ) est un sauteur à ski finlandais.


title: Parti des forces nouvelles

text: Parti des forces nouvelles peut désigner plusieurs partis politiques :


title: Arthur Schwab

text: Arthur Tell Schwab, né le à Bortewitz (Royaume de Saxe) et mort le à Siglingen (Allemagne), était un athlète suisse qui pratiquait la marche. Il a été vice-champion olympique sur en 1936. Deux ans plus tôt, il était devenu vice-champion d'Europe sur la même distance.


title: Arthur Schwab

text: Son fils Erich Arthur Fritz Schwab remporta sur marche deux médailles olympiques.


title: Paroisse de Lafayette

text: La paroisse de Lafayette () est une paroisse de Louisiane, aux États-Unis. Le siège de comté est la ville de Lafayette. Elle était peuplée de en 2010. C'est une des vingt-deux paroisses de la région officielle de l'Acadiane.


title: Paroisse de Lafayette

text: La paroisse a une superficie de de terre émergée et d’eau. Elle est enclavée entre la paroisse de Saint-Landry au nord, la paroisse de Saint-Martin à l'est, la paroisse de l'Ibérie au sud-est, la paroisse de Vermilion au sud et la paroisse de l'Acadie à l'ouest.


title: Paroisse de Lafayette

text: La paroisse est reliée par deux autoroutes :Selon l"'American Community Survey", en 2010, 83,80 % de la population âgée de plus de déclare parler l'anglais à la maison, 10,36 % le français, 3,11 % l'espagnol, 0,62 % un créole français, 0,57 % le vietnamien et 1,54 % une autre langue.


title: Filet (botanique)

text: En botanique, le filet est le nom donné à l'élément généralement fin constituant une des composantes de l'étamine.


title: Filet (botanique)

text: À l'extrémité du filet, on trouve l'anthère, ou partie supérieure épaissie, creusée à l'intérieur. Cette anthère contient une matière formée d'une multitude de petits grains sous forme de poussière, et constituant le pollen.


title: Shingo Ueno

text: Shingo Ueno (né le ) est un ancien sauteur à ski japonais.


title: Piotr Żyła

text: Piotr Paweł Żyła, né le à Cieszyn, est un sauteur à ski polonais. Il fait partie de la première équipe polonaise championne du monde en 2017.


title: Piotr Żyła

text: Il commence sa carrière dans le cirque blanc en 2003 dans des compétitions FIS et devient vice-champion du monde junior par équipes en 2005. Il fait ses débuts en Coupe du monde en à Sapporo, où avec une et une place, il marque ses premiers points. Dans la foulée, il gagne sa première manche de Coupe continentale à Villach.


title: Piotr Żyła

text: En 2007, il est sélectionné pour ses premiers championnats du monde à Sapporo, terminant cinquième par équipes. Au Grand Prix d'été 2007, il est classé pour la première fois dans le top dans une compétition avec l'élite, lorsqu'il prend la huitième place à Hakuba. Ses résultats dans la Coupe du monde ne suivent pas la même tendance, Zyla terminant au-delà du top vingt à chaque fois pendant deux saisons, pour être relégué totalement à la Coupe continentale pour la saison 2009-2010. Il est de nouveau intégré pour l'équipe de la Coupe du monde au courant de la saison 2010-2011, où il monte sur ses deux premiers podium en épreuve par équipes à Willingen et Lahti. Aux Championnats du monde 2011, il est quatrième et cinquième dans les compétitions par équipes, ainsi que et en individuel. À l'été 2011, il s'illustre individuellement montant sur deux podiums sur le Grand Prix à Hakuba. Sur la deuxième étape de la Coupe du monde 2011-2012, il passe la barre du top dix, terminant septième à Lillehammer. Il bondit aussi au classement général final du rang en 2011 au cet hiver.


title: Piotr Żyła

text: Son entame de la saison 2012-2013 est plus difficile, se retrouvant plusieurs fois hors du top trente, avant de resurgir à son lieu d'entraînement, au tremplin de Wisła, au mois de janvier, avec une sixième place.


title: Piotr Żyła

text: Il remporte sa première victoire (aussi son premier podium individuel) en Coupe du monde le à Oslo (Norvège) à égalité avec Gregor Schlierenzauer après avoir été médaillé de bronze aux Mondiaux de Val di Fiemme par équipes avec Maciej Kot, Dawid Kubacki et Kamil Stoch un mois auparavant, même s'il est au mieux en individuel. Il finit l'hiver avec une troisième et une cinquième place à Planica.


title: Piotr Żyła

text: En fin d'année 2013, il se positionne trois fois dans le top dix en Coupe du monde, suffisant pour se qualifier pour les Jeux olympiques de Sotchi 2014, où il seulement sur le grand tremplin et quatrième par équipes, devancé par les Japonais.


title: Piotr Żyła

text: En 2014-2015, il est souvent plaçé autour de la dixième place en Coupe du monde, mais pas plus, de même aux Championnats du monde, où il neuvième au grand tremplin. Dans la compétition par équipes, il décroche encore la médaille de bronze, en compagnie de Klemens Muranka, Jan Ziobro et Kamil Stoch.


title: Piotr Żyła

text: Après un hiver 2015-2016 décevant pour lui ( de la Coupe du monde), il est sur le retour lors de saison suivante, remportant l'épreuve par équipes à Klingenthal, puis obtenant un top dix à Engelberg.


title: Piotr Żyła

text: Alors en bonne forme sur la Tournée des quatre tremplins, se classant deux fois septième et une fois sixième, il obtient un troisième podium individuel (quatre ans après son denrier) en Coupe du monde sur l'ultime étape à Bischofshofen, pour accéder à la deuxième marche du podium de la Tournée dominée par Kamil Stoch. Un mois plus tard, aux Mondiaux de Lahti, il gagne une médaille de bronze individuelle au grand tremplin et celle d'or avec ses coéquipiers au grand tremplin, pour ce qui constitue le premier titre polonais par équipes. Aux Championnats du monde de vol à ski 2018, il obtient la médaille de bronze à l'épreuve par équipes, avant de se classer troisième à Willingen en Coupe du monde. Cependant, il n'obtient pas son ticket pour les Jeux olympiques de Pyeongchang.


title: Piotr Żyła

text: Il revient sur le devant de la scène lors de la saison 2018-2019 de Coupe du monde, montant sur un total de sept podiums individuels, ce qui le mène au quatrième rang du classement général, soit pour la première fois dans le top dix. Aux Championnats du monde de Seefeld, il échoue pour la première fois depuis 2011 à remporter de médaille, terminant quatrième par équipes et au mieux en individuel.


title: Piotr Żyła

text: En , il est victime une lourde chute à Wisła, mais s'en sort qu'avec de légères blessures au visage. Le , il gagne sa deuxième manche de Coupe du monde, sept ans après la première, au tremplin de vol à ski à Bad Mitterndorf avec une marge de seulement 0,3 points sur le jeune Slovène Timi Zajc. Il se classe alors troisième du classement spécifique de vol à ski cette saison, comme en 2019.


title: Piotr Żyła

text: Aux Championnats du monde de vol à ski 2020, déplacés au mois de décembre, il gagne une nouvelle médaille de bronze par équipes et se retrouve septième en individuel. Il est aussi auteur de plusieurs podiums individuels cet hiver dont un sur la Tournée des quatre tremplins, dominée par les Polonais, à Garmisch-Partenkirchen.


title: Maître d'opérations

text: Le Maître d’opérations (" en anglais) désigne certains types de contrôleurs de domaine dans Active Directory, de Microsoft. Ce sont ceux qui jouent un rôle nécessitant un maître unique pour la réplication entre contrôleurs de domaine ; certains rôles sont uniques pour tous les domaines de la forêt ; d’autres rôles sont plus simplement uniques à l’intérieur d’un domaine.


title: Maître d'opérations

text: La dénomination FSMO signifie ". Ces différents rôles peuvent facilement être déplacés d'un contrôleur de domaine à un autre en utilisant Lors de la création d’une forêt de domaines, le premier contrôleur de domaine créé est aussi par défaut le serveur de Catalogue Global. Le Catalogue Global a plusieurs fonctions : Il stocke les informations sur tous les objets, gère les requêtes sur ces objets et leurs attributs, il autorise ou refuse la connexion d’un utilisateur à un domaine


title: Maître d'opérations

text: Certains maîtres d’opérations peuvent être aussi serveur de Catalogue Global ou, indirectement, dépendre d’un serveur de Catalogue Général. Par exemple, il est préférable qu'un maître d’infrastructure ne soit pas hébergé par le même contrôleur de domaine que le serveur de Catalogue Global dans une forêt de domaines (à moins que tous les contrôleurs de domaine ne soient aussi serveurs de Catalogue Global).


title: Maître d'opérations

text: À l’inverse, un maître d’attribution de noms de domaine devrait être hébergé seulement sur un contrôleur de domaine qui est aussi serveur de Catalogue Global.


title: Maître d'opérations

text: Lors de la création d’une forêt de domaines, le premier contrôleur de domaine créé est par défaut le maître d’opération pour chacun des différents rôles. C’est une situation transitoire, que l’administrateur a intérêt à changer par la suite. Microsoft recommande de faire très attention à la répartition des rôles de maîtres d’opérations sur les différents contrôleurs de domaine. En cas de panne d’un serveur ayant un des rôles maîtres d’opérations, il faut pouvoir transmettre ce rôle à l’un des autres contrôleurs de domaine.


title: Maître d'opérations

text: Il est mieux de mettre l’émulateur de PDC et le maître RID sur le même contrôleur de domaine. De même, il est mieux de mettre le maître de schéma et le maître d’attribution de noms de domaine sur le même contrôleur de domaine.


title: California Dreamin'

text: California Dreamin' ("Rêve de Californie", en anglais) est une chanson sunshine pop-folk rock-psychédélique-close harmony, du couple d'auteur-compositeur-interprète John et Michelle Phillips. Elle est enregistrée en single en décembre 1965 par Barry McGuire, extraite de son album "This Precious Time" de 1966. Le couple l'enregistre à son tour en single le 8 décembre 1965, en créant leur groupe "The Mamas and the Papas", et pour leur 1 album "If You Can Believe Your Eyes and Ears" de 1966. Ce principal tube international de leur carrière, vendu à plus d'un million d'exemplaires dans le monde, n°4 du Billboard Hot 100 américain, est classé Songs of the Century, Grammy Hall of Fame Award, et des « 500 plus grandes chansons de tous les temps selon Rolling Stone » de 2003.


title: California Dreamin'

text: Cette chanson sunshine pop est écrite et composée en 1963 par le couple John et Michelle Phillips, sur le thème « du rêve de vivre à Los Angeles en Californie » alors qu'ils se sont marié et habitent à New York. Ils écrivent ce tube lors d'un hivers new-yorkais froid et enneigé, inspirés par la vague de surf music californienne de la surf culture internationale des années 1960, et par le mal du pays de Michelle (née à Long Beach en Californie). Le titre est inspiré du rêve américain ("American Dream") « Rêve de Californie, toutes les feuilles sont brunes, et le ciel est gris, je suis allée faire un tour, un jour d'hiver, je serais en sécurité et au chaud, si j'étais à Los Angeles, rêver de la Californie, un tel jour d'hiver... ».


title: California Dreamin'

text: Le chanteur américain Barry McGuire désire l'enregistrer pour son album "This Precious Time" de 1966, avec le producteur Lou Adler du label Dunhill Records. Le couple Phillips en profite alors pour enregistrer sa propre version du titre en close harmony à contrepoint, avec un solo de flûte du saxophoniste-flûtiste de jazz Bud Shank, en lançant leur groupe "The Mamas and the Papas", avec ce titre au succès fulgurant, rapidement diffusé sur toutes les radios américaines, vendu à plus d'un million d’exemplaire dans le monde, et leur 1 album "If You Can Believe Your Eyes and Ears" de 1966 (112 position du classement des 500 plus grands albums de tous les temps par le magazine américain Rolling Stone)...


title: California Dreamin'

text: Le morceau est en tonalité de Do dièse mineur sur une cadence en (4 noires par mesure). Les enchaînements d'accords sont « Do#m - Si - La - Si - Sol#7sus4 - Sol# » avec une variante « La - Mi - Sol# - Do#m - La - Sol#7sus4 - Sol# » reproduite 2 fois (à « "I've been for a walk" » puis à « "Well I got down on my knees" »).


title: California Dreamin'

text: En 2004, le groupe allemand Royal Gigolos reprend le titre sous une version tech house. de leur studio "Music Deluxe" (2005), le single sort le 17 mai 2004 sous le label Sony Music Entertainment. La chanson a été écrite par Michelle Gilliam, John E.A. Philips et produite par les Royal Gigolos. Le single rencontre le succès principalement en Europe, "California Dreamin"' atteint le top 3 en France et en Belgique (Wallonie), le top 20 en Suisse, en Finlande et au Danemark. Le titre atteint la du club 40.Parmi les nombreux artistes ayant repris cette chanson, on peut citer notamment :


title: California Dreamin'

text: Une version en italien intitulée "Sognando la California" est interprétée la même année par I Dik Dik.


title: Fritz Schwab

text: Erich Arthur Fritz Schwab, né le et mort le , est un ancien un athlète suisse qui pratiquait la marche. Il a été champion d'Europe sur 10 km et a remporté deux médailles olympiques.


title: Fritz Schwab

text: Son père Arthur Tell Schwab fut également un marcheur de haut niveau avant la Seconde Guerre mondiale.


title: Tama (instrument)

text: Le tama (sérère, wolof, mandingue, bambara) gangan, dumdum (yoruba), kalangu (hausa, songhaï), odondo (akan), lunna (dagomba), karangou ou kalangou, appelé également « le tambour parlant », est un instrument de percussion de la famille des membranophones originaire d'Afrique de l'Ouest. Des instruments semblables existent en Inde (huruk) et au Japon (ōtsuzumi).


title: Tama (instrument)

text: Dans l'histoire du Sénégal et de la Gambie, le tama a été l'un des instruments de musique utilisés dans la tradition sérère « "woong" » (la « danse des futurs circoncis », aussi appelé « "xaat" » en sérère, où il a des connotations religieuses. Dans la tradition "xaat", le tama est constitué d'un ensemble de quatre tambours : Perngel, Lamb, Qiin et Tama.


title: Tama (instrument)

text: Du point de vue historique, le tama (tout comme le junjung sérère), a été battu par les griots des rois sénégambiens lors de circonstances particulières, par exemple quand les souverains voulaient répondre à leurs sujets, ou comme appel aux armes pendant les guerres, ou comme appel au martyr, comme ce fut le cas au chaos de Tahompa et à la bataille de Naoudourou, où les Sérères vaincus se suicidèrent plutôt que d'être conquis par les forces musulmanes ou forcés de se soumettre à l'islam. Si le suicide est autorisé dans la religion sérère, il doit cependant satisfaire au « principe de Jom ». Le mot « "jom" » signifie « honneur » en sérère.


title: Tama (instrument)

text: C'est un tambour en sablier en bois de de long et de diamètre, à double membrane et à tension variable. Les peaux sont maintenues au moyen de cerclages, mais elles sont accordées et tendues au moyen d'un laçage de cordes.


title: Tama (instrument)

text: Le son produit par un tama peut être régulé très finement, à tel point que l'on dit qu'il « parle ». Le joueur de tama place l'instrument sous son aisselle et le frappe avec une baguette courbée de différentes manières en variant la pression sur les cordes qui tendent la peau, provoquant des sons complexes. Cette complexité sonore s'apparente à certaines langues tonales africaines. La richesse de ce mode de communication fut mise en évidence par , un missionnaire anglais ayant appris le kele. Il rédigea plusieurs ouvrages sur la question dont "Talking drums of Africa" en 1949.


title: Tama (instrument)

text: Le tama est principalement utilisé au Mali, dans la musique Mbalax au Sénégal ainsi qu'au Nigeria. Il est l'un des plus anciens instruments utilisés par les griots.


title: Tama (instrument)

text: Les villages d'Afrique ont utilisé les tamas comme moyen de communication télégraphique depuis des siècles. Les messages intéressants étaient répétés et relayés vers les villages proches. Les explorateurs européens ont été surpris de découvrir que l'annonce de leur venue et de leurs intentions était transmise à travers la forêt et devançait leur arrivée. Un message africain peut être transmis à la vitesse de . Dans des conditions idéales, le son peut être entendu de 5 à .


title: Otto von Guericke

text: Otto von Guericke [], né le à Magdebourg et mort le à Hambourg, est un scientifique, inventeur et homme politique allemand. Sa contribution scientifique principale concerne la physique du vide. Il a inventé le principe du tout premier appareil à vide, la pompe à air, qui sera mise au point plus tard par Robert Boyle.


title: Otto von Guericke

text: Otto von Guericke fut un des quatre bourgmestres de Magdebourg de 1646 à 1676. Il avait survécu au sac de la ville en 1631 lors de la guerre de Trente Ans.


title: Otto von Guericke

text: Il est l'inventeur de la pompe à air, ancêtre de la pompe à vide, consistant en un piston, un cylindre et un clapet anti-retour, conçue pour extraire l'air dont les effets du vide dans de nombreuses expériences : il a aussi (grâce à ce système) inventé la première « boule à facettes ».


title: Otto von Guericke

text: Guericke démontra la force de la pression atmosphérique avec des expériences spectaculaires, comme en 1654, à la cour de Frédéric-Guillaume de Brandebourg, où il avait raccordé deux hémisphères de cuivre de 40 cm de diamètre (les hémisphères de Magdebourg) et extrait l'air à l'intérieur de celles-ci. Il a ensuite attaché chacun des hémisphères à un attelage de huit chevaux et montré qu'ils n'étaient pas capables de les séparer. Quand il eut remis l'intérieur des hémisphères à pression atmosphérique, ils se séparèrent facilement. Il répéta l'expérience la même année à Berlin avec 24 chevaux.


title: Otto von Guericke

text: Avec ses expériences, Guericke mit fin de façon spectaculaire à l'hypothèse de l"'horror vacui", qui supposait que la nature « déteste » le vide, qui fut pendant des siècles un problème pour les philosophes et les scientifiques. Il s'était inspiré des expériences sur les fluides de Torricelli et de leur interprétation correcte par Blaise Pascal.


title: Otto von Guericke

text: Von Guericke appliqua le baromètre aux prévisions météorologiques.


title: Otto von Guericke

text: Ses derniers travaux se sont concentrés sur l'électricité, mais peu de ses résultats ont été préservés. Il inventa en 1672 les premières machines de production continue d’électricité statique (le générateur électrostatique réalisé à partir d'un globe de soufre et appelé la "Elektrisiermaschine"), sans qu’elles procèdent pour autant d’une connaissance scientifique des phénomènes électriques.


title: Otto von Guericke

text: Otto von Guericke est mort à Hambourg en 1686 et a donné son nom à l'université de Magdebourg."Les livres suivants sont en allemand"


title: Ondine (conte)

text: Ondine () est un conte de Friedrich de La Motte-Fouqué, paru en 1811, dans lequel le génie féminin des eaux ("nixe") éponyme, cherche, en épousant le chevalier Huldebrand, à acquérir l'âme dont elle est dépourvue.


title: Ondine (conte)

text: Le conte a été rapidement adapté à l'opéra, sur un livret de La Motte-Fouqué et une musique de son ami E.T.A. Hoffmann, représenté pour la première fois le à Berlin. Cette première connut un tel succès qu'elle fut suivie de quatorze reprises jusqu'au , date à laquelle le théâtre fut détruit par un incendie. Depuis lors, l'œuvre n'a plus été mise en scène, à l'exception d'une représentation à Prague en 1821 qui n'a obtenu aucun succès. Le , un peu plus d'un siècle plus tard, l'œuvre a été reprise sous une nouvelle forme à Aix-la-Chapelle, le livret ayant été modifié par H. von Woltzogen.


title: Ondine (conte)

text: Par la suite, "Ondine" a été mise en scène au théâtre et donnée en Allemagne occasionnellement dans les années 1980. Ondine (Undine) a été adapté au cinéma par Christian Petzold en 2020, d'après la nouvelle "Ondine s'en va" d'Ingeborg Bachmann.


title: Ondine (conte)

text: L'œuvre reflète le climat intellectuel particulier à la Restauration allemande qui portait à se réfugier dans un monde enchanté, peuplé de divinités de la nature et de héros chevaleresques, monde que la musique de Hoffmann a su fidèlement reproduire.


title: Ondine (conte)

text: Un autre opéra d'inspiration romantique, écrit en 1844, à partir de ce conte, par Albert Lortzing a été donné pour la première fois à Magdebourg le .


title: Ondine (conte)

text: D'autres compositeurs ont repris cette matière :


title: Ondine (conte)

text: L'adaptation française pour la scène par Bonnerot et Desrez semblerait plus convaincante que les tentatives allemandes. Après une première représentation du début de leur , un critique peut ainsi écrire :


title: Ondine (conte)

text: Ce conte a été très tôt et traduit en français et en anglais.


title: Ondine (conte)

text: Le thème d’"Ondine", lui-même issu de légendes populaires répandues dans le monde germanique, a été repris par plusieurs écrivains comme Aloysius Bertrand, dont le poème "Ondine" (1842) a été mis en musique par Maurice Ravel dans "Gaspard de la nuit" (1908), et Jean Giraudoux qui en a tiré sa pièce de théâtre "Ondine" (1939).


title: Ondine (conte)

text: L'influence du conte de la Motte-Fouqué est également évidente sur "La Petite Sirène" (1837) de Hans Christian Andersen, et l'opéra "Rusalka" (1900) d'Antonín Dvořák.


title: Gaston Godel

text: Gaston Godel, né le à Givisiez et décédé le à Domdidier, est un athlète suisse qui pratique la marche. Aux Jeux olympiques d'été de 1948 à Londres, il remporte la médaille d'argent du marche derrière le Suédois John Ljunggren.


title: Gaston Godel

text: Gaston Godel naît le à Givisiez. Il débute la marche en 1942. En 1945, il réussit son record sur marche en .


title: Gaston Godel

text: Six ans plus tard, il se qualifie pour les Jeux olympiques de 1948 à Londres, à la suite d’une série de plusieurs victoires. Il hésite quelque temps avant de donner, une semaine avant le départ, son accord pour participer. Il se fait tailler son costume chez un tailleur de Fribourg. À Londres, comme à son habitude, Gaston Godel s’entraîne seul, ce qui provoque quelque amusements chez ses confrères sportifs.


title: Gaston Godel

text: Le , il participe à l’épreuve du marche, sans espérer à décrocher une médaille. . Godel réussit à passer Tebbs Lloyd Johnson et lors du dernier tour de piste, sous les acclamations du public londoniens, il parvient à conserver son avantage. Il remporte alors la médaille d’argent derrière le Suédois John Ljunggren. Le , il est reçu avec plusieurs autres athlètes au palais de Buckingham par, entre autres, le roi George VI et Winston Churchill.


title: Gaston Godel

text: À son retour en Suisse, Gaston Godel est fêté par les autorités de la ville de Payerne, car il est membre du club athlétique local, avant d’être reçu par sa commune de Domdidier dont il est bourgeois.


title: Gaston Godel

text: Il arrête la compétition en 1955 à la suite du décès de sa femme. Il participe toutefois à des compétitions populaires, comme en 1985, lorsqu’il demande, à presque , sa licence pour participer au Grand Prix international de la Broye. Il décède le à Domdidier.


title: Gustavus Fox

text: Gustavus Fox (Saugus, Massachusetts, - Lowell, Massachusetts, ) était un officier de l'US Navy s'étant illustré lors de la Guerre de Sécession.


title: David Healy (football)

text: David Healy, né le à Killyleagh en Irlande du Nord, est un footballeur international nord-irlandais, devenu entraîneur à l'issue de sa carrière, qui évoluait au poste d'attaquant.


title: David Healy (football)

text: Il détient le record du nombre de buts inscrits en sélection nationale (36 buts).


title: David Healy (football)

text: Le , il est prêté jusqu'à la fin de la saison au club écossais des .


title: David Healy (football)

text: Le , il annonce sa retraite.


title: David Healy (football)

text: David Healy est le meilleur buteur de l'équipe d'Irlande du Nord de football avec en .


title: David Healy (football)

text: Il a marqué le but de la victoire (1-0) contre l'Angleterre en . En , il a réalisé un triplé contre l'Espagne (3-2). En , il réalise un triplé contre le Liechtenstein, devenant ainsi le premier footballeur nord-irlandais à réaliser deux triplés sous le maillot vert et blanc. Quatre jours plus tard, il réalise un doublé contre la Suède (2-1).


title: David Healy (football)

text: Avec un inscrit contre le Danemark, il devient le meilleur buteur de l'Histoire des qualifications pour l'Euro. Le record était détenu jusque-là par le Croate Davor Šuker.


title: David Healy (football)

text: Linfield FC


title: Koishikawa

text: Ce quartier est desservi par train dans les gares :


title: Koishikawa

text: À l'emplacement de l'actuel Tokyo Dome et du jardin Koishikawa Kōraku-en, se trouvait autrefois l'arsenal de Koishikawa, un site militaire d'importance durant l'ère Meiji.


title: Koishikawa

text: Dans les jardins botaniques se trouvait "", un dispensaire pour les pauvres créé en 1722, fermé au cours de l'ère Meiji. Ce dispensaire est le lieu où pratiquait le médecin Ogawa Shosen, qui a inspiré le personnage du docteur Barberousse du livre de Shūgorō Yamamoto et du film de Akira Kurosawa. Le puits, seul vestige des installations de l'époque, a permis de sauver de nombreuses victimes du séisme de Kantō de 1923 par l'abondance et la qualité de son eau.


title: Ascenseur spatial lunaire

text: L'ascenseur spatial lunaire est analogue au plus connu ascenseur spatial terrestre. Au lieu d'être un câble suspendu au-dessus de la Terre avec son centre de gravité en orbite géostationnaire, il serait construit au-dessus de la Lune avec le même principe, fournissant un moyen d'accès entre la surface lunaire et son orbite.


title: Ascenseur spatial lunaire

text: L'ascenseur spatial lunaire réduirait massivement les coûts, par exemple en autorisant l'utilisation d'un moteur ionique qui ne pourrait autrement pas atterrir sur la Lune à cause de leur faible accélération. Puisque le câble aurait une partie en impesanteur, le moteur ionique et d'autres moteurs pourraient atteindre le câble depuis l'orbite terrestre basse (OTB) avec un minimum de carburant envoyé depuis la Terre. Avec des fusées conventionnelles, le carburant nécessaire pour atteindre la surface lunaire depuis l'OTB est de plusieurs fois la masse de la charge transportée (rapport de 1 à 100 environ), donc l'ascenseur réduirait encore les coûts.


title: Ascenseur spatial lunaire

text: Bien que théoriquement possible avec les matériaux actuels (alors que cela n'est pas encore possible avec les ascenseurs spatiaux terrestres), il n'y a rien d'exploitable actuellement sur la Lune qui justifie un tel projet : la seule ressource sélénite, l'hélium 3, est inutile actuellement, et ne sera éventuellement utile que dans un horizon prospectif, pour certaines centrales nucléaires à fusion.


title: Ascenseur spatial lunaire

text: Cette idée très séduisante n'est toutefois que peu réaliste car un ascenseur spatial est censé acheminer des charges d'un corps céleste (planète ou satellite) vers une orbite stationnaire (sélénostationnaire dans le cas de la Lune). Or les orbites sélénostationnaires sont rares et sont soit instables soit très éloignées de la Lune (point de Lagrange). Ainsi plusieurs solutions de mise en orbite lunaire depuis la Lune sont envisagées et privilégiées pour d'éventuelles bases lunaires dont le principe de catapulte électromagnétique.


title: Armand Zipfel

text: Armand Zipfel est un aviateur français, pionnier de la construction d'aéronefs, né à Albigny-sur-Saône le et décédé dans la même commune le . Moins célèbre que Gabriel et Charles Voisin qui passaient leurs vacances avec lui à Albigny au bord de la Saône, Armand Zipfel a néanmoins marqué l’histoire de l’aviation.


title: Armand Zipfel

text: Très tôt, il se lance avec ses amis dans la construction de canots et planeurs. Armand effectue ses premiers vols en planeur en 1906.


title: Armand Zipfel

text: En 1908, il construit un biplan dans les ateliers des frères Voisin à Villeurbanne. Le premier vol a lieu le sur l’hippodrome du Grand Camp à La Doua, près de Lyon. Le , il réussit quatre vols de 100 à , à plus de de hauteur. Les jours suivants, il améliore ses performances, parcourant un demi-cercle sur le , puis le 9 du même mois.


title: Armand Zipfel

text: Fin janvier 1909, Armand Zipfel se rend à Berlin avec son biplan. Il est le premier à y faire des démonstrations. Il réussit plusieurs vols devant un public enthousiaste sur le site du futur aéroport international Tempelhof, neuf mois avant Orville Wright. Les essais seront filmés par Oskar Messter.


title: Armand Zipfel

text: En août 1909, il est présent à la Grande semaine de l’aviation à Reims, premier meeting international de l’histoire, financé par les négociants en vin de Champagne. Louis Blériot, Louis Breguet, Glenn Curtiss, Henri Farman, Hubert Latham et Louis Paulhan sont les héros qu’il côtoie.


title: Armand Zipfel

text: Au cours de l’année 1909, Armand Zipfel poursuit ses démonstrations à l’étranger. En Turquie d’abord, puis au Portugal, sur l’hippodrome de Belém près de Lisbonne. Le , il réalise le premier vol de l’histoire portugaise, aux commandes de son biplan Voisin-Antoinette. Il n’arrive cependant pas à voler sur plus de à du sol.


title: Armand Zipfel

text: Devenu par la suite instructeur, Armand Zipfel a formé des centaines d’aviateurs dont Dieudonné Costes qui, avec Maurice Bellonte, traversera pour la première fois l’Atlantique d’est en ouest sans escale en 1930.


title: Armand Zipfel

text: À l’occasion du anniversaire du premier vol d’Armand Zipfel, une plaque commémorative a été apposée sur sa maison natale. Une rue porte son nom dans son village natal.


title: Courant communiste

text: Le Courant communiste était une organisation marxiste-léniniste armée active au Kurdistan irakien jusqu'en 1993.


title: Courant communiste

text: À l'origine, le Courant communiste est un partisan de l'Albanie d'Enver Hoxha, mais dès le milieu des années 1980 le Courant communiste se rapproche du Parti communiste d’Iran, très critique envers les pays communistes.


title: Courant communiste

text: En mars 1991, lors de l'attaque américaine contre l'Irak, le Courant communiste estime possible de renverser le régime de Saddam Hussein au Kurdistan. Prenant de vitesse les nationalistes kurdes, il prend l'initiative de l'insurrection à Souleimaniye. Ses groupes armés prennent d'assaut les bâtiments officiels et les bureaux du Parti Baas, avec un important soutien populaire. En même temps, il mène campagne pour la création de conseils ouvriers, qui prennent effectivement le pouvoir durant plusieurs semaines, et pour les revendications sociales (35 heures, augmentation de salaires, autogestion...). C'est le début de l'insurrection de 1991 au Kurdistan.


title: Courant communiste

text: En 1993, sous l'impulsion de l'iranien Mansoor Hekmat, le Courant communiste fusionne avec plusieurs autres groupes d'extrême-gauche irakiens pour devenir le Parti communiste-ouvrier d’Irak.


title: Blair House

text: Blair House est une résidence officielle située au 1651-1653 Pennsylvania Avenue Northwest, à Washington, D.C. aux États-Unis ; il s'agit de la résidence des invités officiels du président des États-Unis lors de leur séjour dans la capitale américaine. Elle est située face au Old Executive Office Building, presque à l'angle avec le parc Lafayette et la Maison-Blanche. Blair House, bâtie en 1824, est à l'origine la résidence de , le premier "Surgeon General of the United States Army" («chirurgien général de l'armée des États-Unis»). Francis Preston Blair, un éditeur de journaux qui était aussi un influent conseiller du président Andrew Jackson, fait l'acquisition de la maison en 1836. Après sa mort, elle est léguée à ses enfants. La famille Blair reste propriétaire de la maison pendant environ un siècle.


title: Blair House

text: En 1942, la maison est rachetée par le gouvernement américain et est depuis la résidence officielle pour les invités du Président des États-Unis. Blair House est alors utilisée pour héberger les chefs d'État ou des premiers ministres étrangers en visite d'État à Washington. Mais elle fut aussi utilisée pour des invités personnels du Président. Plusieurs présidents américains nouvellement élus y ont passé la nuit précédant le jour de leur inauguration. George W. Bush a invité Nancy Reagan à y résider lors des funérailles nationales de son mari, l'ancien président Ronald Reagan, mort en 2004. De même que Betty Ford y résida pour les funérailles de son mari et ancien président Gerald Ford en 2006.


title: Blair House

text: Durant la plus grande partie du second mandat de Harry Truman à la présidence, entre 1949 et 1951, Blair House sert de résidence provisoire au président des États-Unis, au même titre que la Maison-Blanche, dans laquelle se déroulent alors d'importants travaux de reconstruction intérieure, à la suite de défauts de structure qui avaient été détectés. Cependant la nouvelle Aile Ouest de la Maison-Blanche resta opérationnelle dans les travaux, obligeant Truman à traverser "Pennsylvania Avenue" chaque matin et après-midi pour se rendre au Bureau ovale.


title: Blair House

text: Blair House est le théâtre, le , d'une tentative d'assassinat ratée contre le Président Truman menée par les nationalistes portoricains Griselio Torresola et Oscar Collazo. L'agent de police de la Maison Blanche Leslie Coffelt abattra un des agresseurs avant d'être tué à son tour. Une plaque dans Blair House a été posée en sa mémoire.


title: Blair House

text: Blair House est constitué maintenant d'un complexe de quatre maisons de ville (dont la maison d'origine) communiquant entre elles. Dans les années 1980, d'importants travaux de restauration y eurent lieu, et on y ajouta une nouvelle aile à l'arrière de la résidence. Avec , la superficie de l'ensemble de ce complexe est désormais supérieure à celle de la Maison-Blanche. Il compte 119 pièces dont :


title: Blair House

text: Une maison adjacente, Trowbridge House, est en cours de rénovation pour servir de résidence aux anciens présidents lorsqu'ils séjourneront dans la capitale fédérale.


title: Blair House

text: Le chef du protocole des États-Unis est le responsable de Blair House.


title: Octonion déployé

text: En mathématiques, les octonions déployés ou octonions fendus sont une extension non associative des quaternions (ou des coquaternions). Ils diffèrent des octonions par la signature de la forme quadratique : les octonions déployés ont une signature mixte (4,4) alors que les octonions ont une signature définie positive (8,0).


title: Octonion déployé

text: Les octonions et les octonions déployés peuvent être obtenus par la en définissant une multiplication sur les paires de quaternions. Nous introduisons une nouvelle unité imaginaire ℓ et nous écrivons une paire de quaternions ("a", "b") sous la forme "a" + ℓ"b". Le produit est défini par la règle suivante : où Si formula_3 est choisi égal à - 1, nous obtenons les octonions. Si, à la place, il est choisi égal à + 1, nous obtenons les octonions déployés. On peut aussi obtenir les octonions déployés via un doublement de Cayley-Dickson des coquaternions. Ici, quel que soit le choix de formula_3 (±1), cela donnera les octonions déployés. Voir aussi les nombres complexes déployés en général.


title: Octonion déployé

text: Une base pour les octonions déployés est donnée par l'ensemble {1, "i", "j", "k", ℓ, ℓ"i", ℓ"j", ℓ"k"}. Chaque octonion déployé "x" peut être écrit comme une combinaison linéaire des éléments de la base,


title: Octonion déployé

text: avec des coefficients réels "x". Par linéarité, la multiplication des octonions déployés est complètement déterminée par la table de multiplication suivante :


title: Octonion déployé

text: Le "conjugué" d'un octonion déployé "x" est donné par comme pour les octonions. La forme quadratique (ou "norme carrée") sur "x" est donnée par Cette norme est la norme pseudo-euclidienne standard sur formula_8. En raison de la signature de fente, la norme "N" est isotropique, ce qui signifie qu'il existe des éléments "x" différents de zéro pour lesquels "N"("x") = 0. Un élément "x" possède un inverse (à deux faces) formula_9 si et seulement si "N"("x") ≠ 0. Dans ce cas, l'inverse est donné par


title: Octonion déployé

text: Les octonions déployés, comme les octonions, ne sont pas commutatifs ni associatifs. Comme les octonions, aussi, ils forment une algèbre de composition puisque la forme quadratique "N" est multiplicative. C’est-à-dire, Les octonions déployés satisfont les et ainsi forment une algèbre alternative. Par conséquent, par un théorème d'Artin, la sous-algèbre engendrée par deux éléments quelconques est associative. L'ensemble de tous les éléments inversibles (i.e. ces éléments pour lesquels "N"("x") ≠ 0) forment une boucle de Moufang.


title: Octonion déployé

text: Les octonions déployés sont de manière calculatoire, équivalents aux octonions hyperboliques.


title: Octonion déployé

text: Les octonions déployés sont utilisés dans la description d'une loi physique, e.g. en théorie des cordes. L'équation de Dirac en physique (l'équation de mouvement d'une particule de spin libre 1/2, comme un électron ou un proton) peut être exprimée avec l'arithmétique des octonions déployés (voir les références ci-dessous).


title: Octonion déployé

text: Puisque les octonions déployés ne sont pas associatifs, ils ne peuvent pas être représentés par les matrices ordinaires (la multiplication matricielle est toujours associative). Max Zorn a trouvé une manière de les représenter sous la forme de "matrices" contenant à la fois des scalaires et des vecteurs en utilisant une version modifiée de la multiplication matricielle. Plus précisément, définissons qu'une "matrice-vecteur" est une matrice 2 x 2 de la forme où "a" et "b" sont des nombres réels et v et w des vecteurs dans formula_13. Définissons la multiplication de ces matrices par la règle suivante où . est le produit scalaire et x le produit vectoriel ordinaire de 3 vecteurs. Avec l'addition et la multiplication scalaire définie comme d'habitude dans l'ensemble de toutes les matrices de cette sorte forme une algèbre à huit dimensions non associative unitaire sur les réels, appelée algèbre matricielle-vectorielle de Zorn.


title: Octonion déployé

text: Définissons le "déterminant" d'un matrice vecteur par la règle Ce déterminant est une forme quadratique de l'algèbre de Zorn qui satisfait la loi de composition :


title: Octonion déployé

text: L'algèbre matricielle-vectorielle de Zorn est, en fait, isomorphe à l'algèbre des octonions déployés. Écrivons un octonion "x" sous la forme où "a" et "b" sont des nombres réels, a et b sont des quaternions purs qui sont vus comme des vecteurs dans formula_13. L'isomorphisme des octonions déployés vers l'algèbre de Zorn est donné par Cet isomorphisme préserve la norme puisque formula_20.


title: Salut fasciste

text: Le salut fasciste est un salut exécuté par le bras et la main droite tendus, qui serait semblable au salut romain. Signe de ralliement du fascisme italien, il fut ensuite adopté par le Parti national-socialiste des travailleurs allemands (NSDAP) d'Adolf Hitler, ce qui lui vaut d'être désormais fortement associé au nazisme. Il est, par conséquent, souvent désigné sous les noms restrictifs de salut nazi ou salut hitlérien. En Allemagne, l'usage du salut était fréquemment accompagné de la formule « ' » (« ' » signifiant « salut à » en allemand ; soit « Salut à Hitler », « Hommage à Hitler » ou, en substance, « Vive Hitler »). Le salut connaissait également, en Allemagne, une variante exécutée avec le bras replié et non tendu, d'ailleurs habituellement pratiquée par Hitler lui-même.


title: Salut fasciste

text: Le salut demeure utilisé par certains groupes néonazis ou, notamment en Italie, néofascistes.


title: Salut fasciste

text: Le film muet italien "Cabiria" (1914), un des premiers péplum de l'histoire du cinéma, est conçu sur un scénario (et avec des intertitres) de Gabriele D'Annunzio (1863-1938), un précurseur du fascisme, qui a contribué à réhabiliter un décorum paramilitaire lors de l'expédition de Fiume (1919-1920) : chemises noires, cri de ralliement, salut romain, culte de l'héroïsme, etc.


title: Salut fasciste

text: Par des raisons obscures, le salut exécuté par le bras et la main droite tendus, est repris par les fascistes italiens, vers 1920. Le salut pourrait aussi avoir des origines militaires, indiquant une marque de respect entre un soldat et son supérieur hiérarchique.


title: Salut fasciste

text: À titre anecdotique, la délégation française a été très applaudie lors du défilé d'ouverture des Jeux olympiques de 1936 à Berlin, les spectateurs prenant le salut olympique pour un salut nazi et donc pour un hommage au Führer (Adolf Hitler).


title: Salut fasciste

text: Il fut aussi pratiqué par les "Arditi" de Gabriele D'Annunzio durant l'épisode de la Régence italienne du Carnaro, en référence à l'Empire romain. Il fut ensuite adopté par le Parti national fasciste de Benito Mussolini, puis repris par l'ensemble des mouvements européens d'inspiration fasciste, comme la Phalange espagnole, la Garde de fer et le NSDAP. Sous le Troisième Reich, il était l'un des signes les plus évidents du culte de la personnalité rendu au dictateur allemand. D'après l'encyclopédie Brockhaus, les historiens nazis estimaient que certains rois du Moyen Âge étaient salués avec des gestes similaires.


title: Salut fasciste

text: Le salut fasciste diffère du salut nazi. Pour les fascistes italiens et les franquistes, le bras est levé plus haut et le pouce est écarté des autres doigts.


title: Salut fasciste

text: À compter de 1938, le régime de Mussolini tenta, sans grand succès, d'imposer le salut fasciste au-delà de la sphère étatique et militante, en rendant le salut bras tendu obligatoire pour tous les Italiens en lieu et place de la poignée de main.


title: Salut fasciste

text: En Espagne, sous le régime de Francisco Franco, le salut fut utilisé en tant que "salut franquiste" par les sympathisants du régime issus notamment de la Phalange espagnole, mais devint progressivement obsolète.


title: Salut fasciste

text: En France, sous le régime de Vichy, les membres de la légion des volontaires français contre le bolchevisme (LVF) et les Waffen-SS français de la division Charlemagne utilisaient aussi ce salut. Le salut fasciste a été utilisé aussi par des collaborationnistes dans certaines manifestations publiques du régime. Il était également utilisé par les élèves des Chantiers de la jeunesse française (CJF).


title: Salut fasciste

text: En Allemagne, le salut hitlérien est considéré par les nazis comme « le » salut allemand, et donc dans certaines villes, il sera interdit aux Juifs, comme à Gotha en 1933 :


title: Salut fasciste

text: La direction du parti nazi de la ville et du district de Gotha a publié l'avis suivant : “Il a été soulevé à plusieurs reprises de savoir si les Juifs devaient aussi rendre le salut allemand [hitlérien]. Afin de faire cesser dans l'avenir tout malentendu, nous affirmons par la présente que le salut allemand est un salut des Allemands qui est non seulement pas exigé des Juifs, mais de plus non désiré d'eux. Aussi la population est sollicitée à laisser tranquilles les Juifs qui n'effectueraient pas le salut allemand”. La "Wehrmacht" refuse d'adopter le salut hitlérien. Il ne lui est d'abord imposé à partir du 19 septembre 1933 qu'en chantant le "Horst-Wessel-Lied" et l'hymne national, et lors de rencontres non-militaires dans et en dehors de la "Wehrmacht" (par exemple avec des membres du gouvernement). Cependant, le salut traditionnel n'était autorisé par le protocole de la "Reichswehr" et de la "Wehrmacht" que si la personne qui salue porte un couvre-chef réglementaire. Le salut hitlérien est donc utilisé pour tous les saluts à tête découverte, le rendant de fait obligatoire dans la plupart des situations. Il est imposé à l'armée le 24 juillet 1944, quelques jours après le complot du 20 juillet 1944.


title: Salut fasciste

text: Selon Ian Kershaw, dans sa biographie d'Hitler, le « ' » du salut et le titre de « ' » viendraient de Georg Ritter von Schönerer, violent antisémite viennois de la fin du . Ce cri était utilisé par les partisans de ce nationaliste virulent qui inspira, en partie, l'idéologie du futur dirigeant nazi.


title: Salut fasciste

text: Le cri ' (« Salut à la victoire », « ' » signifiant « victoire », et « "" » signifiant « salut » dans le sens du salut de l’âme) accompagnait souvent le salut hitlérien. Après le complot du 20 juillet 1944, il est devenu obligatoire de le prononcer à tous les rassemblements militaires.


title: Salut fasciste

text: Enfin, ou d'abord, l'opéra "Lohengrin" (1845-1848, créé en 1850), de Richard Wagner, débute par « Heil, König Heinrich ! », à l'époque du Printemps des peuples.


title: Salut fasciste

text: L'emploi satirique de ce salut dans la lutte contre le nazisme est antérieure à 1933. L'artiste John Heartfield a réalisé un photomontage montrant Hitler en train de saluer les financiers internationaux. Dans "Le Dictateur" de Charlie Chaplin, le personnage hitlérien entraîne plusieurs fois le chaos en tentant de faire le salut. D'autres scènes satiriques sont incluses dans "Stalag 17", "Docteur Folamour", "Papy fait de la résistance" et "L'Hôtel en folie".


title: Salut fasciste

text: Le film d'Ernst Lubitsch "To Be or Not to Be" utilise également le salut de manière satirique, lorsqu'un acteur résistant qui se fait passer pour le dictateur répond aux ovations de ses partisans, sur un ton désabusé : ""


title: Salut fasciste

text: Le salut nazi est interdit en Allemagne par la loi fondamentale, et en Autriche par la constitution et par le (loi d'interdiction de 1947). .


title: Salut fasciste

text: En France, le salut fasciste n'est pas directement interdit, à l'inverse des uniformes ou insignes nazis, qui le sont par l'article R645-1 du Code pénal. Dans les faits il peut être considéré comme une incitation à la haine raciale. Il est interdit dans un stade, par l'article L332-7 du Code du sport.


title: Salut fasciste

text: En Italie, le salut fasciste est encore couramment utilisé par des organisations néofascistes comme Forza nuova, CasaPound (de même que Blocco Studentesco) ou encore Fratelli d'Italia mais la loi Scelba 645 de 1952, notamment l'article 5, condamne les manifestations fascistes et l'utilisation de gestuelles nazies et de la république sociale italienne ainsi que de l'Italie fasciste en général. Le , la cour de cassation milanaise a délibéré que le salut fasciste n'est pas condamnable dans la situation où le geste se fait dans un contexte non-violent et commémoratif. Il s'agit alors d'une manifestation idéologique. C'est à la suite de la manifestation organisée par le parti Fratelli d'Italia en 2014 que deux militants de CasaPound ont été poursuivis pour apologie du fascisme, ils ont été disculpés à la suite de la décision. Proche du salut fasciste, le salut bras droit replié puis tendu sur le côté fut choisi par Pierre de Coubertin comme "salut olympique" pour les athlètes des Jeux olympiques à partir des Jeux d'Anvers en Belgique en 1920, date où il est adopté par les athlètes du groupe sportif de l'armée française, le bataillon de Joinville, et connu alors aussi sous le nom de "salut de Joinville".


title: Salut fasciste

text: Le , la commission exécutive du Comité international olympique (CIO), à la demande de M. Poplimont, du comité olympique belge, décide que le salut olympique, lors des manifestations d’ouverture des Jeux (1924, 1928, 1932, 1936), est changé . En raison de sa ressemblance au salut nazi, le salut olympique est donc abandonné après la Seconde Guerre mondiale.


title: Salut fasciste

text: Aux États-Unis, dès 1892, le salut de Bellamy accompagne le serment d'allégeance au drapeau des États-Unis. En 1942, en raison de sa proximité avec le salut hitlérien, il est remplacé par le président Franklin Roosevelt par le nouveau salut, la main posée sur le cœur, par amendement du "Flag Code" le , par le Congrès américain .


title: Logique de Hoare

text: La logique de Hoare, parfois appelée logique de Floyd-Hoare, est une méthode formelle définie par le chercheur en informatique britannique Tony Hoare dans un article de 1969 intitulé "". La méthode de Hoare met en place un formalisme logique permettant de raisonner sur la correction des programmes informatiques. Elle est "fondée sur la syntaxe" en ce sens que la correction d'un programme est décrite et démontrée par induction (récurrence) sur la structure du programme : à chaque règle syntaxique de construction d'un programme correspond une règle de la logique de Hoare. Elle a deux utilisations : fournir un outil de vérification formelle des programmes sans les exécuter (analyse statique), décrire rigoureusement la sémantique des langages de programmation (sémantique axiomatique).


title: Logique de Hoare

text: La logique de Hoare a des axiomes pour toutes les instructions de base d'un langage de programmation impératif et des règles d'inférence pour les compositions d'instructions comme le "si ... alors ... sinon ..." ou le "tant que". Hoare ajoute dans son article originel des règles pour les procédures, les sauts, les pointeurs et la concurrence.


title: Logique de Hoare

text: Hoare s'est inspiré du travail sur les méthodes formelles dans les organigrammes de Robert Floyd, qui lui n'avait pas eu connaissance des travaux d'Alan Turing sur le sujet.


title: Logique de Hoare

text: La logique de Hoare permet de dire comment une portion de code fait évoluer l'état d'un système. Il n'y a pas de liaison précise entre l'état antérieur et l'état postérieur, mais une simple description de l'ensemble des états antérieurs et des états postérieurs, par des prédicats. Cette intuition de transformateur de prédicats est formalisée par la notion de triplet de Hoare : formula_1 où P et Q sont des prédicats et C est un programme.


title: Logique de Hoare

text: Le prédicat P, nommé "précondition", décrit l'ensemble des états en entrée de la portion de programme C, tandis que le prédicat Q, nommé "postcondition", caractérise un ensemble d'états après transformation par le code C.


title: Logique de Hoare

text: La "logique de Hoare" fournit alors un ensemble de règles pour raisonner sur les triplets de Hoare, il s'agit donc d'un ensemble de règles de déduction constituant un système logique. Ces règles permettent donc de répondre à la question informelle suivante : "« Si je connais les évolutions de l'état sur des petits bouts de code, que puis-je dire sur les évolutions réalisées par des codes plus grands qui utilisent ces petits bouts de codes ? »".


title: Logique de Hoare

text: Les axiomes et règles d'inférence sont des critères syntaxiques permettant d'établir les triplets de Hoare. Elles sont définies pour chaque instruction du langage, à l'exception de la règle de la conséquence (ou de l'affaiblissement) définie indépendamment des instructions du langage.


title: Logique de Hoare

text: L'affectation est l'instruction formula_2, associant à la variable x la valeur de l'expression E.


title: Logique de Hoare

text: Ici, formula_3 désigne l'expression "P" dans laquelle les occurrences de la variable "x" ont été remplacées par l'expression "E". Par exemple, si formula_4, formula_5. Ce remplacement est syntaxique, il faut utiliser la règle de la conséquence ensuite pour considérer formula_6 au lieu de formula_7. La règle d'affectation signifie alors que formula_8 sera vrai si et seulement si formula_9 l'est après l'affectation.


title: Logique de Hoare

text: Quelques triplets respectant l'axiome de l'affectation :L'axiome de l'affectation ne s'applique pas lorsque plusieurs noms de variables se réfèrent à la même valeur stockée en mémoire. Par exemple,


title: Logique de Hoare

text: n'est un triplet valide que si "x" et "y" ne sont pas 2 références pour la même variable (phénomène d').


title: Logique de Hoare

text: La règle de composition s'applique pour les programmes "S" et "T" s'ils sont exécutés séquentiellement, où "S" s'exécute avant "T". Le programme issu de cette exécution est noté "S;T".


title: Logique de Hoare

text: par exemple, si l'on considère les deux triplets suivants,


title: Logique de Hoare

text: la règle de composition nous permet de conclure :


title: Logique de Hoare

text: La règle de la conditionnelle permet de combiner deux programmes dans un bloc si...fin\ si, lorsque les conditions le permettent. Cette règle s'applique lorsqu'une postcondition formula_16 est commune aux programmes. Dans ce cas, formula_16 est la postcondition de l'ensemble du bloc conditionnel si...fin\ si.


title: Logique de Hoare

text: Les règles d'inférence étant syntaxiques, elles ne s'appliquent pas si les propriétés écrites ne sont pas exactement identiques. Par exemple, formula_18 et formula_19 ne sont pas syntaxiquement identiques mais seulement équivalentes. De plus, ces règles ne s'appliquent pas non plus si les propriétés écrites sont des conséquences des propriétés déduites, par exemple si formula_20 a été déduit, vouloir vérifier que formula_21 n'est a priori pas possible. La règle de la conséquence permet ainsi d'affaiblir les pré-conditions et post-conditions en les remplaçant par des conséquences logiques.


title: Logique de Hoare

text: Cette règle signifie que pour établir le triplet formula_22, il suffit d'établir à la place le triplet formula_23 où P' est une conséquence de P et Q est une conséquence de Q'. Il est à noter que dans la preuve automatique de programmes, ce seront les implications les plus dures à prouver issues de l'application de cette règle qu'il restera à faire manuellement à la fin.


title: Logique de Hoare

text: où "I" est l'invariant. On le qualifie alors d"'invariant de boucle".


title: Logique de Hoare

text: À noter que cette règle là n'assure pas la terminaison de la boucle, mais assure seulement que la post-condition soit vérifiée une fois la boucle terminée (si elle termine).


title: Logique de Hoare

text: Nos règles de déductions permettent d'établir de manière syntaxique un triplet de Hoare de la forme formula_1. Il est à présent nécessaire de faire un lien formel avec l'intuition initiale : le programme C doit mener un état satisfaisant P vers un état satisfaisant Q. Il nous faut pour cela supposer que notre langage de programmation est équipé d'une sémantique opérationnelle, ou dénotationnelle, que l'on notera formula_25. On obtient ainsi un lien entre un système de déduction défini sur la syntaxe des programmes d'un langage et la sémantique de ce langage.


title: Logique de Hoare

text: La validité sémantique d'un triplet, notée formula_26, formalise l'intuition initiale vis-à-vis de la sémantique opérationnelle ou dénotationnelle : des états formula_27 satisfaisant P terminent dans des états formula_28satisfaisant Q après exécution de C.


title: Logique de Hoare

text: Soit formellement :


title: Logique de Hoare

text: La correction de la logique de Hoare établit la validité de l'interprétation sémantique de tout triplet de Hoare dérivable dans le système de déduction. Soit formellement : formula_29.


title: Logique de Hoare

text: La correction s'établit en prouvant la correction de chaque règle de déduction du système. La preuve procède donc par induction sur le jugement formula_30. Le cas le plus délicat est celui de la boucle "tant que" : il nécessite lui-même une récurrence sur le nombre de tour de boucles effectués pour terminer.


title: Logique de Hoare

text: La complétude de la logique de Hoare est le pendant inverse : tout triplet de Hoare valide vis-à-vis de la sémantique opérationnelle ou dénotationnelle de référence peut être dérivée dans le système de déduction. Soit formellement : formula_31.


title: Logique de Hoare

text: Établir la complétude nécessite plus de travail, en deux phases essentielles.


title: Logique de Hoare

text: La définition de la notion de plus faible précondition : étant donné une postcondition Q et un programme C, on cherche à établir le plus grand ensemble d'états de départ licites pour que l'exécution de C mène à des états inclus dans Q. Cette procédure est définie par induction sur le système de preuve.


title: Logique de Hoare

text: Reste alors à prouver que le langage d'assertion considéré est suffisamment expressif pour que tout ensemble calculé par ce procédé de plus faible précondition corresponde effectivement à l'interprétation d'une formule de ce langage d'expression. Ce lemme s'établit lui-même par induction structurelle sur C.


title: Logique de Hoare

text: La notion de correction introduite jusqu'à présent est dite partielle : elle impose la validité de la postcondition Q pour tout état atteint lorsque le programme C termine. Remarquons néanmoins que le triplet suivant est donc valide : formula_32. En effet on demande à tout état atteint de satisfaire le prédicat "faux", mais aucune exécution ne termine : c'est donc vrai par vacuité.


title: Logique de Hoare

text: La notion de correction totale permet de pallier ce défaut : elle impose également la terminaison. Soit formellement :


title: Logique de Hoare

text: Mais la logique de Hoare présentée précédemment n'est pas correcte vis-à-vis de cette interprétation : la règle de déduction de la boucle "tant que" n'impose pas sa terminaison. Elle doit donc être enrichie avec la notion de variant : une fonction des états dans un ensemble bien fondé dont la valeur décroit strictement à chaque tour de boucle. L'absence de chaîne infinie décroissante garantit donc la terminaison du programme.


title: Logique de Hoare

text: L'ouvrage en ligne Software Foundations explique comment utiliser la logique de Hoare en COQ, dans deux chapitres :