OpenLLM-France/wikimedia huggingface dataset:
# Chiniquodontidae

Chiniquodontoidea
Les Chiniquodontidae sont une famille éteinte de cynodontes probainognathiens basaux ayant vécu durant le Trias moyen et supérieur au Gondwana, c'est-à-dire en Amérique du Sud et en Afrique, où des fossiles ont été trouvés dans une vaste aire géographique. Deux genres valides sont inclus au sein du taxon : Aleodon (en) et Chiniquodon. Deux genres supplémentaires, à savoir Belesodon et Probelesodon, sont généralement considérés comme des synonymes juniors de Chiniquodon$^,$.

## Liste des espèces

Selon Martinelli, Kammerer et al. (2017), la famille des Chiniquodontidae comporte deux genres :
* † Chiniquodon, von Huene, 1936 : Madagascar, Namibie, Brésil, Argentine (Trias moyen à supérieur)
** Chiniquodon theotonicus : Brésil, Argentine
** Chiniquodon sanjuanensis : Argentine
** Chiniquodon kalanoro : Madagascar
* † Aleodon, Crompton, 1955 : Tanzanie, Namibie, Brésil (Trias supérieur)
** Aleodon brachyrhamphus, Crompton, 1955 : Tanzanie
** Aleodon cromptoni, Martinelli et aL, 2017 : Brésil
Aleodon est différent des autres probainognathiens basaux par ses dents postcanines étendues transversalement, comme chez les cynognathiens gomphodontes.

## Phylogénie

Le cladogramme ci-dessous montrant le placement des Chiniquodontidae selon Ruta, Botha-Brink, Mitchell et Benton (2013) :

## Chiniquodontoidea

Les Chiniquodontoïdes (Chiniquodontoidea) forment un clade obsolète de cynodontes qui était autrefois défini comme incluant tous les probainognathiens plus proches des mammifères que de Probainognathus, qui est la forme la plus primitive de ce dernier.
Il est aujourd'hui considéré comme un synonyme de Chiniquodontidae. Selon son suffixe, c'était une super-famille.
Ce groupe incluait les Chiniquodontidae, les Tritheledontidae et le clade des Prozostrodontia.
# Chioides

Le genre Chioides regroupe des insectes lépidoptères de la famille des Hesperiidae et de la sous-famille des Pyrginae.

## Liste des espèces

* Chioides albofasciatus (Hewitson, 1867)
* Chioides catillus (Cramer, 1780)
* Chioides jethira Butler
* Chioides marmorosa (Herrich-Schäffer, 1865)
* Chioides myrto (Mabille)
* Chioides zilpa (Butler, 1874)
# Chiropsalmus quadrumanus

Chiropsalmus quadrumanus est une méduse boîte (cuboméduse) de la famille des Chiropsalmidae.

## Anatomie

Chiropsalmus quadrumanus est transparente, mesure à peu près la même taille qu'un poing humain. Son ombrelle est robuste et lisse, presque aussi haute que large (pour un ratio d'environ 1:1.3), mais un peu aplatie au sommet. Le diamètre de la cloche avoisine les 140 mm. Chiropsalmus quadrumanus possède plusieurs tentacules à chaque coin, en tout 24 à 40, mesurant chacun jusqu'à 3 voire 4 mètres. La méduse possède 4 rhopalia (organes sensoriels), situés dans des petites niches à l'intérieur de l'ombrelle. Elle possède également un estomac large, rond, prolongée par quatre poches qui s'étendent dans les sinus radiaux le long des bords de la cloche ; à chaque poche gastrique sont accrochés deux « sacs » lisses en forme de doigt.
Elle possède quatre gonades, chacune étant une feuille mince de part et d'autre d'un canal radial ; à maturité, elles s'étendent chacune latéralement. Les tentacules sont généralement transparents excepté 1 ou 2 qui peuvent être mauve pâle, mais qui généralement restent incolore à jaune blanchâtre.

