hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Qakarê Ibi
Qakarê Ibi est un ancien souverain égyptien du début de la Première Période intermédiaire et placé par la plupart des égyptologues comme membre de la VIIIe dynastie. Il aurait régné entre deux et quatre ans, autour de -2170. En tant que tel, le siège du pouvoir de Qakarê Ibi était Memphis et il ne détenait probablement pas le pouvoir sur toute l'Égypte. Qakarê Ibi est l'un des pharaons les mieux attestés de la VIIIe dynastie en raison de la découverte de sa petite pyramide à Saqqarah-Sud.

Pyramide de Qakarê-Ibi
La pyramide de Qakarê Ibi — ayant régné entre deux et quatre ans autour de -2170 —, est de type à faces lisses et se situe au sud de Saqqarah entre les chaussées du mastaba de Chepseskaf et de la pyramide de Pépi II. Elle fut érigée durant la VIIIe dynastie, c'est-à-dire, selon la classification que l'on fait de cette dynastie, à la toute fin de l'Ancien Empire ou au tout début de la Première Période intermédiaire. Cette pyramide possède la particularité d'être la dernière pyramide à textes qui a été retrouvée. Il ne reste plus aujourd'hui de cette petite pyramide qu'un monticule de sable et de débris. Adjacente à la pyramide se trouve une petite chapelle où le culte funéraire avait lieu. Aucune trace de chaussée ni de temple de la vallée n'a été retrouvée à ce jour, et il est probable qu'il n'y en a jamais eu.
Terminus Panama
Le terminus Panama est un terminus métropolitain de l'Autorité régionale de transport métropolitain situé dans la ville de Brossard. Il constitue un point de correspondance entre plusieurs lignes d'autobus du Réseau de transport de Longueuil, d'exo et de la Ville de Saint-Jean-sur-Richelieu ainsi que la station Panama de la ligne A du Réseau express métropolitain.

Station Panama
Panama est une station du Réseau express métropolitain (REM) de la Région métropolitaine de Montréal. Elle est située au centre de l’autoroute 10, entre le boulevard Pelletier et le boulevard Taschereau, dans la ville de Brossard, agglomération de Longueuil sur le territoire de la région Montérégie au Québec.

