title: Sya Plaucoste

text: Sya Plaucoste passe 3 ans au Pôle France de basket à l'INSEP, de 2016 à 2019. Il a notamment évolué avec le Centre fédéral lors de sa dernière saison à l'INSEP, compilant 2,7 points, 1,2 rebond en 9 minutes de jeu en moyenne.


title: Sya Plaucoste

text: À l'issue de ces 3 années, il signe 2 ans en tant qu'aspirant stagiaire dans l'équipe de l'ADA Blois Basket 41, avec laquelle il découvre le championnat de France de Pro B, deuxième division française, mais joue surtout en Nationale 3, division dans laquelle évolue l'équipe réserve.


title: Sya Plaucoste

text: Le , il est sélectionné avec l'équipe de France 3×3 U18 avec laquelle il remporte la médaille d'argent aux championnats d'Europe en Géorgie, s'inclinant en finale contre la Lituanie (14-21). Il se distingue en étant le deuxième meilleur marqueur de la compétition et en étant sélectionné dans l'équipe-type de celle-ci.


title: Sya Plaucoste

text: Le , Sya Plaucoste est sélectionné pour participer au concours de dunk du All-Star Game LNB à l'AccorHotel Arena, profitant de plusieurs forfaits. Il termine à la du concours (et donc la dernière) remporté par D.J. Stephens et réussit notamment un 360 degrés. Cette participation au concours de dunk fait de Sya Plaucoste le de l'ADA Blois Basket 41 au All-Star Game LNB.


title: Koro (Guiaro)

text: Koro est une commune rurale située dans le département de Guiaro de la province du Nahouri dans la région du Centre-Sud au Burkina Faso.


title: Koro (Guiaro)

text: Koro est situé à au nord-est de Guiaro.


title: Koro (Guiaro)

text: Koro accueille un centre de santé et de promotion sociale (CSPS).


title: Daniel Vallverdu

text: Daniel « Dani » Vallverdu, né le à Valencia, est un joueur puis entraîneur de tennis vénézuélien.


title: Daniel Vallverdu

text: Il fait la connaissance d'Andy Murray alors qu'il s'entraîne à l'académie Sánchez-Casal à Barcelone. Il devient son ami et son partenaire de double sur certains tournois junior. Vallverdu a connu une brève carrière de joueur, notamment marquée par huit sélections en Coupe Davis. Il dispute avec Murray le tournoi du Queen's en double en 2008. Après des études à l'université de Miami, il devient en 2010 son sparring-partner ainsi que son entraîneur-adjoint. En 2012, il est entraîneur de l'équipe de Grande Bretagne de tennis lors des Jeux olympiques de Londres. Leur association dure jusqu'en 2014. Ils ont remporté ensemble deux tournois du Grand Chelem et une médaille d'or olympique.


title: Daniel Vallverdu

text: Il entraîne Tomáš Berdych à partir de la saison 2015 jusqu'en . Il devient peu après l'entraîneur de Grigor Dimitrov. Ce dernier parvient à remporter son premier Masters 1000 ainsi que l'ATP Masters Finals en 2017. Ils cessent leur collaboration en .


title: Daniel Vallverdu

text: En 2019, il travaille quelques mois avec Stanislas Wawrinka et Juan Martín del Potro avant d'être engagé par Karolína Plíšková pour la saison 2020.


title: Daniel Vallverdu

text: Il est représentant des entraîneurs au conseil des joueurs de l'ATP depuis avant de donner sa démission en en même temps que d'autres joueurs, sur fond de crise interne.


title: FOO

text: FOO est un sigle qui peut désigner :


title: For Love Alone

text: For Love Alone est un roman de l'écrivaine australienne Christina Stead publié par Harcourt Brace en 1944.


title: For Love Alone

text: Situé à Sydney et à Londres dans les années 1930, le roman raconte l'histoire d'une jeune femme intelligente et déterminée nommée Teresa Hawkins ainsi que sa quête à la recherche de l'amour idéal. La protagoniste suit l'indigne Jonathan Crow à Londres et découvre la corruption et le superficiel égoïste de ce dernier. Par la suite, prise sous l'aile d'un homme plus âgé nommé James Quick, elle découvre un sens renouvelé de l'amour et la compassion.


title: For Love Alone

text: Lors de la relecture du roman au cours de sa réédition en 1970, WS Ramson le compara à "Lucinda Brayford", un roman de Martin Boyd, qui fut également réédité à cette époque. Il exprima : « "For Love Alone" est d'un style aussi différent et unique que possible. Il est féminin, intuitif, presque claustrophobe dans son intensité et son introspectivité, mais également impérieux plutôt que magistral dans son assurance. L'auteur, Stead, s'inquiète de ce que son personnage examine et analyse. Elle explore un monde qui, tout en se pliant sous le poids de son examen, devient tendu et déformé dans une nouvelle perspective étroitement contrôlée ».


title: For Love Alone

text: Le roman a été adapté en film ayant le même nom en 1986. L'adaptation a été écrite et dirigée par Stephen Wallace et comprenait Helen Buday, Sam Neill et Hugo Weaving .


title: Archidiocèse de Kansas City

text: L'archidiocèse de Kansas City ("Archidioecesis Kansanopolitana") est un siège métropolitain de l'Église catholique aux États-Unis sis à Kansas City dans le Kansas. En 2016, il comptait 219.236 baptisés pour 1.357.512 habitants. Il est tenu par Joseph Naumann.


title: Archidiocèse de Kansas City

text: L'archidiocèse comprend 21 comtés de la partie nord-orientale du Kansas : Anderson, Atchison, Brown, Coffey, Doniphan, Douglas, Franklin, Jackson, Jefferson, Johnson, Leavenworth, Linn, Lyon, Marshall, Miami, Nemaha, Osage, Pottawatomie, Shawnee, Wabaunsee et Wyandotte.


title: Archidiocèse de Kansas City

text: Le siège archiépiscopal est à Kansas City, où se trouve la cathédrale Saint-Pierre ("St. Peter").


title: Archidiocèse de Kansas City

text: Le territoire s'étend sur 32.425 km² et il est subdivisé en 105 paroisses.


title: Archidiocèse de Kansas City

text: La province ecclésiastique de Kansas City, instituée en 1952, comprend les diocèses suffragants suivants :


title: Archidiocèse de Kansas City

text: Le vicariat apostolique du Territoire indien à l'Est des Montagnes Rocheuses fut érigé le 19 juillet 1850 par le bref apostolique "Postulat apostolici" de Pie IX, recevant son territoire du diocèse de Saint-Louis (aujourd'hui archidiocèse). Le vicariat apostolique comprenait le Kansas, le Nebraska, le Dakota du Nord et du Sud, le Colorado, le Wyoming et le Montana, un territoire allant du Missouri aux Montagnes Rocheuses et du Texas à la frontière canadienne. Le missionnaire jésuite français Jean-Baptiste Miège en est le premier vicaire apostolique.


title: Archidiocèse de Kansas City

text: Le 6 janvier 1857, une partie de son territoire en est séparé pour la création du vicariat apostolique du Nebraska (aujourd'hui archidiocèse d'Omaha). Celui-ci devient le 'vicariat apostolique du Kansas'.


title: Archidiocèse de Kansas City

text: Le 22 mai 1877, le vicariat apostolique est élevé en diocèse , assumant le nom de diocèse de Leavenworth par le bref "Expositum est nobis" de Pie IX. Le diocèse est alors suffragant de l'archidiocèse di Saint-Louis.


title: Archidiocèse de Kansas City

text: Le 2 août 1887, il cède des portions de territoire à l'avantage des nouveaux diocèses de Concordia (aujourd'hui diocèse de Salina) et de Wichita.


title: Archidiocèse de Kansas City

text: Le 29 mai 1891, le siège épiscopal est transféré de Leavenworth à Kansas City par le bref "Quae rei sacrae" de Léon XIII. Un document de la "Propaganda Fide" du 4 mars 1897 spécifie que le changement du siège ne doit pas modifier le nom du diocèse.


title: Archidiocèse de Kansas City

text: Le 1er juillet 1897, il cède une autre portion territoriale pour l'agrandissement du diocèse de Concordia.


title: Archidiocèse de Kansas City

text: Le 10 mai 1947, il prend le nom de diocèse de Kansas City.


title: Archidiocèse de Kansas City

text: Le 9 août 1952, il est élevé au rang d'archidiocèse métropolitain par la bulle pontificale "Grave sane officium" de Pie XII.


title: Bétaré

text: Bétaré est une commune rurale située dans le département de Guiaro de la province du Nahouri dans la région Centre-Sud au Burkina Faso.


title: Bétaré

text: Bétaré est situé à au nord de Guiaro et à l'est de Koro.


title: Bétaré

text: Le centre de soins le plus proche de Bétaré est le centre de santé et de promotion sociale (CSPS) de Koro.


title: Nikouem

text: Nikouem est une commune rurale située dans le département de Guiaro de la province du Nahouri dans la région du Centre-Sud au Burkina Faso.


title: Nikouem

text: Nikouem est situé à au Nord de Guiaro.


title: Nikouem

text: Le centre de soins le plus proche de Nikouem est le centre de santé et de promotion sociale (CSPS) de Guiaro.


title: Kana (Guiaro)

text: Kana est une commune rurale située dans le département de Guiaro de la province du Nahouri dans la région du Centre-Sud au Burkina Faso.


title: Kana (Guiaro)

text: Kana est situé à au nord de Guiaro.


title: Kana (Guiaro)

text: Le centre de soins le plus proche de Kana est le centre de santé et de promotion sociale (CSPS) de Guiaro.


title: Fot

text: FOT est un sigle qui peut désigner :


title: Fot

text: Fót est un nom qui peut désigner :


title: Sarro

text: Sarro est une commune rurale située dans le département de Guiaro de la province du Nahouri dans la région du Centre-Sud au Burkina Faso.


title: Sarro

text: Sarro est situé à au sud-est de Guiaro sur la route régionale 15 allant vers Pô.


title: Sarro

text: Le centre de soins le plus proche de Sarro est le centre de santé et de promotion sociale (CSPS) de Guiaro.


title: Mont Miller

text: Le mont Miller est un sommet du chaînon de la Reine-Elizabeth, et le point culminant du chaînon Holland, en Antarctique. Il s'élève à d'altitude.


title: Mont Miller

text: Il est découvert et nommé par l'expédition Nimrod (1907-1909).


title: Anyarit Pitakkul

text: Anyarit Pitakkul (thaï : อัญญาฤทธิ์ พิทักษ์ติกุล ou ตรีวรัตถ์ ชุติวัฒน์ขจรชัย), surnommé Ket (ชื่อเล่น : เกตต์), né le à Bangkok, est un acteur thaïlandais, spécialiste dans le doublage des voix de dessins animés.


title: Camille Cheng

text: Li Mei "Camille Lily" Cheng, née le à Hong Kong, est une nageuse hongkongaise spécialiste de la nage libre.


title: Camille Cheng

text: Née à Hong Kong d'un père taïwanais et d'une mère française, elle fréquente le Lycée français international Victor-Segalen, avant de déménager à Pékin à la suite de la mutation de son père et d'intégrer l'École internationale de Pékin adolescente. Elle parle anglais, mandarin et français.


title: Camille Cheng

text: En 2011, elle intègre l'Université de Californie à Berkeley et y débute un diplôme en psychologie. Camille Cheng intègre l'équipe de natation de l'université et en est la co-capitaine durant l'année scolaire 2014-15. Elle obtient son diplôme en 2015.


title: Camille Cheng

text: En 2014, à ses premiers Jeux asiatiques à Incheon, elle rafle le bronze avec le relais nage libre et avec le relais nage libre.


title: Camille Cheng

text: Lors des Championnats nationaux américains, elle réalise de temps 'A' demandé pour se qualifier pour les Jeux sur le nage libre ainsi que le temps 'B' sur le et le nage libre. Sélectionnée pour les Jeux olympiques d'été de 2016, elle nage le , le et le nage libre ainsi que le 4 nages. Sur le nage libre, elle termine sixième de sa série en 25 s 92 et finit sur 89 concurrentes avant de nager le nage libre en 54 s 92 (troisième de sa série) et de terminer sur 46. Au nage libre, elle nage en 1 min 59 s 71 et termine sur 42 nageuses engagées. Également membre du relais 4 nages avec Stephanie Au, Yvette Kong et Sze Hang Yu, l'équipe termine dernière de sa série en 4 min 03 s 85.