## Synonymes

* Chiropsalmus quadrigatus, Haeckel, 1880, est peut-être de la même espèce.
* Tamoya quadrumanus, Müller, 1859 est un synonyme de Chiropsalmus quarumanus

## Piqûre

La piqûre de cette cubozoaire peut être très dangereuse et mortelle pour les enfants.
# Cho Kyu-won

Cho Kyu-won (né le 1er septembre 1991) est un athlète sud-coréen spécialiste du 100 m.
Si son meilleur temps sur 100 m n'est guère significatif (seulement 10 s 71 réalisés à Daegu le 12 mai 2011), le 4 septembre de la même année, il permet à l'équipe sud-coréenne de battre dans le même stade de Daegu son récent record national sur relais 4 × 100, en demi-finale des Championnats du monde d'athlétisme 2011, en descendant pour la première fois sous les 39 s. Le temps officiel est de 38 s 94 qui leur permet d'être cinquièmes avec l'équipe de relais composée de la façon suivante : Yeo Ho-suah, Cho Kyu-won, Kim Kuk-young, et Lim Hee-nam. Il y remplaçait Jeong Duk-hyung auteur du record national du 22 mai précédent à Jiaxing. Il remporte la médaille de bronze sur 200 m lors des Jeux de l'Asie de l'Est de 2013.
# Chocholá

Chocholá est une municipalité située dans l’État mexicain du Yucatán.
# Chochołów

Chochołów peut faire référence à :

## Toponymie

en Pologne :
* Chochołów, un village de la voïvodie de Łódź.
* Chochołów, un village de la voïvodie de Petite-Pologne.
# Christine Flear

Christine Flear, née Christine Leroy le 22 avril 1967, est une joueuse d'échecs française.
Maître international féminin depuis 1986, elle a réalisé deux normes de Grand maître international féminin en 1986 et 2003.

## Biographie et carrière

Christine Flear a participé à de nombreux championnats de France d'échecs féminins : elle a remporté ce championnat à 5 reprises (en 1985, 1991, 1994, 1998 et 1999) et est arrivée 3 fois deuxième (1996, 1997 et 2002).
En octobre 2003, elle était classée 2267 au classement Elo.
Christine Flear a occupé des responsabilités au sein de la Fédération française des échecs, où elle a notamment été directrice des féminines au Comité Directeur de 1996 à 2001 puis à partir de 2005 où elle fait le lien entre le haut niveau et le Comité Directeur, notamment en accompagnant les équipes de France et l'équipe de France des jeunes.
Elle a rejoint à la rentrée 2013 le club de Lattes où elle a une fonction d'entraîneur et de suivi des équipes.
Christine Flear a épousé, en 1986, Glenn Flear, un Grand maître international anglais. Ils vivent en France, non loin de Montpellier, et ont deux fils.
# Chrośnica (Basse-Silésie)

Chrośnica est une localité polonaise de la gmina de Jeżów Sudecki, située dans le powiat de Jelenia Góra en voïvodie de Basse-Silésie.

## Histoire

De 1742 à 1945, Ludwigsdorf fait partie de l'arrondissement de Goldberg, dans le district de Liegnitz au sein de la province de Silésie.
# Chrudichromy

Chrudichromy (en allemand : Lang Chrudichrom) est une commune du district de Blansko, dans la région de Moravie-du-Sud, en République tchèque. Sa population s'élevait à 205 habitants en 2020.

## Géographie

Chrudichromy se trouve à 3 km au nord-ouest du centre de Boskovice, à 16 km au nord de Blansko, à 35 km au nord de Brno et à 170 km à l'est-sud-est de Prague.
La commune est limitée par Svitávka à l'ouest et au nord, par Míchov au nord, par Boskovice à l'est et au sud, et par Skalice nad Svitavou au sud-ouest.

## Histoire