La station est ouverte le 29 juillet 2023, lors de la mise en service de la première section du REM.
Madchat (Inspecteur Gadget)
Madchat est le chat noir, gris, blanc du Docteur Gang (chef de l'organisation M.A.D.). Tous deux sont des personnages de fiction de la série télévisée d'animation Inspecteur Gadget.

Madchat est un personnage remarqué dans la série, toujours situé à côté du bras du Docteur Gang. Très joueur, il lui arrive parfois de chercher à attraper la main de son maître ou un objet que celui-ci est en train de manipuler. Il sert parfois de souffre-douleur lorsque son maître s'énerve parce que ses plans ne se déroulent pas comme prévu.

Docteur Gang
Le Docteur Gang (Doctor Claw en anglais) est un personnage de la série d'animation Inspecteur Gadget. Il est considéré comme l'antagoniste principal de la série, en tant que chef de MAD, une organisation criminelle.
Service interacadémique des examens et concours
Le Service interacadémique des examens et concours (SIEC) est un organisme créé en 1982, recevant de la part des trois recteurs des académies de Paris, Créteil et Versailles délégation de compétences en matière d’organisation des examens et concours. Le site d’Arcueil est appelé la Maison des examens. Ce service déconcentré est une structure unique en matière d’examens et concours au sein de l’Éducation nationale.

Académie de Créteil
L’académie de Créteil est une circonscription scolaire et universitaire gérée par un recteur. Elle comprend trois départements, placés chacun sous l’autorité d’un inspecteur d’académie – directeur des services départementaux de l'Éducation nationale :

Seine-et-Marne

Seine-Saint-Denis

Val-de-Marne.

L’académie de Créteil fait partie de la zone C. Elle emploie 75 000 personnels et scolarise plus d’un million d’élèves (915 000), apprentis (22 500) et étudiants (85 000). C’est la deuxième académie de France par sa population scolaire.
Kantele
Le kantele (prononcé [ˈkɑntele] en finnois) est un instrument à cordes pincées traditionnel de Finlande et de Carélie.

Des instruments proches existent dans de nombreuses régions du monde comme le kannel estonien, le kusle (en) maris, le gousli russe, le kokle (en) letton, ou le kanklės lituanien.

Le Kantele est aussi proche des anciens instruments d'Asie comme le qalun ouïghour, le gu zheng chinois, le Koto japonais et le gayageum coréen.

Gousli
Les gousli, gusli (en russe : гусли) ou housli et husli (en ukrainien : гуслі), constituent peut-être le plus ancien type d'instrument à plusieurs cordes pincées de Russie et d'Ukraine. Il en existe deux formes principales apparentées soit aux cithares, soit aux lyres. On trouve dans les pays voisins de la mer Baltique des instruments similaires : le kantele finlandais, le kannel estonien, le kokle letton, le kanklės lituanien.

Aux temps de la Rus' de Kiev, le terme gousli semble s'être appliqué à tout instrument à corde générique. Le mot dérive d'un verbe vieux-slave gousti qui signifiait « tinter, résonner, bourdonner ». Le nom finit par désigner le « gousli-psalterion » trapézoïdal, d'origine peut-être byzantine ; ce nom peut aussi désigner d'autres instruments dans d'autres cultures slaves, comme le violon en tchèque (housle) et un instrument à corde unique frottée des Balkans (gusle).
Melody (AB Groupe)
Melody est une chaîne de télévision musicale du Groupe AB ayant émis entre 1996 et 1997.

Elle fusionne rapidement avec Nostalgie la télé ayant le même style de programmation, la musique des années 1960 à 1980.

Nostalgie la télé
Nostalgie la télé est une chaîne de télévision musicale française ayant émis de 1997 à 1999. Elle représente la déclinaison de la radio Nostalgie et est alors diffusée sous licence par NRJ Group et AB Groupe.
Boca Chica Village
Boca Chica Village, anciennement Kennedy Rives et, plus tard, Kopernik Rives, est une petite communauté non constituée en municipalité dans le comté de Cameron, au Texas, aux États-Unis. Elle se trouve à 20 km à l'est de la ville de Brownsville et fait partie des régions métropolitaines Brownsville–Harlingen–Raymondville et Matamoros–Brownsville. Elle est située sur la Texas State Highway 4 et à 2 milles (3 kilomètres) au nord-ouest de l'embouchure du Río Grande.

En 2014, la localité a été choisie comme emplacement pour la construction du site de lancement SpaceX South Texas et, en mai 2025, une partie du territoire de Boca Chica Village se constitue en municipalité de Starbase, du nom du site de SpaceX.

SpaceX Starbase
Le SpaceX Starbase, aussi connu sous le nom de Boca Chica Launch Site, anciennement SpaceX South Texas Launch Site, est une base privée de production, de test et de lancement de fusées appartenant à SpaceX, située à Boca Chica Village, au Texas, sur la côte est des États-Unis, près de la frontière avec le Mexique. Ce site de lancement était à l'origine destiné au lancement des fusées Falcon 9 et Falcon Heavy de l'entreprise mais en 2018, SpaceX annonce un changement de plans, indiquant que le site sera utilisé exclusivement pour Starship, le lanceur lourd nouvelle génération de la compagnie. En 2019 et 2020, le site a considérablement étendu ses capacités de production et de test, et est aujourd'hui activement employé pour la construction, le test et le lancement de prototypes du lanceur Starship.
Archidiocèse de Trani-Barletta-Bisceglie
L' archidiocèse de Trani-Barletta-Bisceglie (en latin : Archidiœcesis Tranensis-Barolensis-Vigiliensis ; en italien : Arcidiocesi di Trani-Barletta-Bisceglie) est un archidiocèse de l'Église catholique d'Italie, suffragant de l'archidiocèse de Bari-Bitonto et appartenant à la région ecclésiastique des Pouilles.

Archidiocèse de Bari-Bitonto
L' archidiocèse de Bari-Bitonto (en latin : Archidiœcesis Barensis-Bituntina ; en italien : Arcidiocesi di Bari-Bitonto) est un archidiocèse métropolitain de l'Église catholique d'Italie appartenant à la région ecclésiastique des Pouilles.
Baluba du Kasaï
Les Baluba du Kasaï (ou Baluba-Kasaï, Luba-Kasaï, Bena-Kasaï, Baluba Bena-Kasaï) sont un peuple de la République démocratique du Congo vivant principalement dans la région du Kasaï, au sud de la rivière Sankuru, et appartenant au grand groupe des Luba. Ils parlent le tshiluba qui est une langue de la famille des langues bantoues du groupe de langues luba. Leur origine historique est le Katanga aux environs du lac Kisale et lac Upemba.

Luba (peuple)
Les Lubas ou Baluba sont une population bantoue d’Afrique centrale établie principalement en république démocratique du Congo originaires des provinces du Haut-Lomami, Tanganyika. On les retrouve aussi dans d'autres provinces l'ex Katanga,dans la province de Lomami et dans le grand Bandundu. On les retrouve aussi en  en Zambie.[réf. nécessaire]
Humahuaca
Humahuaca est une ville de la province de Jujuy, en Argentine, et le chef-lieu du département d'Humahuaca. Elle est située à 109 km au nord de San Salvador de Jujuy. Sa population s'élevait à 18 847 habitants en 2022.

Elle doit son nom au peuple indien des Omaguacas. On y trouve plusieurs bâtiments dus à son passé colonial dont l'église. L'ensemble des ruelles et des maisons rappellent une cité de l'époque coloniale. Depuis 1969, la ville est le siège d'une prélature territoriale catholique, et l'église Nuestra Señora de la Candelaria y San Antonio est devenue la cathédrale de Humahuaca.

La principale voie d'accès à la ville est l'importante route nationale 9 qui mène à l'Altiplano et à la frontière bolivienne en direction de La Quiaca au nord, et à la capitale provinciale San Salvador de Jujuy au sud.

La ville est située dans la célèbre Quebrada de Humahuaca. En 2003, elle a été déclarée site du patrimoine mondial par l'UNESCO lors de l'assemblée de Paris.

San Salvador de Jujuy
San Salvador de Jujuy est une ville du nord-ouest de l'Argentine et la capitale de la province de Jujuy. Elle est située au pied des Andes, à 1 340 km (1 650 km par la route) au nord-ouest de Buenos Aires. Sa population s'élevait à 308 950 habitants en 2022.
Couture
Une couture est l'assemblage de deux ou plusieurs pièces à l'aide de fil à coudre, soit manuellement avec une aiguille, soit en utilisant une machine à coudre ou une surjeteuse. La couture est utilisée dans la fabrication des vêtements, du linge de maison (draps, mouchoirs, ...), des éléments de décoration (nappes, rideaux, tentures, ...), des chaussures, de la maroquinerie (bagages, sacs, ...). La première utilisation connue du mot daterait du XIVe siècle.

La couture des bords des plaies et incisions contribue en chirurgie à la rapidité et qualité de leur cicatrisation. On parle dans ce domaine de « suture », certains des fils utilisés ont la particularité d'être dégradés par le corps (« fils résorbables »), comme l'est le catgut.

Aiguille à coudre
Une aiguille à coudre ou aiguille à chas est un instrument de couture permettant de faire passer un fil à travers un tissu ou un cuir.

L'une des extrémités est pointue et permet de percer le tissu. L'autre est munie d'une perforation appelée « chas », dans laquelle on passe le fil afin qu'il soit entraîné avec l'aiguille à travers le tissu.
Rivière Blanche Nord-Ouest (rivière Ruban)
La rivière Blanche Nord-Ouest est un affluent de la rivière Blanche, coulant entièrement dans le canton de Huot, du côté ouest de la rivière Saint-Maurice, en Haute-Mauricie, en traversant les cantons de Huot, dans l'Agglomération de La Tuque, dans la région administrative de la Mauricie, dans la province de Québec, au Canada.

Ce cours d'eau fait partie du bassin versant de la rivière Saint-Maurice laquelle se déverse à Trois-Rivières sur la rive nord du fleuve Saint-Laurent.

L’activité économique du bassin versant de la rivière Blanche Nord-Ouest est la foresterie. Le cours de la rivière coule entièrement en zones forestières. La surface de la rivière est généralement gelée du début de décembre jusqu’au début d’avril. Une route forestière longe la rive nord-ouest de la partie inférieure de la rivière.

Rivière Blanche (rivière Ruban)
La rivière Blanche est un affluent de la rivière Ruban, coulant vers le sud dans le canton de Huot, dans le territoire de La Tuque, en Mauricie, dans la province de Québec, au Canada.

Le cours de la rivière coule entièrement en zones forestières. La partie inférieure de la rivière est desservie par la route forestière 457.
Pâte à choux
La pâte à choux est une pâte complexe, cuite en deux temps, utilisée en pâtisserie pour de nombreuses réalisations sucrées (chou à la crème, éclair, religieuse, saint-honoré…) ou salées (gougères, pommes dauphines et quenelles lyonnaises…). Elle est obtenue par l'incorporation d'œufs dans une pâte appelée « panade », composée de farine qui subit une opération de pré-cuisson dans de l'eau et/ou du lait, salée, beurrée et au cours du desséchage. Plusieurs opérations, maintenant assez mécanisées, nécessitaient beaucoup d'énergie et de force.

Pâtisserie
La pâtisserie désigne à la fois certaines préparations culinaires sucrées à base de pâte, l'ensemble des opérations pour leur confection, la boutique où se vendent ces préparations faites par un pâtissier ou par l'industrie agroalimentaire, ainsi que cette même industrie de transformation et de commercialisation de ces produits : gâteaux et tartes notamment.

Les pâtisseries sont consommées soit sous forme de dessert en fin de repas, soit à l'occasion de collation en cours de journée (notamment à l'occasion d'un goûter ou d'un thé).
Bhagirathi
La Bhaghirathi (anglais : Bhagirathi River; hindi : भागीरथी नदी (bhāgīrathī nadī)) est une rivière de l'Inde, longue de 205 km qui prend sa source dans le glacier Gangotri, dans l'Himalaya, et qui constitue une des deux sources principales du Gange, avec l'Alaknanda. Les deux rivières confluent à Devprayag.