title: Camille Cheng

text: Aux Jeux asiatiques de 2018, Camille Cheng est membre du relais nage libre qui se nage le 19 août. Avec Stephanie Au, Tam Hoi-lam et Sze Hang Yu, elle remporte la médaille de bronze en 3 min 41 s 21 derrière les Japonaise (3 min 36 s 52) et les Chinoises (3 min 36 s 78). Le relais 4 nages composé de Cheng, Stephanie Au, Jamie Yeung et Chan Kin-lok termine quatrième de la course. Quelques minutes après la fin de la course, l'équipe Chinoise puis Sud-Coréenne, alors deux et troisième, sont disqualifiées pour prise de relais trop rapide. Le relais Hongkongais monte finalement sur le deuxième marche du podium. Aussi membre du dernier relais féminin hongkongais de la compétition, le nage libre, avec Ho Nam Wai, Katii Tang et Sze Hang Yu, ce dernier remporte une nouvelle médaille de bronze en 8 min 07 s 17 derrière les Chinoises (7 min 48 s 61) et les Japonaises (7 min 53 s 83).


title: Camille Cheng

text: En juillet 2019, elle est membre du relais nage libre lors des Championnats du monde qui termine . Le 16 août 2019, à la FINA World Cup de Singapour, elle termine du nage libre en 55 s 67 derrière la Suédoise Michelle Coleman et devant l'Australienne Holly Barratt.


title: Boassan

text: Boassan est une commune rurale située dans le département de Guiaro de la province du Nahouri dans la région du Centre-Sud au Burkina Faso.


title: Boassan

text: Boassan est situé à au Sud de Guiaro sur la route régionale 15 allant vers Pô.


title: Boassan

text: Le centre de soins le plus proche de Boassan est le centre de santé et de promotion sociale (CSPS) de Guiaro.


title: Flat Top (Antarctique)

text: Le Flat Top est le point culminant du chaînon Commonwealth, lui-même situé dans la chaîne de la Reine-Maud en Antarctique.


title: Flat Top (Antarctique)

text: Il est nommé par l'expédition Terra Nova (1910-1913).


title: Koumbili

text: Koumbili est une commune rurale située dans le département de Guiaro de la province du Nahouri dans la région du Centre-Sud au Burkina Faso.


title: Koumbili

text: Situé à au Sud-Ouest de Guiaro sur la route régionale 15 allant vers Pô, Koumbili est la commune la plus importante du département de par sa population.


title: Koumbili

text: Le centre de soins le plus proche de Koumbili est le centre de santé et de promotion sociale (CSPS) de Guiaro.


title: Poré (Guiaro)

text: Poré est une commune rurale située dans le département de Guiaro de la province du Nahouri dans la région du Centre-Sud au Burkina Faso.


title: Poré (Guiaro)

text: Poré est situé à à l'ouest de Guiaro.


title: Poré (Guiaro)

text: Le centre de soins le plus proche de Poré est le centre de santé et de promotion sociale (CSPS) de Boala.


title: Sia (Guiaro)

text: Sia est une commune rurale située dans le département de Guiaro de la province du Nahouri dans la région du Centre-Sud au Burkina Faso.


title: Sia (Guiaro)

text: Isolé dans le département, Sia est situé à environ au Sud-Ouest de Guiaro.


title: Sia (Guiaro)

text: Sia accueille un dispensaire isolé tandis que le centre de soins le plus proche est le centre de santé et de promotion sociale (CSPS) de Boala.


title: Poré

text: Poré peut désigner :


title: Natiédougou

text: Natiédougou est une commune rurale située dans le département de Guiaro de la province du Nahouri dans la région du Centre-Sud au Burkina Faso.


title: Natiédougou

text: Isolé dans le département, Natiédougou est situé à environ au sud-ouest de Guiaro.


title: Natiédougou

text: Le centre de soins le plus proche de Natiédougou est le centre de santé et de promotion sociale (CSPS) de Boala.


title: Kountioro

text: Kountioro est une commune rurale située dans le département de Guiaro de la province du Nahouri dans la région du Centre-Sud au Burkina Faso.


title: Kountioro

text: Isolé dans le département, Kountioro est situé à environ au Sud-Ouest de Guiaro.


title: Kountioro

text: Le centre de soins le plus proche de Kountioro est le centre de santé et de promotion sociale (CSPS) de Boala.


title: Élections législatives géorgiennes de 2020

text: Les élections législatives géorgiennes de 2020 (en géorgien, ) ont lieu les et afin de renouveler pour quatre ans les membres du Parlement géorgien.


text: Le scrutin a lieu dans le contexte d'importantes manifestations antigouvernementales ayant abouti après plusieurs mois de négociations et une médiation internationale au changement anticipé du système électoral.


text: Le système électoral utilisé pour élire la législature de 2020 est issu d'une nouvelle loi électorale approuvée en commission parlementaire le et votée en séance plénière le suivant, après le vote des modifications constitutionnelles nécessaires le . Le Parlement unicaméral de Géorgie est composé de pourvus pour quatre ans selon un mode de scrutin parallèle, dont les modalités ont cependant été modifiées à cette occasion. Sont ainsi à pourvoir au scrutin uninominal majoritaire à deux tours dans autant de circonscriptions électorales. Les candidats arrivés en tête au premier tour sont élus s'ils obtiennent la majorité absolue. À défaut, un second tour est organisé entre les deux candidats arrivés en tête, et celui recueillant le plus de voix est élu. À ces sièges majoritaires se rajoutent pourvus au scrutin proportionnel plurinominal de listes fermées dans une unique circonscription nationale, avec un seuil électoral de 1 %. Une clause du projet de loi électorale empêche par ailleurs un parti d'obtenir seul la majorité absolue des sièges s'il n'a pas réuni plus de 40 % du total des suffrages au scrutin proportionnel.


text: L'ancienne loi électorale était vivement critiquée depuis le scrutin de 2016, qui avait vu le Rêve géorgien remporter 76 % des sièges avec un peu moins de 49 % des suffrages. Cette loi électorale basée sur un système mixte voyait pourvus selon une version modifiée du scrutin uninominal majoritaire à deux tours : les candidats arrivés en tête au premier tour étaient alors élus s'ils obtenaient au moins 33 % des suffrages exprimés, et non la majorité absolue. À ces sièges majoritaires se rajoutaient pourvus au scrutin proportionnel plurinominal de listes fermées dans une unique circonscription nationale, avec un seuil électoral de 5 %. Le système électoral est depuis l'objet de plusieurs changements. À la suite de la révision de la Constitution de 2017, les élections de 2020 devaient être les dernières à appliquer l'ancien système électoral, dont le seuil électoral aurait été un temps abaissé de 5 à 3 % afin de préparer la mise en application en 2024 de la nouvelle constitution géorgienne.


text: Cette dernière instaure en effet un régime parlementaire qui doit à terme voir le président élu au scrutin indirect par un collège électoral composé des membres du parlement et de ceux des conseils régionaux et municipaux. Le parlement ainsi que le Premier ministre voient leurs pouvoirs élargis au détriment du président, qui devient un chef d'état honorifique. Le nombre de parlementaire doit enfin passer en 2024 de 150 à 300, tous élus à la proportionnelle, avec un seuil électoral de 5 %. Le mandat de la présidente Salomé Zourabichvili, dernière à être élue au scrutin direct en novembre 2018, est exceptionnellement étendu jusqu'en 2024, son mandat et celui du parlement issu de ces élections devant être renouvelés cette année là. Le futur parlement, élu en 2024, doit procéder peu après son élection à celle du chef d'État par le biais du collège électoral.


text: Suite à d'importantes manifestations de l'opposition, les dirigeants du parti majoritaire au parlement, le Rêve géorgien, s'engagent le à faire voter un nouvel amendement constitutionnel afin de mettre en œuvre les élections législatives de l'année 2020 au scrutin proportionnel plurinominal sans seuil électoral. Le cependant, cet amendement est rejeté par le parlement, plusieurs députés de la majorité s'abstenant. L'amendement ne reçoit ainsi que pour, 3 contre et 37 abstentions, manquant de loin la majorité qualifiée des trois quarts du total des députés, soit . L'ensemble des de l'opposition vote pour. L'annonce de l'échec de l'amendement provoque à nouveau d'importantes manifestations devant le parlement. Il est attribué pour une grande partie à l'abstention de députés de la majorité, et pour une petite partie à l'émiettement des groupes parlementaires existants. Ces derniers avaient vu la création du groupe d'opposition Géorgie européenne comportant issus du groupe Mouvement national uni, ainsi que le départ de députés du Rêve géorgien vers un groupe de six indépendants. Les chefs de file de l'opposition estiment que le président du parti Rêve géorgien, Bidzina Ivanichvili, n'a délibérément pas tenu une promesse annoncée sous la pression de la rue et suscité l'abstention de quelques députés.


text: Grâce à la médiation du Conseil de l'Europe, de l'Union européenne et des États-Unis, la majorité parlementaire et l'ensemble de l'opposition entreprennent une série de rencontres qui aboutissent le à un compromis approuvé par l'ensemble de la classe politique, dont découle la loi électorale proposée pour ces élections. Le découpage des 30 circonscriptions est confié au ministère géorgien de la justice en collaboration avec la commission de Venise. Le projet de réforme de la loi électorale est débattu au bureau du parlement le ; la composition de la commission parlementaire restreinte () pré-valide le texte de loi. Le , les partis d'opposition se réunissent, estiment que la majorité parlementaire n'a pas respecté l'accord du et annoncent qu'ils boycotteront la séance parlementaire plénière qui finalisera le vote de l'amendement constitutionnel, au cours de laquelle les députés du parti majoritaire pourraient seuls réunir les voix nécessaires.


text: La nouvelle loi électorale est votée le , après le vote des modifications constitutionnelles nécessaires acquis le par pour (Rêve géorgien), contre et l'abstention des partis d'opposition Mouvement national uni et Géorgie européenne. La loi électorale de 2020 est alors prévue uniquement pour le scrutin de cette année, et ne se substituera pas à celle prévue pour la mise en application de la nouvelle constitution en 2024.


text: Un amendement de dernière minute introduit pour une durée de huit ans un quota de 25 % de femmes sur les listes en lice au scrutin proportionnel en obligeant les listes à ne pas comporter plus de trois candidats du même sexe d'affilée. Cette disposition doit ensuite passer à 33 % en 2028, avec un maximum de deux candidats du même sexe d'affilée. Le second tour est par ailleurs fixé au troisième samedi suivant le premier tour. L'amendement est voté par lors d'une séance boycottée par les partis Géorgie européenne et Mouvement national uni.


text: La présidente de la République, Salomé Zourabichvili signe le le décret fixant les élections législatives au suivant.


text: Entre le et le l"'International Republican Institute" effectue un sondage auprès de résidents permanents en Géorgie : la majorité sortante du parti Rêve géorgien recueille 33% des intentions de vote, tandis que les deux principaux partis d'opposition (Mouvement national uni et Géorgie européenne) obtiennent respectivement 16% et 5%.


text: Après un fort recul de Rêve géorgien dans les sondages dans le contexte des manifestations anti gouvernementales, le parti connait une embellie de sa popularité du fait de sa bonne gestion de la pandémie de Covid-19. En retour, un total de 31 partis de l'opposition s'accordent sur une répartition de leurs candidats dans les circonscriptions au scrutin majoritaire de manière à concentrer les voix de leurs électeurs sans se faire concurrence.


title: Nissaré

text: Nissaré est une commune rurale située dans le département de Guiaro de la province du Nahouri dans la région du Centre-Sud au Burkina Faso.


title: Nissaré

text: Le centre de soins le plus proche de Nissaré est le centre de santé et de promotion sociale (CSPS) de Guiaro.


title: Nitiana

text: Nitiana est une commune rurale située dans le département de Guiaro de la province du Nahouri dans la région du Centre-Sud au Burkina Faso.


title: Nitiana

text: Le centre de soins le plus proche de Nitiana est le centre de santé et de promotion sociale (CSPS) de Guiaro.


title: Oualem

text: Oualem est une commune rurale située dans le département de Guiaro de la province du Nahouri dans la région du Centre-Sud au Burkina Faso.


title: Oualem

text: Le centre de soins le plus proche de Oualem est le centre de santé et de promotion sociale (CSPS) de Guiaro.


title: Louise Lacoursière