La première mention écrite de la localité date de 1386.
# Chudowola

Chudowola (prononciation : [xudɔˈvɔla]) est un village polonais de la gmina de Michów dans le powiat de Lubartów de la voïvodie de Lublin dans l'est de la Pologne.
Il se situe à environ 5 kilomètres au nord de Michów (siège de la gmina), 23 kilomètres au nord-ouest de Lubartów (siège du powiat) et 40 kilomètres au nord-ouest de Lublin (capitale de la voïvodie).
Le village comptait approximativement une population de 140 habitants en 2009.

## Histoire

De 1975 à 1998, le village est attaché administrativement à l'ancienne Voïvodie de Lublin. Depuis 1999, il fait partie de la nouvelle voïvodie de Lublin.
# Chudzice

Chudzice (prononciation : [xuˈd͡ʑit͡sɛ]) est un village polonais de la gmina de Środa Wielkopolska dans le powiat de Środa Wielkopolska de la voïvodie de Grande-Pologne dans le centre-ouest de la Pologne.
Il se situe à environ 6 kilomètres à l'est de Środa Wielkopolska (siège de la gmina et du powiat) et à 36 kilomètres au sud-est de Poznań (capitale régionale).

## Histoire

De 1975 à 1998, le village faisait partie du territoire de la voïvodie de Poznań. Depuis 1999, Chudzice est situé dans la voïvodie de Grande-Pologne.
Le village possède une population de 100 habitants en 2006.
# Chikuma (Nagano)

Chikuma (千曲市, Chikuma-shi) est une ville située dans la préfecture de Nagano, sur l'île de Honshū, au Japon.

## Géographie
### Situation

Chikuma est située dans le nord de la préfecture de Nagano, au sud de la ville de Nagano.

### Municipalités limitrophes

Communes limitrophes de Chikuma :
| Nagano | Nagano | Nagano |
| Nagano | | Ueda |
| Omi | Chikuhoku | Sakaki |

### Démographie

En août 2020, la population de Chikuma s'élevait à 58 857 habitants, répartis sur une superficie de 119,79 km$^2$.

### Hydrographie

Le fleuve Chikuma traverse la ville.

### Climat

Chikuma a un climat continental humide avec des étés chauds et humides et des hivers froids. La température moyenne annuelle est de 9,2 °C. La pluviométrie annuelle moyenne est de 1 605 mm, septembre étant le mois le plus humide.

## Histoire

Chikuma a acquis le statut de ville en 2003.

## Transports

Chikuma est desservie par la ligne Shinonoi de la JR East et la ligne Shinano Railway.

## Personnalité liée à la municipalité

* Jun'ichi Kakizaki (né en 1971), artiste
# Chikuma

Chikuma est un mot transcrit du japonais qui peut désigner :
* le fleuve Shinano, qui prend pour nom alternatif celui de Chikuma lorsqu'il traverse la préfecture de Nagano ;
* la municipalité de Chikuma, qui a le statut de ville (市, shi) dans la préfecture de Nagano ;
* la maison d'édition Chikuma Shobō, basée à Tokyo ;
* Chikuma , nom de plusieurs navires de la Marine impériale japonaise.
# Christianity Today

Christianity Today est un magazine mensuel d'information et de réflexion chrétien évangélique, basé à Carol Stream, dans la banlieue de Chicago, dans le comté de DuPage, en Illinois, aux États-Unis. Sa première publication remonte à 1956.

## Historique

Le magazine est fondé en 1956 par le pasteur baptiste Billy Graham avec l'aide de John Howard Pew, un directeur de compagnie pétrolière$^,$$^,$$^,$$^,$. Le premier rédacteur en chef a été le théologien évangélique Carl F. H. Henry. En 1975, le journaliste Harold Myra est devenu président du magazine et a opté pour le développement d'un groupe de magazines divers, favorisant la fondation ou l'acquisition de plusieurs magazines dans les années 1980 et 1990, dont "Leadership" en 1980. En 2008, son site web attirait 11,8 millions de visiteurs par mois.
En 2022, le théologien baptiste Russell D. Moore a été nommé rédacteur en chef du magazine.
# Herbstmühle