Gange
Le Gange (sanskrit : गङ्गा Gaṅgā, ourdou : گنگا, bengali : গঙ্গা Gōnga) est un fleuve de la plaine indo-gangétique, au nord de l'Inde. Sa longueur varie suivant les sources de 2 500 à 3 000 km, son bassin recouvre 907 000 km2 et son delta est commun avec celui du Brahmapoutre.

Le Gange est la plus sainte des sept rivières sacrées de l'Inde.
Matsuyachō-dōri
Le Matsuyachō-dōri (松屋町通, Matsuyachō-dōri), aussi appelé Matsuyamachi-dōri, est une voie du centre-nord de Kyoto, dans l'arrondissement de Kamigyō. Orientée nord-sud, elle débute à l'Ichijō-dōri et termine au Takeyamachi-dōri.

Takeyamachi-dōri
Le Takeyamachi-dōri (竹屋町通, Takeyamachi-dōri), littéralement Rue de Takeyamachi, est une voie du centre-ville de Kyoto. Orientée ouest-est, elle débute au Senbon-dōri (en), dans l'arrondissement de Nakagyō, et termine au Sakuranobanba-dōri (ja), dans l'arrondissement de Sakyō.

La partie à l'est de la rivière Kamo de la rue est souvent appelée le Higashitakeyamachi-dōri (東竹屋町通, Higashi Takeyamachi-dōri).
L'Appel
L’Appel, « organe de la Ligue française d'épuration, d'entraide sociale et de collaboration européenne », était une revue collaborationniste française dirigée par Pierre Costantini du Parti Ligue française. Les deux principaux collaborateurs de ce périodique étaient Robert J. Courtine et Paul Riche. Le gérant était Augustin Raymond et le numéro 1 est paru le 6 mars 1941.