text: Louise Lacoursière, née à Shawinigan le , est une romancière et biographe québécoise, surtout connue pour ses sagas historiques qui se déroulent en Mauricie.


title: Louise Lacoursière

text: Louise Lacoursière est détentrice d’un baccalauréat en pédagogie de l'Université Laval et d’une formation en enseignement professionnel et en administration de l'Université du Québec à Trois-Rivières. Après avoir enseigné au niveau secondaire puis au collégial, elle devient directrice d’un centre d'éducation aux adultes à Trois-Rivières, où elle habite depuis plus de trente ans. Elle est la sœur de l’historien québécois Jacques Lacoursière.


title: Louise Lacoursière

text: Louise Lacoursière s’est fait connaître du grand public avec la publication de sa trilogie sur Anne Stillman McCormick, surnommée la Reine de la Mauricie, qui a donné son nom au trophée remis au gagnant de la Classique internationale de canots de la Mauricie . Publiés aux éditions Libre expression, les livres de cette trilogie ont été vendus à plusieurs dizaines de milliers d’exemplaires. Un projet d’adaptation télé de cette grande saga historique est présentement en chantier. Cette coproduction d’envergure internationale pilotée par le cinéaste et producteur Yves Simoneau est prévue pour une diffusion en 2022. Une deuxième saga historique intitulée "La Saline" a suivi le succès "Stillman". Cette trilogie a d’ailleurs été publiée en France sous le titre "La Saline – L’Intégrale", une œuvre de plus de 1100 pages, et a aussi été distribuée en Suisse et en Belgique. Ces romans immortalisent en quelque sorte une partie de l’histoire du Québec rural et urbain de la fin du XIX siècle. La Saline, se déroule dans la région de Yamachiche en Mauricie, entre autres dans la maison du poète Nérée Beauchemin. Le dernier tome de la série paraîtra en 2020.


title: Louise Lacoursière

text: En parallèle de sa carrière de romancière, elle publie d’autres types de livres : en 2007, elle écrit une biographie sur l’abbé Roland Leclerc, prêtre et communicateur trifluvien disparu tragiquement en 2003, et en 2018, un album pour enfants.


title: Louise Lacoursière

text: Depuis ses débuts en tant que romancière et biographe, Louise Lacoursière a remporté de nombreux prix littéraires aux niveaux régional et national. Elle se consacre à temps plein à l’écriture depuis 2002.


title: R. David Lankes

text: R. David Lankes, né en 1970, est le directeur de l'École de bibliothéconomie et des sciences de l’information de l'Université de la Caroline du Sud et le récipiendaire du prix Ken Haycock Award 2016 de l'American Library Association pour la promotion de la bibliothéconomie. En plus de son mandat d'enseignement et de direction, R. David Lankes est également conférencier et auteur de plusieurs monographies portant sur le domaine de la bibliothéconomie et des sciences de l'information. Le professeur Lankes est l'auteur de plusieurs ouvrages et articles sur le sujet de la bibliothéconomie et des sciences de l'information. Il soutient que les bibliothèques sont aujourd'hui un outil de facilitation pour la création et le partage des savoirs dans leurs communautés.


title: R. David Lankes

text: Pour ce faire, il considère les 4 objectifs suivant comme étant essentiels: l'accessibilité, la sécurité physique, le développement des compétences et l'encouragement à l'apprentissage.


title: R. David Lankes

text: Il a remporté le prix Ken Haycock Award de l'American Library Association 2016 pour la promotion de la bibliothéconomie.Monographie traduite en français :Monographies en anglais :


title: C108

text: C108 ou C-108 peut faire référence à :


title: Open du Texas 2009

text: Le tournoi Open du Texas 2009 est l'édition féminine 2009 du tournoi de squash Open du Texas qui se déroule du 12 au à Plano.  Le tableau est composé de 16 participantes dont huit têtes de série et quatre joueuses qualifiées.


title: Open du Texas 2009

text: La finale oppose les deux meilleures joueuses du monde et c'est la championne du monde Nicol David qui l'emporte face à la tenante du titre Natalie Grainger.


title: Eduardo Sasha

text: Eduardo Colcenti Antunes, plus connu comme Eduardo Sasha ou Sasha, né le à Porto Alegre, est un footballeur brésilien évoluant au poste d'ailier à l'Atlético Mineiro.


title: Eduardo Sasha

text: Eduardo Colcenti Antunes voit le jour en février 1992 à Porto Alegre, dans l'État de Rio Grande do Sul au Brésil. Il est formé à l'Internacional de 2007 à 2010. Son surnom Sasha lui vient de son style de cheveux durant sa jeunesse qui ressemblait à celui de la présentatrice Xuxa, connue pour sa chevelure blonde. Son grand frère l'ayant pris comme surnom, il opte alors pour Sasha, inspiré de la fille de Xuxa, Sasha Meneghel.


title: Eduardo Sasha

text: Au mois de septembre 2010, Sasha signe son premier contrat professionnel avec l'Internacional d'une durée de cinq ans et avec une clause libératoire de quarante millions d'euros. Le , il fait ses débuts en remplaçant Giuliano lors d'un nul 0-0 contre le Goiás Esporte Clube en Série A. Sasha joue un autre match de championnat et est convoqué à la Coupe du monde des clubs 2010 mais reste sur le banc.


title: Eduardo Sasha

text: En mars 2011, Sasha dispute une rencontre de Campeonato Gaúcho face à l'Esporte Clube Novo Hamburgo. C'est sa seule apparition de la saison alors que l'Internacional finit champion de la ligue régionale. Il s'adapte difficilement au sein de l'effectif et ne joue que deux rencontres lors de la saison 2012.


title: Eduardo Sasha

text: Sasha est donc logiquement prêté au Goiás Esporte Clube le . Il prend part à sept rencontres de Série B tandis que le club est sacré champion et remonte dans l'élite brésilienne.


title: Eduardo Sasha

text: Le , Sasha inscrit son premier but professionnel et contribue à un succès 3-1 contre le Grêmio Esportivo Anápolis en Campeonato Goiano. Il joue vingt-et-une rencontres de ligue régionale et marque à trois reprises, signe de son intégration progressive. Sasha ouvre son compteur en Série A le face au Coritiba (nul 2-2). L'attaquant inscrit un total de quatre buts en seize apparitions en championnat. En Coupe du Brésil, Sasha marque trois buts en huit matchs dont une réalisation lors de la demi-finale perdue contre le Flamengo. À l'issue de la saison 2013, il retourne dans son club formateur.


title: Eduardo Sasha

text: Sasha commence la saison 2014 avec un nouveau sacre en Campeonato Gaúcho où il marque deux buts en sept rencontres. Il inscrit quatre buts en Série A, dont un doublé contre Coritiba en septembre 2014. Sasha découvre la compétition continentale le 5 septembre et délivre une passe décisive à l'occasion d'un nul 1-1 face à Bahia en Copa Sudamericana.


title: Eduardo Sasha

text: La saison suivante, l'Internacional remporte à nouveau le Campeonato Gaúcho tandis que Sasha y inscrit trois buts. Le club dispute la Copa Libertadores durant cet exercice. Sasha inscrit ses deux premiers buts dans la compétition lors des deux rencontres opposant les "Colorados" à l'Universidad de Chile.


title: Eduardo Sasha

text: L'Internacional remporte la ligue régionale pour la sixième fois d'affilée en 2016 alors que Sasha est le meilleur buteur de son équipe avec six buts. Malgré une place de titulaire acquise depuis son retour, le buteur doit composer avec des blessures durant les saisons 2016 et 2017. Les "Colorados" sont relégués en Série B à l'issue de la saison 2016. Le club remonte en première division après sa seconde place durant l'exercice 2017 au cours duquel Sasha marque trois buts.


title: Eduardo Sasha

text: Au mois de janvier 2018, Sasha est prêté au Santos FC jusqu'au mois de décembre avec une option d'achat. Il fait ses débuts le 19 janvier, entrant en jeu lors d'une défaite contre le Clube Atlético Bragantino en Campeonato Paulista. Sasha marque trois jours plus tard mais ne peut empêcher une défaite à l'extérieur face à Ponte Preta. En mars, il réalise un doublé permettant un succès 3-1 aux dépens des Uruguayens du Nacional en Copa Libertadores.


title: Eduardo Sasha

text: Sasha rejoint officiellement le Santos FC , dans le cadre d'un échange avec le défenseur Zeca.


title: Eduardo Sasha

text: Malgré un début de saison 2019 où Jorge Sampaoli se passe régulièrement de ses services en ligue régionale, Sasha s'établit comme un titulaire régulier en championnat. Il marque son premier but le 28 avril 2019 durant une victoire 1-2 contre le Grêmio. Sasha se montre plus incisif et précis dans la finition durant cet exercice et ses statistiques devant le but s'en ressentent. Il clôt la saison avec quatorze buts en Série A qui témoignent de son progrès en terme d'efficacité.


title: Eduardo Sasha

text: En juillet 2020, Sasha attaque le club en justice en raison de salaires impayés. Le joueur est déclaré agent libre onze jours plus tard mais le juge chargé de l'affaire annule sa décision le lendemain.


title: Eduardo Sasha

text: Le , Sasha s'engage au Clube Atlético Mineiro, paraphant un contrat de quatre ans pour un montant estimé à plus d'un millions d'euros.


title: Eduardo Sasha

text: Ce tableau montre les statistiques en carrière de Eduardo Sasha.


title: Eduardo Sasha

text: Internacional


title: Théorie de l'émotion construite

text: La théorie de l'émotion construite (anciennement le modèle d'acte conceptuel de l'émotion ) est une théorie scientifique permettant d'expliquer l'expérience et la perception de l'émotion. Cette théorie a été proposée par Lisa Feldman Barrett pour résoudre le « paradoxe de l'émotion » qui pose un problème aux chercheurs étudiant les émotions depuis plusieurs décennies.


title: Théorie de l'émotion construite

text: Le paradoxe de l'émotion est le suivant : Les gens vivent des émotions intenses et vivides au quotidien: ils racontent percevoir des émotions comme «la colère», la «tristesse» et le «bonheur» chez les autres, et ils racontent avoir éprouvé ces mêmes émotions en eux-mêmes. Néanmoins, les preuves psychophysiologiques et neuroscientifiques n’ont pas permis de confirmer de manière cohérente l’existence de telles catégories d’expériences discrètes. Au lieu de cela, les preuves empiriques suggèrent que ce qui existe dans le cerveau et le corps sont les affects, et que les émotions sont construites par plusieurs réseaux cérébraux fonctionnant en tandem.


title: Théorie de l'émotion construite

text: Malgré ces preuves, la plupart des autres théories de l'émotion supposent que les émotions sont génétiquement dotées, non apprises et sont produites par des circuits spécialisés dans le cerveau: un circuit de la colère, un circuit de la peur, et ainsi de suite. Ce point de vue va tout à fait dans le sens des conceptions de sens commun de l'émotion. La théorie de l'émotion construite remet en question cette hypothèse. Cela suggère que ces émotions (souvent appelées "émotions de base" ) ne sont pas biologiquement câblées, mais sont plutôt des phénomènes qui émergent dans la conscience "dans le moment" à partir d'ingrédients plus fondamentaux. Les émotions sont ainsi d'une certaine manière apprises.


title: Théorie de l'émotion construite

text: La théorie sous sa forme simplifiée peut s'énoncer de la sorte: "À chaque moment de réveil, votre cerveau utilise vos expériences passées, organisées en concepts, pour guider vos actions et donner un sens à vos sensations. Lorsque les concepts impliqués sont des concepts d’émotion, votre cerveau construit des moments d’émotion. " De manière plus détaillée, des moments d'émotion sont construits dans tout le cerveau par plusieurs réseaux cérébraux en collaboration. Les ingrédients entrant dans cette construction incluent l'interoception, les concepts et la réalité sociale .


title: Théorie de l'émotion construite

text: Les prédictions interoceptives fournissent des informations sur l'état du corps et finissent par générer des sentiments basiques et affectifs de plaisir, de déplaisir, d'éveil et de calme. Les concepts sont des connaissances incarnées (de votre culture), y compris des concepts d'émotion. La réalité sociale constitue l'accord collectif et le langage qui rendent possible la perception de l'émotion chez les personnes partageant une même culture.


title: Théorie de l'émotion construite