Herbstmühle est une municipalité allemande située dans le land de Rhénanie-Palatinat et l'arrondissement d'Eifel-Bitburg-Prüm.
# Yves de Mbella

Yves de Mbella né le 3 janvier 1970 au Cameroun, est un promoteur de spectacles, journaliste et animateur de radio et de télévision en Côte d'Ivoire.

## Biographie
### Enfance, éducation et débuts

Yves de Mbella est né le 3 janvier 1970 au Cameroun$^,$. Il est l'ainé d'une fratrie de 4 enfants. Après l'obtention de son Baccalauréat A4, il s'inscrit en droit à l'université et obtient un Diplôme d’études universitaires générales en droit. Il est également titulaire d'un BTS en communication et action publicitaire obtenu à Abidjan.

### Carrière

Yves de Mbella fait ses débuts dans les médias dans les années 1990. Il travaille comme animateur à la radio et à la télévision pour des antennes comme Nostalgie en Côte d'Ivoire$^,$$^,$. Il travaille pendant une vingtaine d'années avec la Radio Nostalgie Abidjan. Il est le présentateur de l'émission Rien à Cacher sur la radio nostalgie et à la télévision sur Tam-Tam TV. Entre 2019 et 2021 , il est le présentateur de l'émission de divertissement "La télé d'ici vacances" diffusée sur NCI.

### Scandale

En septembre 2021, il reçoit dans son émission télé La télé d'ici vacances diffusée sur NCI, un violeur repenti libéré qu'il met en scène et lui demandant de reconstituer une scène de viol sur un mannequin. La démonstration suscite l'indignation de l'opinion publique ivoirienne. La ligue ivoirienne pour les droits de femmes porte plainte contre l'animateur et la chaine NCI pour apologie du viol et outrage public à la pudeur. Yves de Mbella est condamné à une peine de 12 mois de prison avec sursis et à payer une amende de deux millions de francs CFA$^,$.
# Coaldale (comté de Schuylkill, Pennsylvanie)

Coaldale est un borough situé au nord-est du comté de Schuylkill, en Pennsylvanie, aux États-Unis$^,$. En 2010, il comptait une population de 2 281 habitants. Il est incorporé le 9 septembre 1865.

## Démographie

Lors du recensement de 2010, le borough comptait une population de 2 281 habitants. Elle est estimée, en 2019, à 2 208 habitants.
# Sądowel

Sądowel est une localité polonaise de la gmina de Wąsosz, située dans le powiat de Góra en voïvodie de Basse-Silésie.

## Histoire

De 1742 à 1945, Tschistey fait partie de l'arrondissement de Guhrau dans le district de Breslau au sein de la province de Silésie.

## Personnalités liées

* Kuno Fischer (1824–1907), philosophe allemand y est né
# Vladimír Vyoral

Vladimír Vyoral, né le 5 décembre 1961, à Prague, en Tchécoslovaquie, est un ancien joueur et entraîneur de basket-ball tchécoslovaque, puis tchèque. Il évolue au poste d'arrière.

## Palmarès

* Finaliste du championnat d'Europe 1985
# Vyssoke

Vyssoke (ukrainien : Високе, russe : Высокое) est une commune urbaine de l'oblast de Donetsk, en Ukraine. Elle compte 455 habitants en 2021.
# Vyssokogorny (kraï de Khabarovsk)

Vyssokogorny (en russe : Высокого́рный) est une commune urbaine du raïon de Vanino du kraï de Khabarovsk, en Russie. Il est le centre administratif de l'établissement urbain de Vyssokogorny, et se trouve en Extrême-Orient russe. Sa population s'élevait à 2 443 habitants en 2023.