Cette publication est avant tout connue aujourd'hui pour les textes que l'écrivain antisémite Louis-Ferdinand Céline y fit paraître sous l'Occupation. Le futur scénariste et dialoguiste Michel Audiard, alors âgé de 23 ans, y écrit aussi à partir de 1943  : il y publie quelques nouvelles et des articles de critique littéraire,.

Ligue française
La Ligue française d'épuration, d'entraide sociale et de collaboration européenne, appelée couramment Ligue française, était un mouvement politique collaborationniste français fondé par Pierre Costantini en septembre 1940, avec la bienveillance de l'Allemagne. La ligue change de nom après l'invasion de l'URSS pour se baptiser Ligue française antibritannique et antibolchévique. Elle était dotée d'un service d'ordre, la Milice révolutionnaire française (à ne pas confondre avec la Milice française). Son journal s'intitulait L'Appel.
Tournoi de tennis du Chili (ATP 2006)
Résultats détaillés de l'édition 2006 du tournoi de tennis professionnel masculin du Chili. Cette dernière appartenant à la catégorie ATP 250, s'est tenue du 30 janvier au 5 février sur terre en extérieur à Viña del Mar. C'est la 22e édition du tournoi.

Saison 2006 de l'ATP
Cet article rassemble les résultats des tournois de tennis masculin de la saison 2006. Celle-ci est constituée de 69 tournois répartis en plusieurs catégories :