text: Par analogie, considérons l'expérience de la couleur. Les personnes ressentent les couleurs sous forme de catégories discrètes: bleu, rouge, jaune, etc, et ces catégories varient selon les cultures. Cependant, la physique de la couleur est en réalité continue, les longueurs d'onde étant mesurées en nanomètres sur une échelle allant de l'ultraviolet à l'infrarouge. Lorsqu'une personne perçoit un objet comme étant "bleu", elle utilise (inconsciemment) ses concepts de couleur pour catégoriser cette longueur d'onde. Et en réalité, les gens perçoivent toute une gamme de longueurs d'onde comme étant "bleues".


title: Théorie de l'émotion construite

text: De même, les émotions sont généralement considérées comme discrètes et distinctes, la peur, la colère, le bonheur, tandis que l'affect (produit par l'interoception) est continu. La théorie de l'émotion construite suggère qu'à un moment donné, le cerveau prédit et catégorise le moment présent au moyen de prédictions interoceptives et des concepts d'émotion de sa culture, afin de construire un moment d'émotion, tout comme on perçoit des couleurs discrètes. Ce processus instancie l'expérience "d'avoir une émotion".


title: Théorie de l'émotion construite

text: Par exemple, si le cerveau de quelqu'un prédit la présence d'un serpent ainsi que les effets désagréables qui en résulteraient, il pourrait catégoriser et construire une expérience de «peur». Ce processus a lieu avant que toute entrée sensorielle réelle d'un serpent atteigne la conscience. Au contraire, un chercheur défendant la théorie des "émotions de base" dirait que la personne voit d'abord le serpent et que cette entrée sensorielle déclenche un "circuit de la peur" dédié dans le cerveau.


title: Théorie de l'émotion construite

text: Les premières formulations de la théorie ont été décrites en termes d’affect fondamental plutôt que d’introspection. L'affect fondamental est un état neurophysiologique caractérisé selon deux dimensions: Selon le modèle d'acte conceptuel initial, l'émotion est générée lorsqu'une personne catégorise son état affectif fondamental à l'aide de ses connaissances sur les émotions. Cette théorie combine des éléments de relativité linguistique et de neuroscience affective .


title: Théorie de l'émotion construite

text: Le terme "affect fondamental" a été utilisé pour la première fois en version imprimée par Russell et Barrett en 1999 dans "Journal of Personality and Social Psychology" où il est utilisé pour faire référence aux sentiments affectifs qui font partie de chaque état de conscience 1889 "System der Philosophie" ). Le terme "affect fondamental" semble également avoir été utilisé comme expression se rapportant à la compréhension neuropsychologique du comportement en tant qu'affect morbide à la base de tout type de comportement humain.


title: Théorie de l'émotion construite

text: Joseph LeDoux a atteint des points de vue similaires.


title: Théorie de l'émotion construite

text: La théorie ressemble beaucoup aux théories de langages mentaux développés par Geoffrey Hinton et Daniel Denett .


title: Bozdoğan (missile)

text: Bozdoğan (mot qui renvoie au Faucon émerillon en turc) est un missile air-air turc avec un guidage par infrarouge. Après avoir complété les tests avec succès en 2019, leur intégration dans l'inventaire de l'armée de l'air turque est prévue dès 2020. Ils devront être placés sur les F-16 et les futurs TF-X. Avec cette prouesse technologique, la Turquie devient l'un des neuf pays producteurs de missiles air-air. Ce missile fait partie du projet Göktuğ de l'institution turque TÜBİTAK SAGE.


title: Mert Çetin

text: Mert Çetin, né le à Çankaya, est un footballeur international turc qui évolue au poste de défenseur central, prêté au Kayserispor.


title: Mert Çetin

text: Mert commence à jouer au Gençlerbirliği, le club de sa province, avant d'être transféré pendant deux ans au Hacettepe, puis à nouveau au Gençlerbirliği où il découvre la Süper Lig.


title: Mert Çetin

text: Devenu un des cadres de son équipe, qui est entre-temps descendue en deuxième division turque, il s'engage avec l'AS Rome pour la saison 2019-20 en l'échange d'un transfert de , devenant tout de même le dixième transfert le plus cher d'un footballeur turc en Europe.


title: Mert Çetin

text: Il fait ses débuts en Serie A contre l'AC Milan le .


title: Mert Çetin

text: Déjà international espoir, il connaît le sa première sélection avec l'équipe de Turquie en Andorre (victoire 2-0), dans le cadre des qualifications à l'Euro 2020, en remplaçant Merih Demiral à dix minutes de la fin du match.


title: Mert Çetin

text: "Vierge"


title: Bangla Bhasha Procholon Ain (1987)

text: Bangla Bhasha Procholon Ain, 1987 () est une loi du gouvernement du Bangladesh visant à mettre en œuvre et à faire appliquer l'article 3 de la Constitution du Bangladesh. Il s'agit de la deuxième loi de 1987. En vertu de cette loi, tous les dossiers et correspondances, lois, procédures judiciaires et autres actions en justice doivent être rédigés en bengali dans tous les tribunaux, bureaux gouvernementaux ou semi-gouvernementaux et institutions autonomes du Bangladesh.


title: Bangla Bhasha Procholon Ain (1987)

text: La loi est considérée comme « une mesure révolutionnaire prise par l'État » pour renforcer l'autonomie linguistique de la population et supprimer la barrière linguistique mise en place par l'autorité coloniale britannique, qui entrave l'accès de la population aux services publics et à la justice. Par conséquent, toutes les lois ultérieures de la Jatiya Sangsad ont été adoptées en bengali depuis 1987. Nonobstant la loi, l'anglais est souvent utilisé par la Cour suprême du Bangladesh, ce qui suscite le mécontentement de la population face à la violation des droits constitutionnels et démocratiques du peuple malgré les effusions de sang des martyrs du mouvement linguistique bengali.


title: Bangla Bhasha Procholon Ain (1987)

text: Le Bangladesh est un État-nation linguistique dans le monde. La langue bengali s'est développée au cours de plus de et est devenue l'une des traditions littéraires les plus importantes et les plus diverses du monde. Le bengali était une langue officielle de la cour pendant le Sultanat du Bengale. Les dirigeants musulmans ont favorisé le développement littéraire en bengali. La littérature bengali, avec son histoire littéraire millénaire, s'est beaucoup développée depuis la Renaissance bengali. Le mouvement linguistique bengali de 1948 à 1956 exigeant que le bengali soit une langue officielle du Pakistan a encouragé le nationalisme bengali au Bengale oriental (rebaptisé Pakistan oriental en 1956), ce qui a conduit à l'émergence du Bangladesh en 1971. Le bengali a été adopté comme langue officielle du Pakistan avec l'ourdou dans l'article 214(1) lorsque la première constitution du Pakistan a été adoptée le 29 février 1956. En 1999, l'UNESCO a proclamé le 21 février Journée internationale de la langue maternelle en reconnaissance du mouvement linguistique bengali.


title: Bangla Bhasha Procholon Ain (1987)

text: Après la libération du Bangladesh en 1971, l'article 3 de la Constitution du Bangladesh stipule que le bengali est la seule langue officielle du pays. Avec plus de 98% des Bangladais parlant couramment le bengali comme langue maternelle, le Bangladesh est le seul pays monolingue d'Asie du Sud et le bengali est considéré comme la langue nationale de facto du Bangladesh. Le , le Gouvernement bangladais a adopté la loi de 1987 sur la mise en œuvre de la langue bengali afin de rendre obligatoire l'utilisation du bengali dans toutes les affaires intérieures, sauf dans les relations extérieures. Auparavant, le , Sheikh Mujibur Rahman, alors qu'il était président, avait ordonné dans une notification gouvernementale que toutes les activités officielles dans tous les tribunaux et bureaux gouvernementaux devaient être menées en bengali.


title: Bangla Bhasha Procholon Ain (1987)

text: Le bengali est la langue en nombre de locuteurs natifs et la langue en nombre total de locuteurs dans le monde. La langue bengali est l'élément essentiel de l'identité bangladaise et lie une région culturellement variée.À la suite de cette loi, toutes les activités législatives et administratives se déroulent en bengali depuis 1987.


title: Bangla Bhasha Procholon Ain (1987)

text: Dans tous les tribunaux de district, le bengali est le moyen de communication pour parler et écrire les requêtes et les verdicts ; mais à la Cour suprême, les verdicts sont souvent rendus en anglais.


title: Bangla Bhasha Procholon Ain (1987)

text: Le , la a recommandé que la loi soit également mise en œuvre par la Cour suprême afin de garantir un accès facile à la justice pour tous. La Commission du droit du Bangladesh a également déclaré que l'application du bengali dans tous les domaines de la vie publique serait la meilleure façon de célébrer la Journée du mouvement linguistique. Le président de la Commission de l'époque, Shah Alam, a écrit qu'en raison de l'intérêt direct de certains quartiers, le bengali n'était pas appliqué correctement devant la Cour suprême Certains ont suggéré qu'en vertu de l'article 137 du Code de procédure civile (1908) et de l'article 558 du Code de procédure pénale (1898), le gouvernement du Bangladesh peut prendre un décret rendant obligatoire l'utilisation du bengali dans les tribunaux supérieurs et inférieurs".


title: Bangla Bhasha Procholon Ain (1987)

text: Alors que le bengali est principalement utilisé dans les activités officielles de la Bangladesh Bank, le bengali a une présence marginale dans les banques commerciales privées au grand dam de leurs clients respectifs car la plupart d'entre eux ont des difficultés à naviguer dans leurs documents financiers en anglais En 2018, la Bangladesh Bank a demandé à toutes les banques d'utiliser le bengali « dans les lettres d'approbation des prêts pour mettre en œuvre l'objectif de la loi de 1987 sur l'introduction de la langue bengali et protéger les intérêts du client ».


title: Bangla Bhasha Procholon Ain (1987)

text: En , à la suite d'une requête d'un avocat nommé Yunus Ali Akand devant la Haute Cour, le juge Qazi Rezaul Haque a émis une règle selon laquelle le bengali devrait être utilisé partout au Bangladesh, dans tous les bureaux, tribunaux et médias, conformément à la loi de 1987. Il a en outre demandé que le bengali soit utilisé sur les panneaux d'affichage, les panneaux routiers, les plaques d'immatriculation des véhicules à moteur et tous les médias électroniques à l'exception des hautes ambassades étrangères. Trois mois plus tard, le Ministère de l'administration publique a ordonné à toutes les sociétés municipales et aux conseils de cantonnement d'appliquer la décision de la Haute Cour. Puis, le , le ministère de l'Administration publique a donné la même instruction, mais la mise en œuvre correcte reste à voir.


title: Bangla Bhasha Procholon Ain (1987)

text: La loi a été jugée importante pour renforcer l'autonomie linguistique de la population et éliminer l'oppression linguistique coloniale. Muhammad Habibur Rahman, ancien Président de la Cour suprême du Bangladesh, a déclaré qu'en raison de l'absence d'initiative gouvernementale appropriée, l'anglais est encore fréquemment utilisé devant la Cour suprême. Rahman a ajouté que si la justice est une vertu et un service au peuple, alors les verdicts doivent être rendus en bengali. Il a également déclaré que si le peuple du pays veut que tous les travaux de la Cour suprême se déroulent en bengali, les représentants du peuple à la Jatiya Sangsad (Parlement du Bangladesh) doivent adopter et appliquer une autre loi pour garantir l'utilisation du bengali à la Cour suprême Sheikh Hasina, le Premier ministre du Bangladesh en exercice depuis le plus longtemps, a également suggéré que les juges rendent leurs verdicts en bengali afin que chaque Bangladais puisse les lire.


title: Plumachaetas

text: Plumachaetas est un genre de collemboles de la famille des Entomobryidae.


title: Plumachaetas

text: Selon Checklist of the Collembola of the World (version du ) :


title: Pseudoparonella

text: Pseudoparonella est un genre de collemboles de la famille des Entomobryidae.


title: Pseudoparonella


title: Legally Blind

text: Grace est sur le point de réaliser son rêve de devenir avocate. Le jour de la célébration des résultats de son examen du barreau, elle sera violée et aboutira à un accident entraînant la cécité.


title: Jasper Hall Livingston

text: Jasper Hall Livingstone, né le à New York et mort le à l'île de Wight, est un diplomate, propriétaire de chevaux, gentleman-rider et sportsman américain.


title: Jasper Hall Livingston