## Géographie

La commune urbaine de Vyssokogorny se situe en Extrême-Orient russe, dans le kraï de Khabarovsk, dans le district fédéral d'Extrême-Orient. La localité se trouve dans le raïon de Vanino, une des raïons du kraï, et fait partie de l'établissement urbain de Vyssokogorny, une municipalité du raïon, dont il est le chef-lieu$^,$$^,$.
Vyssokogorny, comme tout le kraï de Khabarovsk, est située dans le fuseau horaire MSK+7 (heure de Vladivostok). Le décalage horaire appliqué par rapport au temps universel coordonné est +10:00.

## Démographie

Recensements (*) et estimations de la population:
Évolution démographique :
| 2002* | 2010* | 2021* | 2023 |
| 4 044 | 3 376 | 2 512 | 2 443 |
# Vyssotsk

Vyssotsk (en russe : Высоцк ; en finnois : Uuras ; en suédois : Trångsund) est une ville portuaire du raïon de Vyborg dans l'oblast de Léningrad, en Russie. Avec 1 074 habitants en 2021, Vyssotsk est la troisième plus petite ville de Russie.

## Géographie

Vyssotsk est située sur la rive orientale de la baie de Vyborg, à 12 km au sud-ouest de Vyborg et 159 km au nord-ouest de Saint-Pétersbourg. Le canal de Saimaa, après avoir longé l'île Maly Vyssotski, débouche à proximité de la ville.

## Histoire
### L'Empire russe et le grand-duché de Finlande

La forteresse de Trångsund (littéralement : « détroit étroit ») fut construite sur l'ordre de Pierre le Grand au début du XVIIIe siècle, après la conquête de cette région de la Suède par la Russie au cours de la guerre du Nord. En 1812, Trångsund fut incorporée au grand-duché de Finlande associé par une union personnelle à la Russie par le tsar Alexandre Ier.

### La Finlande indépendante

Entre 1918 et 1940, la ville fait partie de la Finlande indépendante sous le nom d'Uuras. À la suite de la Guerre d'hiver, elle fut annexée par l'Union soviétique par le Traité de paix de Moscou, et devint une partie de la République socialiste soviétique carélo-finnoise. En 1941, Uuras fut reprise par les troupes finlandaises et annexée à nouveau par la Finlande dans la Guerre de Continuation.

### La période soviétique et russe

En juin 1944, la ville tomba aux mains de l'Armée rouge et fut cédée à l'Union soviétique par la Finlande suivant les clauses de l'armistice de Moscou et du Traité de paix de Paris. En juillet 1948, la ville fut renommée Vyssotsk, en l'honneur du mitrailleur soviétique Kouzma Demidovitch Vyssotski, qui avait été tué dans la région le 4 mars 1940, pendant les derniers jours de la Guerre d'hiver.
Vyssotsk peut être considérée comme le lieu de naissance de la radio, puisque c'est ici qu'Alexandre Popov effectua ses premières expériences en 1897 et 1902.
Vyssotsk abrite une base navale de la Flotte de la Baltique. Un important port pétrolier a commencé à fonctionner à Vyssotsk en 2004.

## Population

Recensements (*) ou estimations de la population
Évolution démographique :
| 1959* | 1970* | 1979* | 1989* |
| 1 345 | 1 318 | 856 | 929 |
Évolution démographique, suite (1) :
| 2002* | 2010* | 2012 | 2013 |
| 1 673 | 1 244 | 1 214 | 1 183 |
Évolution démographique, suite (2) :
| 2017 | 2019 | 2020 | 2021 |
| 1 120 | 1 094 | 1 089 | 1 074 |

## Personnalités

* Jacob Björnström (en) (1881-1935),
* Alexandre Popov (1859-1906)
* Stanislav Rostotski (1922-2001)
* Martti Ahtisaari (1937-)
# Vyssokopillia