64 organisés par l'ATP :
les Masters Series, au nombre de 9 ;
les International Series Gold, au nombre de 9 :
les International Series, au nombre de 44 ;
la Tennis Masters Cup qui réunit les huit meilleurs joueurs et paires au classement ATP Race en fin de saison ;
la World Team Cup (compétition par équipes).

5 organisés par l'ITF :
les 4 tournois du Grand Chelem ;
la Coupe Davis (compétition par équipes).

La Hopman Cup est une compétition mixte (par équipes), elle est organisée par l'ITF.

Gustavo Kuerten, Juan Carlos Ferrero, Andre Agassi, Thomas Johansson, Albert Costa, Gastón Gaudio, Marat Safin, Lleyton Hewitt, Rafael Nadal et Roger Federer sont les joueurs en activité qui ont remporté un tournoi du Grand Chelem.
Cantiques du Serviteur
Les Cantiques du Serviteur ou Chants du Serviteur, ou encore Poèmes du Serviteur, sont un ensemble de péricopes du Livre d'Isaïe. Il s'agit de quatre passages du « Deutéro-Isaïe » : 42:1-9, 49:1-7, 50:4-11 et 52:13 - 53:12. Ce Serviteur, appelé par YHWH à apporter la lumière aux « nations », est l'objet du mépris des hommes. L'unité de ces textes ainsi que l'identité du Serviteur soulèvent plusieurs questions en termes d'exégèse biblique, tant dans l'interprétation du judaïsme que dans celle du christianisme.