text: Il fut chargé d'affaires (secrétaire de légation) sous l'ambassadeur des États-Unis en Espagne, Washington Irving à Madrid et devint plus tard le Maître d’équipage du Pau Hunt « Master of the Pau Hounds » pendant 12 saisons d'hiver non consécutives entre 1847 et 1874. Il fut un précurseur de la chasse au leurre tout en dédaignant le développement de ce sport "fictif" (désormais largement pratiqué), alors que certains le jugeaient idéal pour les jeunes cavaliers ou .


title: Jasper Hall Livingston

text: Le plus jeune fils de , juge de la Cour suprême des États-Unis, et précédemment veuf de Catherine (née Seaman) Kortright, Jasper Hall Livingston et sa jumelle, Catherine Louisa Livingston, épouse du député britannique et lieutenant-gouverneur de Sainte-Lucie , sont nés à Manhattan. Leur grand-père paternel était William Livingston, premier gouverneur du New Jersey et signataire de la Constitution. Leur tante, épousa John Jay, le premier "Chief Justice", ou président de la Cour suprême.


title: Jasper Hall Livingston

text: Jasper Hall Livingston épousa Mathilda Anne Cecila Morris, la plus jeune fille de , le 26 mai 1851 à Douvres, Kent, Angleterre. Le couple passait normalement la saison de chasse hivernale à Pau, où ils possédaient une villa.  Leurs enfants, Florence et Guy sont nés à Pau. Livingston était membre du Cercle anglais (English Club). Il est attesté que Livingston chasse d’abord à Pau pendant la saison 1847–1848 avec son neveu, Charles Carroll Livingston (1832–1904). Livingston aurait été attiré à Pau uniquement pour sa passion pour la chasse au renard et se serait, jeune homme, imprégné de ce sport avec et , tous deux Master du . On peut attribuer à Livingston d'avoir sauvé l’équipage du Pau Hunt en achetant les chiens de Pery Standish du . Il a été applaudi pour sa gestion de la chasse ; cependant, certains étrangers l'ont critiqué pour avoir utilisé des renards de sac (Bagman) qui avaient été capturés et relâchés à la fin de la chasse, assurant ainsi une mise à mort et le bien-aller de la meute.


title: Jasper Hall Livingston

text: Livingston a organisé la première chasse au leurre tout enregistré à Pau le 26 novembre 1847 en direction de Gardères, sur une distance de 21 km (13 miles) et en une heure. Ce fut une alternative bienvenue au laisser-courre traditionnel. Cette nouvelle manière distrayante de chasser ne posait aucun problème car elle était considérée comme complémentaire à la chasse. Le Drag remplacera ainsi la chasse au renard sur des jours alternés de la semaine, car les renards devenaient moins nombreux. Parmi les participants célèbres du Pau Hunt pendant son mandat de Master, on compte William Hamilton (11e duc de Hamilton), et Maréchal Bosquet.


title: Jasper Hall Livingston

text: Fin 1858, "Le Sport Magazine" publie un article du marquis Théodore de Foudras intitulé "Anecdotes historiques de la chasse contemporaine, l'état de la chasse étrangère en Béarn : le Pau Hunt Drag". Cet article a ensuite été illustré avec humour d’une série de treize lithographies par Pierre Eugene Marc (1819–1885) assemblées sous forme d'album en 1860. Le premier exemplaire connu de cet album a été signée par JH Livingstone le 10 décembre 1860. Trois lithographies par l'artiste A. Duruy ont été publiées dans les éditions suivantes.


title: Jasper Hall Livingston

text: En 1907, un mémoire rédigé entre 1894 et 1896 par , qui avait été Master of the Pau Hounds pendant la saison 1879-1880, fut publié déclarant que la vraie chasse avait cessé à Pau entre 1847 et 1863. Il exprime sa condescendance pour une chasse qui se termine par l’intervention d’un Bagman. Il refuse de légitimer Jasper Hall Livingston et Richard Francis Lalor Power en tant que Master of the Pau Hounds pendant cette période et regrette que malheureusement les jeunes Américains du «Wild West» n'aient jamais eu l'occasion de chasser des animaux sauvages avec une meute de chiens.


title: Clémence Badère

text: Clémence Badère, née Clarisse Delaunay le à Vendôme et morte le dans le , est une femme de lettres française.


title: Clémence Badère

text: Claris est la fille de Thomas Delaunay (1778-1862), chapelier et de Thérèse Françoise Noé (1778-1836).


title: Clémence Badère

text: Le , elle épouse Claude Badère (1804-1883), commis greffier, à Vendôme.


title: Clémence Badère

text: Un fils nait de l'union, Almire Badère (1833-1920)


title: Clémence Badère

text: En 1836, elle perd sa mère.


title: Clémence Badère

text: En 1853, elle part pour Paris, cherchant à faire publier ses écrits sous le pseudonyme de H. Noé (le nom de sa mère) puis, par crainte d'une confusion avec Clarisse Bader, elle prend pour nom de plume Clémence Badère.


title: Clémence Badère

text: En 1888, Clémence Badère publie chez "Dentu" ses mémoires.


title: Clémence Badère

text: Elle est morte à son domicile de la rue de Paradis en , à l'âge de 79 ans.


title: Clémence Badère

text: En aout 1893, la municipalité de Vendôme vote l'érection d'un buste à l'effigie de Madame Clémence Badère, qui surmontra une fontaine sur une place de la ville.


title: Bibliothèque du Boisé

text: La Bibliothèque du Boisé est l'une des deux bibliothèques de l'arrondissement de Saint-Laurent. Elle fait partie du réseau de 45 bibliothèques de la Ville de Montréal. Elle est certifiée LEED platine.


title: Bibliothèque du Boisé

text: Dans la foulée d'un plan de consolidation mis en place par la directrice des bibliothèques de Montréal, Louise Guillemette-Labory, la Ville a créé le Programme de rénovation, d’agrandissement et de construction de bibliothèques. L'annonce qu'une nouvelle bibliothèque sera construite dans l'arrondissement est faite en 2008. Le projet a fait l'objet d'un concours d'architecture dont la présidente du jury était l'ancienne PDG de Bibliothèque et Archives nationales du Québec, Lise Bissonette. Le concours a été remporté par Cardinal Hardy, Labonté Marcil, Éric Pelletier architecte en consortium. En 2010, avant même son ouverture, la bibliothèque remporte le Prix du mérite du magazine Canadian Architect.


title: Bibliothèque du Boisé

text: Les 4 et 5 mai 2013, les citoyens sont invités à visiter la bibliothèque en compagnie des architectes. Elle ouvre officiellement ses portes le 6 juillet 2013. Le porte-parole pour l'occasion est l'auteur Dany Laferrière. Alors que les concepteurs visaient une certification LEED or, la bibliothèque est certifiée LEED platine en 2015 et devient ainsi la première bibliothèque au Canada à atteindre cette certification décernée par le Conseil du développement durable du Canada. En novembre 2015, la bibliothèque remporte le Grand Prix d'excellence des 28 Prix d'excellence en architecture de l'Ordre des architectes du Québec.


title: Bibliothèque du Boisé

text: La bibliothèque offre les services et activités que l'on retrouve habituellement au Québec comme l'heure du conte, des conférences ou le prêt de documents comme les livres, CD et DVD, revues ou jeux vidéo, mais aussi des instruments de musique. Un espace favorisant l'exploration et la création numérique et multimédia ainsi qu'une salle dédiée à la création musicale sont offerts aux usagers.


title: Bibliothèque du Boisé

text: Des postes informatiques pour aller sur Internet ou pour utiliser des logiciels sont disponibles à plusieurs endroits et les visiteurs peuvent utiliser leur propre équipement. Des postes informatiques donnant accès au catalogue peuvent être utilisés sur place. L'accès sans fil à Internet est aussi disponible dans toutes les sections.


title: Bibliothèque du Boisé

text: Une terrasse extérieure se trouve à l'arrière de la bibliothèque et donne accès au boisé. Le bâtiment de 6 000 mètres carrés rappelle le style scandinave et a de nombreuses fenêtres donnant également sur le boisé du parc Marcel-Laurin.


title: Aurel Vernescu

text: Aurel Vernescu, né le à Bucarest et mort le dans la même ville, est un kayakiste roumain pratiquant la course en ligne.


title: Aurel Vernescu

text: Atanasie Sciotnic participe aux Jeux olympiques à trois reprises (1964, 1968 et 1972), remportant trois médailles.  Un total de onze médailles est remporté par Atanase Sciotnic lors des Championnats du monde de course en ligne, dont quatre en or.


title: Théorie des types homotopiques

text: Dans la logique mathématique et de l’informatique, la théorie des types homotopiques (en anglais : Homotopy Type Theory HoTT) fait référence à différentes lignes de développement de la théorie des types intuitionnistes, basée sur l’interprétation des types comme des objets auxquels l’intuition de la théorie de l’homotopie s’applique.


title: Théorie des types homotopiques

text: Cela inclut, entre autres travaux, la construction de modèles homotopiques et de modèles de catégories supérieures pour de telles théories de types, l’utilisation de la théorie des types en tant que logique pour la théorie de l’homotopie et la théorie des catégories supérieures, le développement des mathématiques dans une base théorique de type (incluant à la fois les mathématiques existantes et les mathématiques rendues possibles par les types homotopiques), et la formalisation de chacune d’elles en assistants de preuve informatique.


title: Théorie des types homotopiques

text: Il existe un important chevauchement entre les travaux associés à la théorie des types homotopiques et ceux qui se réfèrent au projet des fondations univalentes. Bien que ni l’un ni l’autre ne soient définis avec précision et que les termes soient parfois utilisés de manière interchangeable, l’utilisation correspond parfois à des différences de points de vue et de priorités. En tant que tel, cet article peut ne pas représenter de manière égale les points de vue de tous les chercheurs dans ces domaines. Ce type de variabilité est inévitable lorsqu’un champ est en pleine évolution.


title: Théorie des types homotopiques

text: À une époque, l’idée que les types de la théorie des types intensive, avec leurs types identité, pouvaient être considérés comme des groupoïdes relevait du folklore mathématique. Elle a été précisée pour la première fois, de manière sémantique, dans l’article paru en 1998 de Martin Hofmann et Thomas Streicher, intitulé « The groupoid interpretation of type theory », dans lequel ils montraient que la théorie des types intensifs avait un modèle dans la catégorie des groupoïdes. Il s’agissait du premier modèle véritablement « homotopique » de la théorie des types, bien qu’il ne s’agisse que d’un modèle « 1-dimensionnel » (les modèles traditionnels dans la catégorie des ensembles étant homotopiquement 0-dimensionnels).


title: Théorie des types homotopiques

text: Leur article annonçait également plusieurs développements ultérieurs de la théorie des types homotopiques. Par exemple, ils ont noté que le modèle groupoïde répond à une règle appelée « extensionnalité de l’univers », qui n’est autre que la restriction à l’"axiome d’univalence" proposée par Vladimir Voevodsky dix ans plus tard. (L’axiome pour les 1-types est toutefois beaucoup plus simple à formuler, puisqu’une notion de cohérence de l’« équivalence » n’est pas requise.) Ils ont également défini les « catégories avec isomorphisme comme égalité » et ont émis la conjecture que, dans un modèle utilisant des groupoïdes de dimension supérieure, on aurait pour de telles catégories « l’équivalence est l’égalité ». Cela a été prouvé plus tard par Benedikt Ahrens, Krzysztof Kapulkin et Michael Shulman.


title: Théorie des types homotopiques

text: Steve Awodey et son élève Michael Warren, en 2005, ont construit les premiers modèles de théorie des types intensive à dimensions supérieures à l'aide de catégories de modèles de Quillen. Ces résultats ont été présentés pour la première fois en public lors de la conférence FMCS 2006 au cours de laquelle Warren a donné une conférence intitulée " Modèles homotopiques de la théorie des types d'intensive ", qui lui a également servi de résumé de thèse (les membres du comité de thèse présents étaient Awodey, Nicola Gambino et Alex Simpson). Un résumé est contenu dans le résumé de la thèse de Warren.


title: Théorie des types homotopiques

text: En 2006, lors d’un atelier sur les types identité organisé à l’Université d’Uppsala, deux exposés ont été consacrés à la relation entre la théorie des types intensive et les systèmes de factorisation: l’un de Richard Garner, "Systèmes de factorisation pour la théorie des types", et l’autre de Michael Warren, " Catégories de modèles et types identité intensifs ". Des idées similaires furent apportées dans les exposés de Steve Awodey, " Théorie des types des catégories de dimension supérieure ", et de Thomas Streicher, " Types identité par opposition aux oméga-groupoïdes faibles : quelques idées, certains problèmes ". Lors de la même conférence, Benno van den Berg a présenté " Les types comme oméga-catégories faibles ". Au cours de cette présentation, il a exposé les idées qui ont ensuite fait l'objet d'un document commun avec Richard Garner.