Sur les autres projets Wikimedia :
Vyssokopillia (ukrainien : Високопілля, russe : Высокополье) est une commune urbaine de l'oblast de Kherson, en Ukraine. Elle compte 3 899 habitants en 2021.

## Géographie

Vyssokopillia est située au nord de l'oblast de Kherson, à 48 km au sud-sud-est de Kryvyi Rih, à 65 km à l'ouest-sud-ouest de Nikopol, à 116 km au nord-est de Kherson, à 156 km au sud-ouest de Dnipro et à 395 km au sud-est de Kiev

## Histoire

Prise par les Russes durant l'offensive de Kherson en mars 2022, elle est reprise par les forces ukrainiennes le 4 septembre 2022 lors de la contre-offensive ukrainienne de l'été 2022.
* Soldats ukrainiens après la libération de Vyssokopillia en septembre 2022.
# Fortunato Cerlino

Fortunato Cerlino (Naples, 17 juin 1971) est un acteur italien, notamment connu pour son rôle du mafioso Don Pietro Savastano dans la série italienne Gomorra et la série américaine Hannibal.

## Filmographie partielle
### Cinéma

* 2009 : Fortapàsc de Marco Risi : conseillé communal
* 2016 : Inferno de Ron Howard : le gardien du musée
* 2017 : Una famiglia de Sebastiano Riso : Dott Minerva
* 2021 : Diamante (Dietro la notte) de Daniele Falleri (it) : Bruno
* 2022 : Lamborghini (Lamborghini: The Man Behind the Legend) de Robert Moresco
* 2023 : The Palace de Roman Polanski : Tonino
* 2024 : In the Hand of Dante de Julian Schnabel

### Télévision

* 1996 : Un posto al sole
* 2013 : Hannibal : Rinaldo Pazzi
* 2014 : Gomorra : Don Pietro Savastano
* 2016 : Les Médicis : Maîtres de Florence : Mastro Bredani
* 2018 : Britannia : Vespasien
# Waeringoscorpio

Waeringoscorpio est un genre fossile de scorpions de la famille des Proscorpiidae.
Selon Paleobiology Database et GBIF, en 2022, le genre Waeringscorpio est synonyme de Labriscorpio.

## Distribution

Les espèces de ce genre ont été découvertes en Allemagne. Elles datent du Dévonien.

## Liste des espèces

Selon World Spider Catalog 20.5 :
* † Waeringoscorpio hefteri Størmer, 1970
* † Waeringoscorpio westerwaldensis Poschmann, Dunlop, Kamenz & Scholtz, 2008

## Étymologie

Ce genre est nommé en l'honneur d'Erik Norman Kjellesvig-Waering.

## Publication originale

* Størmer, 1970 : « Arthropods from the Lower Devonian (Lower Emsian) of Alken an der Mosel, Germany. Part 1: Arachnida. » Senckenbergiana Lethaea, vol. 51, n$^o$ 4, p. 335-369.
# Francisco Arriví

Francisco Arriví, né le 24 juin 1915 à San Juan (Porto Rico) et mort le 8 février 2007, est un dramaturge, poète, essayiste et metteur en scène portoricain.
# Francisco Armet de Castellví

Francisco Armet de Castellví, surnommé Pakán, né le 5 novembre 1892 à Terrassa (Catalogne, Espagne) et mort le 23 mars 1973 à Madrid (Espagne), est un footballeur espagnol des années 1910 et 1920 qui jouait au poste de défenseur.

## Biographie