Livre d'Isaïe
Le Livre d'Isaïe, ou Livre d'Ésaïe, est un livre du Tanakh (l'Ancien Testament pour le christianisme), qui aborde la déportation du peuple juif à Babylone, puis son retour et la reconstruction du Temple de Jérusalem sur l'ordre du roi achéménide Cyrus II. Isaïe est le premier des grands prophètes inclus dans les Nevi'im.
Ramipril
Le ramipril est une molécule utilisée comme antihypertenseur de la famille des inhibiteurs de l'enzyme de conversion. Il est utilisé pour traiter l'hypertension artérielle et l'insuffisance cardiaque congestive et permet d'améliorer la survie après un infarctus du myocarde ou un accident ischémique,. Il est aussi utilisé dans la prévention des complications de pathologies artérielles et du diabète ainsi qu'en médecine vétérinaire notamment pour traiter l'insuffisance cardiaque canine et la cardiomyopathie hypertrophique féline.

Inhibiteur de l'enzyme de conversion
Les inhibiteurs de l’enzyme de conversion (IEC) sont des médicaments, qui sont utilisés notamment dans le traitement de l’hypertension artérielle, de la maladie coronarienne et de l’insuffisance cardiaque chronique. Ce sont des inhibiteurs de l’enzyme de conversion de l’angiotensine (ECA souvent abrégée ACE du fait de l'acronyme anglophone angiotensin-converting enzyme), qui est un élément d’une cascade régulant la pression artérielle (système Rénine-Angiotensine-Aldostérone). Les composants inhibant l’ECA ont été trouvés initialement dans le venin de serpents du genre Bothrops.

Les principaux représentants utilisés dans le domaine thérapeutique sont le captopril, l’énalapril, le lisinopril et le ramipril. Compte tenu de leur forte importance thérapeutique, ces médicaments font partie des substances ayant généré les chiffres d’affaires les plus élevés.
Medelsheim
Medelsheim est un quartier de la commune allemande de Gersheim dans l'arrondissement de Sarre-Palatinat en Sarre.

Jusqu'au 1er janvier 1974, le village était une commune indépendante de l'arrondissement de Hombourg.

Gersheim
Gersheim (en sarrois Gärrschemm) est une commune allemande de l'arrondissement de Sarre-Palatinat dans le Land de Sarre.

Elle est située à environ 20 km au sud-ouest de Hombourg, chef-lieu de son arrondissement, et à 25 km à l'est de Sarrebruck, capitale du Land.
Sonie
La sonie ou bruyance (loudness) est une valeur numérique qui représente le volume sonore tel que perçu par l'être humain. C'est une grandeur psychoacoustique qui se rattache de façon complexe à la pression acoustique. Sur une chaîne haute-fidélité, un poste de télévision, un smartphone, et autres appareils électroacoustiques le volume sonore est la sonie du son produit.

Comme pour toutes les grandeurs psychosensorielles, les études psychoacoustiques sur la sonie sont basées sur des statistiques de résultats d'expérience, la perception variant d'un individu à l'autre, comme aussi la capacité à discerner et verbaliser les différences, qui est susceptible d'apprentissage. Plutôt qu'une mesure, la sonie est un indicateur de volume sonore, pour lequel existent plusieurs méthodes d'évaluation.

Psychoacoustique
La psychoacoustique est la branche de la psychophysique qui étudie les rapports entre les perceptions auditives de l'être humain et les sons qui parviennent à ses oreilles. Elle fait appel à l'acoustique, qui étudie la nature et les propriétés des ondes sonores, à la physiologie de l'audition, qui examine dans quelle mesure elles se transforment en influx nerveux, à la psychologie et aux sciences cognitives. Elle emploie les méthodes de la psychologie expérimentale.
Championnat du monde d'endurance FIA 2022
Le championnat du monde d'endurance FIA 2022 est la dixième édition du championnat du monde d'endurance FIA, une compétition automobile co-organisée par la Fédération internationale de l'automobile (FIA) et l'Automobile Club de l'Ouest (ACO).

Championnat du monde d'endurance FIA
Le championnat du monde d'endurance FIA (FIA World Endurance Championship ou FIA WEC) est un championnat de course de voitures de sport organisé par l'Automobile Club de l'Ouest sous le parrainage de la Fédération internationale de l'automobile (FIA).

Créé en 2012, le championnat du monde d'endurance FIA est issu de l'Intercontinental Le Mans Cup, lui-même créé en 2010. Il fait revivre une compétition mondiale vingt ans après l'arrêt de l'ancien championnat du monde des voitures de sport.

Cette compétition d'endurance rassemble des voitures de type sport-prototypes en catégorie Hypercar depuis 2021, et précédemment en catégorie Le Mans Prototype ; et de type Grand Tourisme en catégorie LMGT3 depuis 2024, et précédemment en catégorie LMGTE.
Île Patterson
L'île Patterson est une île inhabitée de l'archipel arctique canadien au sein des îles de la Reine-Élisabeth au Nunavut. Elle est située dans l'océan Arctique au sud-est de l'île Grosvenor. Il s'agit de l'île la plus au sud du groupe de Findlay.

Groupe de Findlay
Le groupe de Findlay est un groupe d'îles situé dans l'océan Arctique au sein de l'archipel arctique canadien dans la région de Qikiqtaaluk au Nunavut. Il comprend les îles Lougheed, Stupart, Edmund Walker, Grosvenor et Patterson.
Automate de Muller
En informatique théorique, et en particulier en théorie des automates, un automate de Muller est un automate fini reconnaissant des mots infinis, doté d'une famille d'ensemble d'états terminaux distingués. Le mode de reconnaissance est le suivant : un mot infini est accepté par l'automate s'il est l'étiquette d'un chemin qui passe une infinité de fois par les états d'un des ensembles d'états terminaux distingués.

Ce type d'automate a été introduit par David E. Muller en 1963. Ces automates — déterministes ou non — ont le même pouvoir de reconnaissance que les automates de Büchi.

Automate de Büchi
En informatique théorique, un automate de Büchi est un ω-automate ou automate fini opérant sur des mots infinis, avec une condition d'acceptation particulière : une trace (ou calcul ou chemin infini) est réussie si et seulement si elle passe un nombre infini de fois par au moins un état acceptant. Un mot infini est accepté s'il est l'étiquette d'un calcul réussi. Ce type d'automate est utilisé en vérification de modèles.

Ce type d'automate a été défini par le mathématicien Julius Richard Büchi.