title: Théorie des types homotopiques

text: Les toutes premières constructions de modèles de dimensions supérieures traitaient le problème de cohérence typique des modèles de théorie des types dépendants, et diverses solutions ont été développées. Un exemple a été donné en 2009 par Voevodsky et un autre en 2010 par van den Berg et Garner. En 2014, une solution générale, s'appuyant sur la construction de Voevodsky, a finalement été proposée par Lumsdaine et Warren.


title: Théorie des types homotopiques

text: En 2007, lors du PSSL86 Awodey a présenté un exposé intitulé "Théorie des types homotopiques" (il s'agissait du premier usage public de ce terme, qui a été inventé par Awodey ). Awodey et Warren ont résumé leurs résultats dans l'article intitulé " Homotopy theoretic models of identity types ", publié sur le serveur de préimpression ArXiv en 2007 et publié en 2009. Une version plus détaillée est apparue dans la thèse de Warren intitulée " Homotopy theoretic aspects of constructive type theory " en 2008.


title: Théorie des types homotopiques

text: À peu près au même moment, Vladimir Voevodsky enquêtait de manière indépendante sur la théorie des types dans le contexte de la recherche d’une langue pour la formalisation pratique des mathématiques. En , il a posté " Une très brève note sur le lambda-calcul homotopique " sur la liste de diffusion Types, qui esquissait les contours d’une théorie des types avec des produits dépendants, des sommes et des univers et d’un modèle de cette théorie ensembles simpliciaux de Kan. Il a commencé par dire "Le λ-calcul homotopique est un système de types hypothétique (pour le moment)" et termine par "Pour le moment, une grande partie de ce que j'ai dit ci-dessus se situe au niveau des conjectures. Même la définition du modèle de TS dans la catégorie homotopique n’est pas triviale ". Il faisait référence aux problèmes complexes de cohérence qui n’ont pas été résolus avant 2009. Cette note incluait une définition syntaxique des "types égalité" supposés être interprétés dans le modèle par des espaces de chemins, mais ne tenait pas compte des règles de Per Martin-Löf relatives aux types identité. Il a également stratifié les univers par dimension homotopique en plus de la taille, une idée qui a ensuite été en grande partie rejetée.


title: Théorie des types homotopiques

text: Sur le plan syntaxique, Benno van den Berg a supposé en 2006 que la tour des types identité d'un type, en théorie des types intensive, devrait avoir la structure d'une ω-catégorie, voire d'un ω-groupoïde, au sens " globulaire algébrique " de Michael Batanin. Ceci a ensuite été prouvé de manière indépendante par van den Berg et Garner dans l'étude " Types are weak omega-groupoids " (publié en 2008) et par Peter Lumsdaine dans l'étude " Weak ω-Categories from Intensional Type Theory " (publié en 2009). et dans le cadre de la thèse de son doctorat en 2010 " Higher Categories from Type Theories ".


title: Théorie des types homotopiques

text: Le concept d'une fibration univalente a été introduit par Voevodsky au début de 2006. Cependant, en raison de l'insistance de toutes les présentations de la théorie des types de Martin-Löf sur la propriété que les types identité, dans le contexte vide, ne peuvent contenir uniquement que de la réflexivité, Voevodsky n'a pas reconnu jusqu'en 2009 que ces types identité pouvaient être utilisés en combinaison avec les univers univalents. En particulier, l'idée selon laquelle l'univalence peut être introduite simplement en ajoutant un axiome à la théorie de type de Martin-Löf existante n'est apparue qu'en 2009.


title: Théorie des types homotopiques

text: Également en 2009, Voevodsky a élaboré davantage de détails d'un modèle de théorie des types dans les complexes de Kan et a observé que l'existence d'une fibration de Kan universelle pourrait être utilisée pour résoudre les problèmes de cohérence des modèles de catégories de la théorie des types. Il a également prouvé, à l’aide d’une idée de AK Bousfield, que cette fibration universelle était univalente : la fibration associée d’équivalences homotopiques par paires entre les fibres est équivalente à la fibration chemins-espace de la base.


title: Théorie des types homotopiques

text: Pour formuler l'univalence en tant qu'axiome, Voevodsky a trouvé un moyen de définir des "équivalences" syntaxiquement qui possèdent la propriété importante que le type représentant la déclaration « f est une équivalence » était (sous l'hypothèse de l'extension de fonction) (-1)-tronqué (cf. contractile si habité). Cela lui a permis de donner une déclaration "syntaxique" de l'univalence, généralisant "l'extensionalité" de Hofmann et Streicher à des dimensions supérieures. Il a également pu utiliser ces définitions d'équivalence et de contractibilité pour commencer à développer des quantités significatives de " théorie synthétique de l'homotopie " dans l'assistant de preuves Coq. Ceci a formé la base de la bibliothèque appelée plus tard " Fondations " et finalement " UniMath ".


title: Théorie des types homotopiques

text: L'unification des différents fils de fer a débuté en par une réunion informelle à l'Université Carnegie-Mellon, au cours de laquelle Voevodsky a présenté son modèle dans les complexes de Kan et son code Coq à un groupe comprenant Awodey, Warren, Lumsdaine et Robert Harper, Dan Licata, Michael Shulman, et d'autres. Cette réunion a produit les grandes lignes d'une preuve (de Warren, Lumsdaine, Licata et Shulman) selon laquelle toute équivalence d'homotopie est une équivalence (au sens cohérent de Voevodsky), basée sur l'idée de la théorie des catégories visant à améliorer les équivalences en équivalences équivalentes. Peu de temps après, Voevodsky prouva que l’axiome d’univalence impliquait l’extensionalité de la fonction.


title: Théorie des types homotopiques

text: Le prochain événement essentiel était un mini-atelier organisé par Steve Awodey, Richard Garner, Per Martin-Löf et Vladimir Voevodsky, à l' Institut de recherche mathématique d'Oberwolfach, intitulé " L'interprétation homotopique de la théorie des types constructive ". Dans le cadre d'un didacticiel Coq pour cet atelier, Andrej Bauer a écrit une petite bibliothèque Coq basée sur les idées de Voevodsky (mais n'utilisant en réalité aucun de ses codes). Cela devint finalement le noyau de la première version de la bibliothèque "HoTT" Coq (le premier commit de cette dernière de Michael Shulman indique " Développement basé sur les fichiers d'Andrej Bauer, avec de nombreuses idées extraites des fichiers de Vladimir Voevodsky ") L’une des choses les plus importantes qui ont émergé de la réunion d’Oberwolfach était l’idée de base des types inductifs supérieurs, due à Lumsdaine, Shulman, Bauer et Warren. Les participants ont également formulé une liste de questions ouvertes importantes, notamment pour savoir si l'axiome d'univalence satisfait à la canonicité (toujours ouverte, bien que certains cas particuliers aient été résolus de manière positive), si l'axiome d'univalence comporte des modèles non standard (depuis il y eut une réponse positive de Shulman), et comment définir des types (semi)simpliciaux (encore ouverte dans MLTT, bien que cela puisse être fait dans le système de types hotomotopiques (HTS) de Voevodsky, une théorie des types à deux types d’égalité).


title: Théorie des types homotopiques

text: Peu de temps après l'atelier Oberwolfach, le "site Web et le blog" "théorie des types homotopiques ont" été créés et le sujet a commencé à être popularisé sous ce nom. L’historique du blog donne une idée des progrès importants réalisés au cours de cette période.


title: Théorie des types homotopiques

text: L'expression " fondations univalentes " convient pour tous d'être étroitement liée à la théorie des types homotopiques, mais tout le monde ne l'utilise pas de la même manière. Vladimir Voevodsky l'avait utilisé, à l'origine, pour faire référence à sa vision d'un système fondamental des mathématiques dans lequel les objets de base étaient des types homotopiques, reposant sur une théorie des types satisfaisant l'axiome d'univalence et formalisée dans un assistant de preuve informatique.


title: Théorie des types homotopiques

text: À mesure que les travaux de Voevodsky s'intégraient à la communauté d'autres chercheurs travaillant sur la théorie des types homotopique, les " fondations univalentes " étaient parfois utilisés indifféremment avec la " théorie des types homotopiques " et, d'autres fois, pour se référer uniquement à son utilisation en tant que système fondateur (excluant, par exemple, l’étude de la sémantique modèle-catégorique ou de la métathéorie du calcul). Par exemple, le sujet de l'année spéciale (IAS) a été officiellement qualifié de " fondations univalentes ", même si une grande partie du travail effectué dans ce domaine portait sur la sémantique et la métathéorie en plus des fondations. Le livre produit par les participants au programme IAS était intitulé " Théorie des Types Homotopiques : Fondations Univalentes des Mathématiques " ; bien que cela puisse faire référence à l'une ou l'autre utilisation, puisque le livre ne traite que de la théorie des types homotopiques comme fondement mathématique.


title: Théorie des types homotopiques

text: En 2012 et en 2013, des chercheurs de l'Institut d'études avancées ont organisé " Une Année Spéciale sur les Fondations Univalentes des Mathématiques ". L'année spéciale a rassemblé des chercheurs en topologie, en informatique, en théorie des catégories et en logique mathématique. Le programme était organisé par Steve Awodey, Thierry Coquand et Vladimir Voevodsky.


title: Théorie des types homotopiques

text: Pendant le programme, Peter Aczel, qui était l'un des participants, a mis en place un groupe de travail qui a étudié la manière de faire la théorie des types de manière informelle mais rigoureuse, dans un style analogue à celui des mathématiciens ordinaires. Après des expériences initiales, il est apparu clairement que cela était non seulement possible, mais également très bénéfique, et qu’un livre (le livre Théorie des Types Homotopiques) pourrait et devrait être écrit. De nombreux autres participants au projet ont ensuite rejoint l'effort avec un support technique, l'écriture, la correction des preuves et l'apport d'idées. Fait inhabituel pour un texte mathématique, il a été développé en collaboration et à l’air libre sur GitHub. Il est publié sous une licence Creative Commons qui permet aux utilisateurs de créer leur propre version du livre.


title: Théorie des types homotopiques

text: Plus généralement, l'année spéciale a été un catalyseur pour le développement de l'ensemble du sujet. Le livre Théorie des Types Homotopiques n'était que le plus visible des résultats.  "ACM Computing Reviews" classé le livre parmi les publications remarquables de 2013 dans la catégorie " informatique théorique ".


title: Théorie des types homotopiques

text: La théorie des types homotopiques utilise une version modifiée de l'interprétation " propositions en tant que types " de la théorie des types, selon laquelle les types peuvent également représenter des propositions. Les termes peuvent alors représenter des preuves. Cependant, dans la théorie des types homotopiques, contrairement aux " propositions en tant que types " standard, un rôle particulier est joué par les " simples propositions " qui sont grosso modo celles qui ont au plus un terme, jusqu'à l'égalité propositionnelle. Celles-ci s'apparentent davantage à des propositions logiques conventionnelles que des types généraux, c'est en ce sens qu'elles sont non probantes. Le concept fondamental de la théorie des types homotopiques est le chemin. Dans cette théorie, le type formula_1 est le type de tous les chemins du point formula_2 jusqu'au point formula_3.(Par conséquent, une preuve qu'un point formula_2 est égal à un point formula_3 est la même chose qu'un chemin du point formula_2 jusqu'au point formula_3) Pour tout point formula_2, il existe un chemin de type formula_9, correspondant à la propriété de la réflexivité de l'égalité. Un chemin de type formula_1 peut être inversé, formant un chemin de type formula_11, correspondant à la propriété de la symétrie de l’égalité. Deux chemins de type formula_1 et formula_13 peuvent être concaténés, formant un chemin de type formula_14. Ceci correspond à la propriété de la transitivité de l'égalité.


title: Théorie des types homotopiques