Francisco Armet est issu d'une famille de l'aristocratie catalane. Avec ses frères Juan Armet et Jorge Armet, ils forment une fratrie sportive célèbre des débuts du XXe siècle en Espagne.
Francisco commence à pratiquer le football à l'Universitari SC en 1910. En 1912, il rejoint le FC Barcelone et en 1913 le RCD Espanyol. Il joue pendant sept saisons avec l'Espanyol formant une belle ligne défensive avec Ricardo Zamora et Amadeo Puig. C'est justement Francisco qui a encouragé Zamora à se lancer dans le football. En 1916, Francisco Armet devient capitaine de l'Espanyol.
Il évolue aux côtés de ses frères aussi bien à l'Universitari qu'à l'Espanyol.
Francisco Armet joue deux finales de Coupe d'Espagne : la première en 1912 sous le maillot du FC Barcelone gagnée face à la Gimnàstica de Madrid. La deuxième en 1915 avec l'Espanyol perdue contre l'Athletic Bilbao.
Il est sélectionné par l'équipe de Catalogne.

## Palmarès

Avec le FC Barcelone :
* Vainqueur de la Coupe d'Espagne en 1912
* Vainqueur de la Coupe des Pyrénées en 1912
Avec le RCD Espanyol :
* Champion de Catalogne en 1915 et 1918
# Francisco Assis

Francisco José Pereira de Assis Miranda, né le 8 janvier 1965 à Amarante, est un homme politique portugais membre du Parti socialiste (PS).

## Biographie

Membre du PS depuis 1985, il est élu député du district de Porto aux élections du 1er octobre 1995, et prend deux ans plus tard la présidence du groupe socialiste, à seulement 32 ans. Il l'occupe jusqu'en 2002, puis il est élu député au Parlement européen en 2004.
Il ne se représente pas aux élections européennes de juin 2009 pour pouvoir être candidat aux élections législatives du 27 septembre suivant, au cours desquelles il devient député du district de Guarda. Il retrouve la direction du groupe parlementaire du PS le 15 octobre suivant et l'exerce jusqu'à la fin anticipée de la législature, en 2011.
# Véronique Cortier

Véronique Cortier est une informaticienne française, spécialiste des protocoles de sécurité informatique née le 31 Mars 1978 à Troyes.

## Biographie

En mars 2003, Véronique Cortier soutient une thèse de doctorat en informatique à l'école normale supérieure Paris-Saclay intitulée Vérification automatique des protocoles cryptographiques. La même année, elle entre au Centre national de la recherche scientifique (CNRS) comme chargée de recherche au laboratoire lorrain de recherche en informatique et ses applications (LORIA). En novembre 2009, Véronique Cortier obtient son habilitation à diriger des recherches en informatique. En octobre 2010, elle devient directrice de recherche au CNRS. Elle est également membre du comité de pilotage du groupe de travail sur la vérification, au sein du Groupement de recherche Informatique Mathématique (GRD-IM). Ses recherches portent sur la vérification automatique de programmes, notamment les protocoles de sécurité sur les réseaux informatiques, à l'aide de modèles formels comme la logique du premier ordre ou la réécriture. Elle a conçu, en collaboration avec d'autres chercheurs, le logiciel de vote électronique open source Belenios.

## Récompenses

* 2003 : Prix Gilles-Kahn
* 2004 : Prix le Monde de la recherche universitaire
* 2010 : bourse du conseil européen de la recherche (ERC Starting Grant).
* 2015 : Prix Inria - Académie des sciences du jeune chercheur.
* 2017 : Chevalière de l'ordre national du Mérite.
* 2022 : Médaille d'argent du CNRS.
* 2023 : Officière de l'ordre national du Mérite.
# Fountain City

Fountain City peut faire référence à :
* Fountain City,une localité du comté de Wayne dans l'Indiana,
* Fountain City, une banlieue de Knoxville dans le Tennessee,
* Fountain City,une localité du comté de Buffalo dans le Wisconsin,
# Fountain Green

Fountain Green peut faire référence à :
* Fountain Green, une localité du comté de Hancock dans l'Illinois,
* Fountain Green (Maryland),
* Fountain Green, une localité du comté de Sanpete dans l'Utah,
# Wambrook

Wambrook est une paroisse civile et un village du Somerset, en Angleterre.