text: Plus important encore, étant donné un chemin formula_15 et une preuve de propriété formula_16, la preuve peut être " transportée " le long du chemin formula_17 pour donner une preuve de la propriété formula_18. (De manière équivalente, un objet de type formula_16 peut être transformé en un objet de type formula_18) Ceci correspond à la propriété de substitution de l'égalité. Ici, une différence importante entre les mathématiques de la théorie des types homotopiques et les mathématiques classiques entre en jeu. En mathématiques classiques, une fois que l'égalité de deux valeurs formula_2 et formula_3 a été établi, formula_2 et formula_3 peuvent être utilisés indifféremment par la suite, sans distinction entre elles. Cependant, dans la théorie des types homotopiques, il peut y avoir plusieurs chemins différents formula_1, et transporter un objet le long de deux chemins différents donnera deux résultats différents. Par conséquent, dans la théorie des types homotopiques, lors de l'application de la propriété de substitution, il est nécessaire d'indiquer quel chemin est utilisé.


title: Théorie des types homotopiques

text: En général, une "proposition" peut avoir plusieurs preuves différentes. (Par exemple, le type de tous les nombres naturels, considéré comme une proposition, a tous les nombres naturels comme preuve) Même si une proposition n'a qu'une preuve formula_2, l'espace des chemins formula_9 peut être non-trivial en quelque sorte. Une "simple proposition" est tout type qui est vide ou ne contient qu'un seul point avec un espace de chemins trivial.


title: Théorie des types homotopiques

text: A noter que les gens écrivent formula_1 pour formula_29, laissant ainsi le type formula_30 de formula_31 implicite, à ne pas confondre avec formula_32, désignant la fonction identité sur formula_30.


title: Théorie des types homotopiques

text: Deux types formula_30 et formula_35 appartenant à un univers formula_36 sont définis comme "équivalents" s’il existe une "équivalence" entre eux. Une équivalence est une fonction


title: Théorie des types homotopiques

text: qui a à la fois un inverse gauche et un inverse droit, en ce sens que pour formula_38 et formula_39 convenablement choisis, les types suivants sont tous deux habités :


title: Théorie des types homotopiques

text: c'est-à-dire


title: Théorie des types homotopiques

text: Ceci exprime une notion générale de "f a à la fois un inverse gauche et un inverse droit", en utilisant des types égalité. À noter que les conditions d'inversibilité ci-dessus sont des types égalité dans les types de fonction formula_44 et formula_45. On suppose généralement l’axiome d’extensionalité des fonctions, ce qui garantit leur équivalence aux types suivants qui expriment l’inversibilité en utilisant l’égalité sur le domaine et le codomaine formula_30 et formula_35 :


title: Théorie des types homotopiques

text: c'est-à-dire pour tous formula_50 et formula_51,


title: Théorie des types homotopiques

text: Les fonctions de type


title: Théorie des types homotopiques

text: avec une preuve qu'elles sont des équivalences sont notées par


title: Théorie des types homotopiques

text: Ayant défini des fonctions équivalentes comme ci-dessus, on peut montrer qu’il existe un moyen canonique de transformer les chemins en équivalences. En d'autres termes, il existe une fonction du type


title: Théorie des types homotopiques

text: qui exprime que les types formula_57 qui sont égaux sont, en particulier, également équivalents.


title: Théorie des types homotopiques

text: L' axiome d'univalence affirme que cette fonction est elle-même une équivalence. Par conséquent, nous avons


title: Théorie des types homotopiques

text: "En d'autres termes, l'identité est équivalente à l'équivalence. En particulier, on peut dire que «les types équivalents sont identiques». "


title: Théorie des types homotopiques

text: La théorie des types homotopiques permet de traduire les preuves mathématiques dans un langage de programmation destiné aux assistants de preuve informatique beaucoup plus facilement qu'auparavant. Cette approche offre aux ordinateurs la possibilité de vérifier des preuves difficiles.


title: Théorie des types homotopiques

text: L'un des objectifs des mathématiques est de formuler des axiomes à partir desquels pratiquement tous les théorèmes mathématiques peuvent être dérivés et démontrés sans ambiguïté. Les preuves correctes en mathématiques doivent suivre les règles de la logique. Ils doivent pouvoir être dérivés sans erreur d’axiomes et d’énoncés déjà prouvés.


title: Théorie des types homotopiques

text: La théorie des types homotopiques ajoute l'axiome d'univalence, qui relie l'égalité des propositions logico-mathématiques à la théorie de l'homotopie. Une équation telle que «a = b» est une proposition mathématique dans laquelle deux symboles différents ont la même valeur. Dans la théorie des types homotopiques, cela signifie que les deux formes qui représentent les valeurs des symboles sont topologiquement équivalentes.


title: Théorie des types homotopiques

text: Selon Giovanni Felder, directeur de l'Institut d'études théoriques à l'ETH Zürich, ces relations d'équivalences topologiques peuvent être mieux formulées dans la théorie de l'homotopie, car elles sont plus complètes: la théorie de l'homotopie explique non seulement pourquoi «a est égal à b», mais également comment le calculer. En théorie des ensembles, il faudrait en plus définir cette information, ce qui rend plus difficile la traduction de propositions mathématiques dans des langages de programmation.


title: Théorie des types homotopiques

text: Dès 2015, d'intenses travaux de recherche étaient en cours pour modéliser et analyser formellement le comportement informatique de l'axiome d'univalence dans la théorie des types homotopiques.


title: Théorie des types homotopiques

text: "La théorie des types cubiques" est une tentative de donner du contenu informatique à la théorie des types homotopiques.


title: Théorie des types homotopiques

text: Cependant, on pense que certains objets, tels que les types semi-simpliciaux, ne peuvent être construits sans référence à une notion d'égalité exacte. Par conséquent, diverses "théories de types à deux niveaux" ont été développées. Elles répartissent leurs types en types fibrants respectant les chemins et en types non-fibrants. La théorie des types cubiques cartésienne est la première théorie des types à deux niveaux qui donne une interprétation informatique complète de la théorie des types homotopiques.


title: Zaona biseriatum

text: Zaona biseriatum est une espèce de pseudoscorpions de la famille des Chernetidae.


title: Zaona biseriatum

text: Cette espèce est endémique de Floride aux États-Unis. Elle se rencontre vers le lac Poinsett.


title: Zaona biseriatum

text: L'holotype mesure .


title: 1er août 1952

text: Le vendredi août 1952 est le 214 jour de l'année 1952.


title: Jean Gardien Givry

text: Jean Gardien Givry, né à Vervins en 1647 et mort en prison à l’île Sainte-Marguerite à une date inconnue du , est un prédicateur protestant français.


title: Jean Gardien Givry

text: Arrivé à Sedan, en 1669, en qualité de pasteur, Givry a causé un grand scandale à l’Église de cette ville en 1678 en abjurant, dans des circonstances inconnues, le protestantisme. À la révocation de l’Édit de Nantes, sept ans plus tard, il s’est néanmoins réfugié en Angleterre où il a été nommé pasteur de l’Église française de Plymouth, qu’il a desservie pendant cinq ans. En 1690, ayant pris la résolution de retourner prêcher l’Évangile en France, il a quitté Plymouth , après avoir été un temps retardé par l’opposition de son Église, le . Parti de Londres vers la fin du mois de juin et, arrivé à Rotterdam, trois jours plus tard, il a été très froidement reçu par Pierre Jurieu, auquel il s’était adressé pour lui proposer son projet et pour lui demander ses avis et quelques adresses nécessaires pour favoriser son voyage. Les propositions de Givry et sa personne ne pouvaient, en effet, que paraitre suspectes à Jurieu qui, surpris de n’avoir reçu aucun avis de Londres du projet de Givry ni de son départ, lui a demandé un certificat de son église de Plymouth, certifiant qu’il l’avait servie cinq ans et de manière assez édifiante, et qu’il en était sorti en homme d’honneur, en bon chrétien et en véritable ministre du saint Évangile.


title: Jean Gardien Givry

text: Sans se laisser décourager par cet accueil, il a écrit à Londres. Ayant reçu, au bout de trois semaines, toutes les pièces demandées, l’attitude de Jurieu à son égard a changé, après qu’il a compris que l’envie qui le poussait à entreprendre ce voyage dangereux était de réparer le scandale qu’il avait donné, treize ans auparavant, en abjurant le protestantisme à Sedan. Après un retard de trois semaines dû aux affaires du synode, il a enfin pu quitter Rotterdam, vers la fin du mois d’aout, mais il n’est arrivé à Bruxelles que lorsque Guillaume III, prince d’Orange, devenu roi d’Angleterre est accouru de Londres pour couvrir Bruxelles, menacée par le maréchal de Luxembourg, chargé par Louis XIV de venger la défaite de Jacques II. Ne pouvant plus compter sur deux officiers, qui devaient le faire passer en France, il erre dans le voisinage pendant trois semaines jusqu’à ce qu’on le prenne pour un espion français à Enghien. Il parvient néanmoins à se justifier auprès d’un commandant protestant français de l’armée de Guillaume III d’Orange.


title: Jean Gardien Givry

text: N’ayant réussi à trouver personne pour l'aider, à Ath, il s’est décidé, au bout de huit jours, à se mettre en route tout seul pour la France. Parti d’Ath un dimanche matin, il est arrivé à Mons, tombé aux Français depuis cinq à six mois, sur les trois heures de l’après midi. Il a réussi à y entrer, grâce à la précaution qu’il avait prise de quitter son costume de voyageur, pour éviter l’interrogatoire qui se faisait aux portes de la ville. Parti le lendemain pour Avesnes, il a été arrêté, à la porte de cette ville, par un vieux garde, qui l’a informé qu’il ne pourrait entrer sans l’autorisation du gouverneur de la ville. Comme le gouverneur était parti en promenade par une autre route, il a été confié à un Suisse avec ordre de le faire voir au gouverneur. Ayant réussi, par une feinte, à fausser compagnie au Suisse, il s’enfuit par un chemin opposé à sa route.


title: Jean Gardien Givry

text: Après avoir passé la nuit chez un paysan, il a repris la route de France par La Capelle, pour arriver à de son pays natal, au commencement d’, après un voyage de plus de cinq mois. Arrivé à Landouzy, célèbre par la réputation qu’elle avait de ne recevoir pour habitants que des protestants réformés, il y a passé trois jours, exerçant son ministre auprès d’une partie de sa famille et d’un grand nombre de gens de sa connaissance retournés à la religion protestante. Parti de là, je fus à Saint-Pierre, petit village où cinquante ou soixante personnes avait l’habitude de s’assembler les dimanches. Sans avoir averti personne, il y trouvé un si grand nombre de gens que le lieu destiné aux exercices de piété ne pouvait tous les contenir. À neuf heures du soir, le village, rempli de gens, faisait tant de bruit qu’il a dû le quitter immédiatement pour n’être pas surpris par ses ennemis.


title: Jean Gardien Givry

text: Arrivé à Lemé, rue des Bohins, en une heure et demie, sans aucun avis, il a trouvé plus de trois cents personnes et onze enfants à baptiser. En contraste avec la tiédeur rencontrée à son arrivée à Saint-Quentin, il a vu venir à lui les députés de sept villages catholiques des environs, très probablement Templeux, Hargicourt, Jeancourt, Lempire, Montbrehain, Nauroy et Vendelles, qui, au plus fort de la persécution, voulaient embrasser le protestantisme. Il a ensuite visité la plupart des Églises de Picardie et de Brie, notamment Laon, Chauny, Varennes, Noyon, Jonquières, Villeneuve près Chalandos.


title: Jean Gardien Givry

text: Deux mois après son entrée en France, c’est-à-dire au commencement de , il est arrivé à Paris, où il a trouvé deux autres pasteurs, très probablement de Matthieu de Malzac et Elisée Géraut, très actifs dans la cause protestante, quoique presque toujours sur le point d’être arrêtés. L’arrivée de Givry ne faisant qu’accroitre le danger, Géraut a quitté Paris pour visiter les autres parties de la France. Sollicité, au bout de quelques semaines, par des marchands de Sedan, d’aller relever leur Église, qu’aucun pasteur n’avait encore visitée, il a d’abord refusé, agité par le souvenir de son abjuration et le danger qu’il devait courir dans une petite ville où il était fort connu, y ayant demeuré neuf ans. Après avoir proposé en vain cette mission à Malzac, il s’est résolu à acquiescer aux demandes des Sedanais.


title: Jean Gardien Givry

text: Parti vers le milieu du mois de , il n’est arrivé, à cause des Églises qu’il a visitées en passant, que le dimanche à Sedan, après avoir laissé son cheval et ses armes à Torsy, petit village qui est au bout du pont pour ne pas paraitre en voyage ni en étranger. Habillé en bourgeois, il a marché droit à Sedan sur le soir, et rencontré le guide qui devait l’y introduire dans les meilleures maisons. Il a été reconnu de ses paroissiens, mais non méprisé car ceux-ci, car il a été reçu partout avec beaucoup de joie, et en cinq petites assemblées qu’il a présidées, il a reçu onze cents livres, tant pour les pauvres que pour ses frais de voyage. Sorti de la ville, malgré la neige et le froid, il a pris la route de la Champagne, pour aller visiter l’Église de Montlon, près d’Aÿ, sans passer à Châlons ni à Vitry, qui avaient refusé les services de quelques uns de ses collègues. Les nouveaux convertis de Montlon ne voulant pas le recevoir, il s’est tourna vers Châlons, également sans succès. Il a reçu un meilleur accueil à Vitry, mais l’appréhension était si grande qu’il n’y a pu avoir d’assemblée, faute de maison pour se réunir.


title: Jean Gardien Givry

text: Revenu à Châlons, il a trouvé les cœurs bien changés, pleins d’ardeur, et il a pu voir et consoler tous les membres de l’Église, y compris les pauvres. De Châlons, il s’est rendu à Loisy-en-Brie, et de là à Château-Thierry, qui avait dans le voisinage une Église appelée Monneaux, un petit village où il y avait un nombre considérable d’habitants, qui étaient tous protestants sans exception, le magistrat du lieu les favorisant. Il y a fait, trois jours de suite, des assemblées de quatre cents personnes dans des granges et des pressoirs. Le lieutenant général de Château-Thierry ayant même voulu s’entretenir avec lui, ils ont eu une conversation de deux ou trois heures sur les matières religieuses, le lieutenant voulant savoir du ministre si l’on pouvait être sauvé dans la religion catholique. La cour, ayant eu vent de la conduite du lieutenant, l’a fait mander secrètement à Paris, dans l’espoir qu’on pourrait peut-être avoir par lui de l’influence sur les protestants de Monneaux après avoir pensé, dans un premier temps, pensé faire un exemple.


title: Jean Gardien Givry

text: De Monneaux, il s’est rendu à Villeneuve, près Chalandos, où il a trouvé un peuple presque aussi dévot que celui de Monneaux. Il y a tenu une assemblée de près de quatre cents personnes, puis deux à Nanteuil-lès-Meaux, l’une de cinq cents, l’autre de sept cents personnes, avant de rentrer de nouveau à Paris, après un voyage de deux mois. L’Église de cette ville était plongée, depuis trois ou quatre semaines, dans la plus grande consternation par l’arrestation du ministre de Malzac, qui la desservait depuis deux ans. L’autre ministre, Géraut, qui avait fait un voyage dans les provinces pour dépister la police, n’est revenu à Paris qu’au mois de mai. Givry a alors résolu de visiter à son tour les églises plus éloignées, mais un nommé Braconnier l’a fait arrêter, moyennant deux mille livres de gratification, dans la rue Saint-Martin, chez le procureur au parlement Lardeau. Au moment de son arrestation, il était porteur de l’autobiographie qu’il avait commencée le , et qu’on lui a fait parapher.


title: Jean Gardien Givry

text: Arrêté le , il a été conduit à Vincennes le 24 du même mois, où il a retrouvé Élisée Gérant, arrêté le même jour que lui, et emprisonné dans le donjon, déjà depuis le . Bien que l’ordre qui les envoie à l’île Sainte-Marguerite soit du , ils ne sont sortis de Vincennes qu’au bout de deux ans, le . Enlevés de la Bastille ou du donjon de Vincennes, au milieu de la nuit, les pasteurs traversaient toute la France sans qu’on les laisse voir de personne. Arrivés à la prison d’État, ils étaient placés isolément dans des cachots, sans pouvoir communiquer entre eux, sans jamais se rencontrer, sans voir quiconque autre que leur gardien. Mis à l’isolement, sans possibilité de lire, d’écrire, nombre de pasteurs perdaient la raison et l’on ignore quand et comment est mort Givry. L’historien Antoine Court l’a cité comme un des plus actifs et des plus courageux parmi les pasteurs à avoir suivi les traces de Claude Brousson.


title: Colline fortifiée de Hakoinen

text: La colline fortifiée de Hakoinen () ou château de Hakoinen () est une colline fortifiée a Janakkala en Finlande.


title: Colline fortifiée de Hakoinen

text: La colline est sur la rive du lac Kernaalanjärvi à proximité de la Valtatie 3. Les ruines actuelles des fortifications remontent au Moyen Âge, probablement au XIIIe siècle. La période est incertaine, car les recherches archéologiques sur le site n'ont jusqu'à présent été menées qu'au début du XXe siècle.


title: Eleonora Farina

text: Eleonora Farina (née le à Trente) est une coureuse cycliste italienne, spécialiste de la descente en VTT.


title: Malin Lindgren

text: Malin Lindgren (née le ) est une ancienne coureuse cycliste suédoise, spécialiste de la descente et du dual slalom en VTT.


title: Helen Mortimer

text: Helen Mortimer (née le ) est une ancienne coureuse cycliste britannique, spécialiste de la descente et du dual slalom en VTT.


title: Lisa Sher

text: Lisa Sher (née le ) est une ancienne coureuse cycliste américaine, spécialiste de la descente et du dual slalom en VTT.


title: Jutta Stienen

text: Jutta Stienen, née le , est une coureuse cycliste suisse.


title: Frances Newstead

text: Frances Newstead (née le à Holmfirth ) est une ancienne coureuse cycliste britannique.


title: Jolanda Kalt

text: Jolanda Kalt, née le à Buttwil, est une coureuse cycliste suisse.


title: Daniela Louis

text: Daniela Louis (née le ) est une ancienne coureuse cycliste suisse, spécialiste de VTT cross-country marathon.


title: Helen Gaskell

text: Helen Gaskell (née le ) est une ancienne coureuse cycliste britannique, spécialiste de la descente en VTT.


title: Li Yan (cyclisme)

text: Li Yan, née le , est une coureuse cycliste chinoise, spécialiste de la piste.


title: Sissy van Alebeek

text: Sissy van Alebeek, née le à Schijndel, est une ancienne coureuse cycliste néerlandaise.


title: Northeast Entrance Station

text: La Northeast Entrance Station est une station de rangers américaine dans le comté de Park, au Montana. Située à l'entrée du parc national de Yellowstone, elle est elle-même inscrite au Registre national des lieux historiques et classée National Historic Landmark depuis le .


title: Petra Bernhard

text: Petra Bernhard (née le ) est une coureuse cycliste autrichienne, spécialiste de la descente en VTT.


title: Zita Urbonaitė

text: Zita Urbonaitė, née le à Šiauliai et décédée le à Montebelluna, est une coureuse cycliste lituanienne. Elle prend sa retraite sportive en 2006 et met fin à ses jours deux ans plus tard, heurtée par un train.6 participations


title: Zita Urbonaitė

text: 7 participations


title: Jaroslav Kovačič

text: Jaroslav Kovačič née le à Krško est un triathlète professionnelle slovène, double champion de Slovénie (2014 et 2015).


title: Jaroslav Kovačič

text: Le tableau présente les résultats les plus significatifs (podium) obtenus sur le circuit national et international de triathlon et de duathlon depuis 2014.


title: Course en ligne féminine aux championnats du monde de cyclisme sur route 1958

text: La course en ligne féminine aux championnats du monde de cyclisme sur route 1958 a lieu le à Reims en France. Cette première édition est remportée par la Luxembourgeoise Elsy Jacobs.


title: Course en ligne féminine aux championnats du monde de cyclisme sur route 1964

text: La course en ligne féminine aux championnats du monde de cyclisme sur route 1964 a lieu le à Sallanches en France. Elle est remportée par la Soviétique Emīlija Sonka.


title: Course en ligne féminine aux championnats du monde de cyclisme sur route 1972

text: La course en ligne féminine aux championnats du monde de cyclisme sur route 1972 a lieu le à Gap en France. Cette édition est remportée par la française Geneviève Gambillon.


title: Course en ligne féminine aux championnats du monde de cyclisme sur route 1980

text: La course en ligne féminine aux championnats du monde de cyclisme sur route 1980 a lieu le à Sallanches en France. Elle est remportée par l'Américaine Beth Heiden.


title: Course en ligne féminine aux championnats du monde de cyclisme sur route 1989

text: La course en ligne féminine aux championnats du monde de cyclisme sur route 1989 a lieu le à Chambéry en France. Elle est remportée par la Française Jeannie Longo.


title: Course en ligne féminine aux championnats du monde de cyclisme sur route 1961

text: La course en ligne féminine aux championnats du monde de cyclisme sur route 1961 a lieu le à Berne en Suisse. Elle est remportée par la Belge Yvonne Reynders.


title: Course en ligne féminine aux championnats du monde de cyclisme sur route 1971

text: La course en ligne féminine aux championnats du monde de cyclisme sur route 1971 a lieu le à Mendrisio en Suisse. Elle est remportée par la Soviétique et Russe Anna Konkina.


title: Course en ligne féminine aux championnats du monde de cyclisme sur route 1983

text: La course en ligne féminine aux championnats du monde de cyclisme sur route 1983 a lieu le à Altenrhein en Suisse. Elle est remportée par la Suédoise Marianne Berglund.


title: Course en ligne féminine aux championnats du monde de cyclisme sur route 1996

text: La course en ligne féminine aux championnats du monde de cyclisme sur route 1996 a lieu le à Lugano en Suisse. Elle est remportée par la Suissesse Barbara Heeb.


title: Course en ligne féminine aux championnats du monde de cyclisme sur route 2009

text: La course en ligne féminine aux championnats du monde de cyclisme sur route 2009 a lieu le à Mendrisio en Suisse. Elle est remportée par l'Italienne Tatiana Guderzo.


title: Course en ligne féminine aux championnats du monde de cyclisme sur route 1998

text: La course en ligne féminine aux championnats du monde de cyclisme sur route 1998 a lieu le à Fauquemont-sur-Gueule aux Pays-Bas. Elle est remportée par la Lituanienne Diana Žiliūtė .


title: Course en ligne féminine aux championnats du monde de cyclisme sur route 1999

text: La course en ligne féminine aux championnats du monde de cyclisme sur route 1999 a lieu le à Vérone en Italie. Elle est remportée par la Lituanienne Edita Pučinskaitė.


title: Rue Defrance

text: La rue Defrance est un des axes importants de Vincennes.


title: Rue Defrance

text: La rue Defrance suit le tracé de la "route départementale 143". Commençant au croisement du boulevard de la Libération, elle se dirige vers l'est et croise notamment la rue Jules-Massenet. Elle traverse ensuite l'intersection de la rue Félix-Faure avec la rue Pasteur et l'avenue Paul-Déroulède pour se terminer au carrefour des Rigollots.


title: Rue Defrance

text: Cette rue tient son nom du Général Jean Defrance (1771-1835), Gouverneur militaire de Paris.


title: Rue Defrance

text: Le 15 septembre 1918, durant la Première Guerre mondiale, deux bombes explosent sur les rue Defrance, lors d'un raid effectué par des avions allemands.


title: Marachernes bellus

text: Marachernes bellus est une espèce de pseudoscorpions de la famille des Chernetidae.


title: Marachernes bellus

text: Cette espèce est endémique d'Australie. Elle se rencontre au Victoria dans les monts Otway et en Tasmanie.


title: Marachernes bellus

text: Ce pseudoscorpion est myrmécophile, il se rencontre dans les fourmilières d"'Iridomyrmex" .


title: Marachernes bellus

text: Les mâles mesurent de à et les femelles de à .


title: Cimetière ancien de Vincennes

text: Le cimetière ancien de Vincennes est un des deux cimetières de cette commune.


title: Cimetière ancien de Vincennes

text: Il est situé entre la rue de Fontenay, le boulevard de la Libération, la rue des Sabotiers et l'avenue Gabriel-Péri.


title: Cimetière ancien de Vincennes

text: Le cimetière accueille un monument aux morts qui commémore les conflits : les guerres 1914-18, 1939-45 et AFN-Algérie (1954-62).


title: Cimetière ancien de Vincennes

text: Le 8 mars 1918, durant la première Guerre mondiale, l'ancien cimetière situé au rue de Fontenay est touché lors d'un raid effectué par des avions allemands.Un certain nombre de chapelles funéraires et de tombeaux sont inscrits à l'inventaire.