hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Lambda-calcul
Le lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930. Ce système fonde les concepts de fonction et d'application qui forment un cadre pour manipuler des expressions appelées λ-expressions. La lettre grecque λ est utilisée pour lier une variable. Par exemple, si  est une λ-expression, alors  représente la fonction qui à x associe .

Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives. Il revêt donc une grande importance dans la théorie de la calculabilité, au même titre que les machines de Turing et le modèle de Herbrand-Gödel. Dit autrement, le lambda-calcul est Turing-complet. Depuis, il a été appliqué comme langage de programmation théorique et comme métalangage pour la démonstration formelle assistée par ordinateur. Le lambda-calcul peut être typé ou non.

Le lambda-calcul est apparenté à la logique combinatoire de Haskell Curry et se généralise dans les calculs de substitutions explicites.

Système formel
Un système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis…). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif.

Les systèmes formels s'opposent aux langues naturelles pour lesquels les algorithmes de traitement sont extrêmement complexes et surtout doivent évoluer dans le temps pour s'adapter aux transformations du langage.

Les systèmes formels sont apparus en logique mathématique afin de représenter mathématiquement le langage et le raisonnement mathématique, mais peuvent se trouver également dans d'autres contextes : informatique, chimie…
Jan Bartram
Jan Bartram est un footballeur danois né le 6 mars 1962 à Frederiksberg, qui évoluait au poste de milieu de terrain au Bayer Uerdingen et en équipe du Danemark.

Bartram a marqué cinq buts lors de ses trente-deux sélections avec l'équipe du Danemark entre 1985 et 1991.

AGF Aarhus
Aarhus Gymnastik Forening af 1880 (souvent abrégé en AGF Aarhus ou simplement AGF), est la section football d'un club omnisports danois nommé Århus Elite A/S, basé à Aarhus, dans le Jutland central. Le club évolue en Superliga (D1).

Outre sa section football, le club dispose d'équipe en basket-ball (Bakken Bears) et handball  (AGF Aarhus Håndbold).
The Butter and Egg Man
The Butter and Egg Man est une pièce de théâtre écrite par George S. Kaufman en 1925 et créée la même année à Broadway. C'est la seule pièce qu'il a écrit seul. Elle a été adaptée à six reprises au cinéma, et est encore jouée sur scène de nos jours.

George S. Kaufman
George S. Kaufman (parfois crédité George Kaufman) est un dramaturge, librettiste, metteur en scène, directeur de théâtre, producteur, acteur, réalisateur, scénariste, critique dramatique et humoriste américain, né George Simon Kaufman à Pittsburgh (Pennsylvanie) le 16 novembre 1889 et mort à New York le 2 juin 1961.
Submarine Voyage
Submarine Voyage et 20,000 Leagues Under the Sea étaient des attractions des parcs Disneyland et Magic Kingdom sur le thème des voyages sous-marins. Il existe toujours une version améliorée de l'attraction au Tokyo DisneySea.

Disneyland
Disneyland [dis.nɛ.lãd], ou officiellement Disneyland Park, est un parc à thèmes situé dans la ville d'Anaheim, en Californie, aux États-Unis. Il est le seul « royaume enchanté » conçu et vu par Walt Disney et a été inauguré le 17 juillet 1955. Il fut construit en un peu plus d'un an par les équipes de Walt Disney Imagineering. Walt Disney dut pour le construire emprunter de l'argent en partie à ABC en échange de la production de la fameuse série Disneyland nommée par la suite Wonderful World of Walt Disney.

Le parc a été construit sur une ancienne orangeraie d'Anaheim de 730 000 m2 (73 hectares), dans le comté d'Orange, à une trentaine de kilomètres au sud-est de Los Angeles. Seuls 340 000 m2 (34 ha) constituent le parc proprement dit. Le parc est surnommé « L'endroit le plus joyeux du monde » (Happiest Place on Earth).

Le parc fait partie du complexe Disneyland Resort qui comprend aussi un autre parc, Disney California Adventure, plusieurs hôtels et une zone commerciale.
Saison 2020-2021 du Dijon FCO
La saison 2020-2021 du Dijon FCO est la sixième du club en première division, après avoir terminé seizième de Ligue 1 l'année passée.

L'équipe est dirigée par David Linarès après le renvoi de Stéphane Jobard le 5 novembre 2020, tandis que le club est présidé par Olivier Delcourt depuis 2012.

En raison d'un mercato tardif et trop peu qualitatif, les dijonnais ne parviendront jamais à lancer leur saison, et n'éviteront pas la relégation en terminant bon dernier du championnat, et rentreront dans l'histoire du championnat en ayant un des pires bilan en termes de points obtenus sur une saison depuis la création de la D1.

En Coupe de France, les bourguignons se feront éliminer dès leur entrée en lice face au Lille OSC.

Faute de stabilité sur le terrain, peu de dijonnais se montreront convaincants au niveau individuel, les rares exceptions sont l'attaquant Mama Baldé (meilleur buteur de la saison avec 7 buts) et le milieu Bersant Celina (meilleur passeur avec 5 passes décisives).

Dijon Football Côte-d'Or
Le Dijon Football Côte-d'Or, souvent abrégé en Dijon FCO ou DFCO, est un club de football français fondé en 1998 par fusion de deux clubs de Dijon.

Depuis sa fondation, le club joue au stade Gaston-Gérard, principal stade de la ville de Dijon.

Le club bourguignon est présidé par Pierre-Henri Deballon depuis juillet 2024. Il évolue en National. Le DFCO comprend également une section féminine qui évolue en D1 Arkema.
Four Seasons Hotel & Private Residences Denver
Le Four Seasons Hotel & Private Residences Denver est un gratte-ciel de 195 mètres de hauteur construit dans le Quartier d'affaires de Denver de 2007 à 2010. Sans l'antenne, la hauteur de l'édifice est de 172 mètres.

C'est le quatrième plus haut gratte-ciel de Denver.

Il abrite des logements et un hôtel de la chaîne Four Seasons Hotel sur 45 étages pour une surface de plancher de 71 209 m2.

Les architectes sont l'agence d'architecture Carney Architects et l'agence HKS, Inc.

Le promoteur ('developper') est la société  Teatro Tower LLC.

La construction du bâtiment a coûté 350 millions de $, ce qui en fait l'immeuble privé le plus coûteux jamais construit à Denver.

Four Seasons Hotels and Resorts
Four Seasons Hotels and Resorts est un groupe hôtelier de luxe international dont le siège se trouve à Toronto au Canada.

La société a été créée par Isadore « Issy » Sharp en 1960 avec l'ouverture du premier Four Seasons à Toronto. Depuis 2007, le groupe appartient au duo Al-Walid et Bill Gates.
Bogatyr
Le bogatyr (russe : богатырь; ukrainien: богатир) est un héros des contes et bylines réalisant des prouesses à caractère patriotique ou religieux dans les avant-postes de l’ancienne Rus'. L’analyse des annales et documents historiques de l’époque montre que certains exploits sont avérés.

On trouve les histoires de ces héros principalement dans les bylines, dans lesquelles leurs traits de caractère principaux sont exagérés. Aliocha Popovitch est réputé pour sa bravoure, Dobrynya Nikititch pour son courage, Ilia Mouromets pour sa force spirituelle et physique et son intégrité, et tous pour leur dévouement à la protection de leur terre et de leur peuple. Les bogatyrs ont tous en commun la force et la jeunesse : même si on parle d'Ilia Mouromets comme du « vieux Cosaque », le qualificatif vieux fait plutôt référence à son expérience et à sa maturité dans le domaine militaire. Tous luttent contre leur destinée.

Viktor Vasnetsov
Viktor Mikhaïlovitch Vasnetsov (en russe : Виктор Михайлович Васнецов), né le 3 mai 1848 (15 mai dans le calendrier grégorien) au village de Lopial près de Viatka et mort le 23 juillet 1926 à Moscou, est un artiste russe qui se spécialisa dans les représentations mythologiques et historiques. Il est considéré comme l'un des peintres les plus influents de l'art russe de la fin du XIXe et du début du XXe siècle.
Emmy Achté
Emmy Charlotta Strömer-Achté est une chanteuse lyrique finlandaise (mezzo-soprano), née le 14 novembre 1850 à Oulu et morte le 2 décembre 1924 à Helsinki. Elle se produit à Helsinki entre 1873 et 1879, surtout dans des rôles dramatiques. Elle exerce également comme professeur de chant pendant plus de quarante ans, et initie la classe d’opéra de l’Institut musical d’Helsinki (aujourd’hui l’Académie Sibelius),.

Oulu
Oulu (/ˈou̯lu/ , en suédois : Uleåborg /ˈʉːlɛoːˌbɔrj/ ) est une ville de Finlande située sur la côte nord-est du golfe de Botnie, en Ostrobotnie du Nord, dont elle est la capitale. Avec une population de 216 152 habitants en 2024, Oulu est au cœur de la quatrième agglomération de Finlande. C'est le centre administratif, culturel et commercial de la Finlande du nord et du centre.
Marie Solange Kayisire
Marie Solange Kayisire est une femme politique rwandaise. Elle est ministre des Affaires du gouvernement de 2017 à 2020,,. Depuis le 26 février 2020 elle est ministre de la gestion des catastrophes et des réfugiés (MINEMA).

Ministère de la Gestion des catastrophes et des Réfugiés
Le ministère de la Gestion des catastrophes et des Réfugiés (anglais : Ministry of Disaster Management and Refugee Affairs, MIDIMAR, kinyarwanda : Ministeri y'Imicungire y'Ibiza n'Impunzi) est un ministère du gouvernement rwandais. Le ministère a son siège dans le Blue Star House à Kigali.
Qinglongopterus
Qinglongopterus guoi

Qinglongopterus est un genre fossile de petits ptérosaures à longue queue de la famille des rhamphorhynchidés. Son fossile unique a été découvert en Chine dans le xian autonome mandchou de Qinglong de la province du Hebei dans le nord-est du pays.

Une seule espèce est rattachée au genre : Qinglongopterus guoi.

David Unwin
David Unwin (ou David M. Unwin) (1959-) est un paléontologue spécialiste des ptérosaures. En 2006, il rejoint l'université de Leicester après avoir travaillé pour le musée d'histoire naturelle de Berlin.
Nuit et Brouillard (film)
Nuit et Brouillard est un film documentaire français réalisé par Alain Resnais, à l'initiative de l'historien Henri Michel, sorti en 1956.

Il traite de la déportation et des camps d'extermination nazis de la Seconde Guerre mondiale, en application des dispositions dites « Nuit et brouillard » (décret du 7 décembre 1941).

Anne Sarraute
Anne Sarraute, née le 13 octobre 1930 à Paris 16e et morte le 19 septembre 2008 à Paris 12e, est assistante réalisatrice, chef monteuse et, pendant plus de quarante ans, secrétaire de rédaction du magazine La Quinzaine littéraire.
Linda Roy
Linda Roy est une actrice québécoise. Également active dans le doublage québécois, elle est entre autres une des voix de Sarah Jessica Parker, Helena Bonham Carter, Anne Heche, Rachel Weisz et Jennifer Tilly.

Sarah Jessica Parker
Sarah Jessica Parker [ˈsɛɹə ˈdʒɛsɪkə ˈpɑɹkɚ] est une actrice et productrice américaine née le 25 mars 1965 à Nelsonville (Ohio), connue pour son rôle de Carrie Bradshaw dans la série télévisée Sex and the City.
AlphaZero
AlphaZero est une version généraliste d’AlphaGo Zero, un logiciel de go (jeu de stratégie abstrait chinois) qui a été adapté pour jouer aux échecs et au shogi (échecs japonais). AlphaZero a été créé par Demis Hassabis, de l’entreprise Google DeepMind.

Demis Hassabis
Demis Hassabis (né le 27 juillet 1976 à Londres) est un entrepreneur et chercheur britannique en intelligence artificielle. Il est le directeur général de Google DeepMind, une entreprise qu’il a cofondée en 2010 et qui a été rachetée par Google en 2014. Il a également cofondé Isomorphic Labs. Il est co-lauréat avec John M. Jumper et David Baker du prix Nobel de chimie 2024 pour ses travaux sur la prédiction de la structure des protéines.

Il est aussi un ancien développeur de jeux vidéo, neuroscientifique et joueur de haut niveau dans de multiples disciplines dont les échecs.
Emma D'Arcy
Emma Zia D'Arcy est une personnalité britannique du cinéma, de la télévision et du théâtre, née le 27 juin 1992.

En 2022, D'Arcy incarne le personnage de la princesse héritière Rhaenyra Targaryen dans la série télévisée House of the Dragon, adaptation de Feu et Sang qui est une préquelle de Game of Thrones produite par HBO.

Truth Seekers
Truth Seekers est une série télévisée de comédie horrifique britannique créée par Nick Frost, Simon Pegg, James Serafinowicz et Nat Saunders et mise en ligne le 30 octobre 2020 sur Amazon Prime Video.

La série n'a pas été renouvelée pour une deuxième saison,.
Masham (Yorkshire du Nord)
Masham (prononcé Massam) est une petite ville dans Harrogate, un borough du Yorkshire du Nord en Angleterre. Elle est connue pour sa foire au mouton annuelle, la plus importante d'Angleterre, et pour la race ovine locale, le masham. La population comptait 1 112 habitants en 2021.

Masham (race ovine)
Le masham (prononcer mass-am) est une race ovine originaire du nord de l'Angleterre. Elle doit son nom à la petite ville de Masham dans le Wensleydale du Yorkshire du Nord. Elle descend de croisements au début du XXe siècle avec le bélier teeswater, robuste et endurant, et les brebis dalesbred ou swaledale, connues pour leur rusticité et leur longévité.

Les brebis sont sans cornes. Cette race de petite à moyenne taille (maximum 60 kg pour le bélier) porte une robe blanche, elle a les pattes, les oreilles et la tête marquées de taches noires sur un pelage d'un blanc éclatant. Les brebis sont prolifiques et font montre d'un bon instinct maternel. Ce sont de bonnes laitières. Ce mouton donne de 4 à 5 kg de laine par an.
Blaby (district)
Blaby est un district non-métropolitain du Leicestershire, en Angleterre.

Il porte le nom du village de Blaby. Il comprend 24 paroisses civiles, dont Blaby, Cosby, Countesthorpe, Enderby, Huncote, Narborough, où se trouvent les principaux services du conseil de district, Sapcote, Stoney Stanton et Wigston Parva. La majeure partie du district fait partie de l'aire urbaine de Leicester, notamment les paroisses de Braunstone Town, Glenfield, Kirby Muxloe, Leicester Forest East et Glen Parva.

Le district tire son origine du Poor Law Union de Blaby, fondé en 1834. Il devient un district rural du Leicestershire en 1894. Oadby en est retiré en 1913 pour former un district urbain. En 1935, des portions du district sont transférées à Leicester, tandis qu'il reçoit une partie du district rural de Hinckley, qui disparaît. En 1974, le Local Government Act de 1972 transforme le district en district non-métropolitain.

Countesthorpe
Countesthorpe est un village et une paroisse civile du Leicestershire, en Angleterre. Il est situé dans le district de Blaby, à une dizaine de kilomètres au sud de la ville de Leicester. Au moment du recensement de 2011, il comptait 6 377 habitants.

Le village est principalement connu pour son lycée, le Countesthorpe Community College, où s'est formé le groupe Kasabian.
Clairière de défrichement
Une clairière de défrichement est une zone, jusqu'alors non défrichée, émergeant d'une première installation humaine. L'homme commence généralement par défricher les abords immédiats de l'endroit où il s'est installé, créant ainsi une clairière dans la végétation naturelle. Par la suite, la croissance démographique va rendre nécessaire l'extension de cette clairière, souvent son essaimage, ce qui provoque la création de nouvelles clairières. Si l'expansion de la population continue, les différentes clairières se rejoignent progressivement, ce qui peut provoquer la disparition totale de la végétation naturelle préexistante,.

Mais généralement, si la pression démographique est modérée, les zones naturelles situées à la périphérie des terroirs habités restent en tout ou partie non défrichées. L'observation des cartes montre alors souvent, coïncidant peu ou prou avec les limites communales, la persistance de bois, forêts, landes ou tout autre type de végétation naturelle.

Clairière
Une clairière est un lieu ouvert dans une zone boisée (forêt, bois) où la lumière du Soleil arrive jusqu'au sol. Elle est un élément de l'écosystème forestier et peut être une source de produits forestiers autres que le bois.
Il existe des clairières couvertes.

Elle est caractérisée par des microclimats différents de ceux de la forêt périphérique et par une végétation (ex : épilobe, en zone tempérée) et des espèces d'oiseaux (ex : engoulevent), ou d'invertébrés typiques des lisières ou de milieux ouverts.
Joseph Noulens
Joseph Noulens, né le 29 mars 1864 à Bordeaux et mort le 9 septembre 1944 à Sorbets, est un homme politique et diplomate français. Il est l'ambassadeur de France à Pétrograd pendant la révolution russe.

Sorbets (Gers)
Sorbets est une commune française située dans l'ouest du département du Gers en région Occitanie. Sur le plan historique et culturel, la commune est dans le Bas-Armagnac, ou Armagnac noir, un pays s'inscrivant entre les vallées de l'Auzoue, la Gélise, la Douze et du Midou.

Exposée à un climat océanique altéré, elle est drainée par la Midouze, le ruisseau de Vielcapet et par divers autres petits cours d'eau. La commune possède un patrimoine naturel remarquable composé d'une zone naturelle d'intérêt écologique, faunistique et floristique.

Sorbets est une commune rurale qui compte 201 habitants en 2022. Elle fait partie de l'aire d'attraction de Nogaro. Ses habitants sont appelés les Sorbetziens ou  Sorbetziennes.
Opération des Nations unies au Mozambique
L’Opération des Nations unies au Mozambique fut mise en place le 13 octobre 1992 par la Résolution no 782 du Conseil de sécurité pour assister la mise en œuvre des accords de paix signés entre le Président du Mozambique Joaquim Chissano et le président de la Résistance nationale du Mozambique (RENAMO), Afonso Dhlakama. Le mandat devait faciliter la mise en œuvre des accords, surveiller le respect du cessez-le-feu, superviser le retrait des forces armées étrangères, assurer la sécurité dans les corridors de transport, ainsi que superviser et fournir une assistance technique au processus électoral]. L'ONUMOZ opéra de décembre 1992 jusqu'au 9 décembre 1994.

Résistance nationale du Mozambique
La Résistance nationale du Mozambique (en portugais : Resistência Nacional Moçambicana), abrégé en RENAMO, est un parti politique mozambicain de droite nationaliste, libéral et conservateur.

Elle est issue de la transformation en force politique de la guérilla armée du même nom en 1992, à la fin de la guerre civile et après l'introduction du multipartisme. Dirigée pendant quatre décennies par Afonso Dhlakama, mort en 2018, elle est présidée depuis par Ossufo Momade.
Mon Mothma
Mon Mothma est un personnage fictif de la saga Star Wars. Née sur Chandrila, elle représente sa planète au sénat galactique sur Coruscant. Après la chute de l'Empire galactique, elle fonde et dirige la Nouvelle République en tant que chancelière.

Elle est créée par George Lucas, le créateur de Star Wars, pour le film Le Retour du Jedi. Elle apparait brièvement dans le film dérivé Rogue One ainsi que dans des scènes coupées au montage de La Revanche des Sith. Elle est d'abord interprétée par Caroline Blakiston puis par Genevieve O'Reilly.

En plus des films, Mon Mothma apparait dans les mises en romans de ces œuvres, ainsi que dans d'autres romans, dans des bandes-dessinées ou des jeux vidéo qui composent l'univers de Star Wars. Elle figure aussi dans des séries télévisées de cet univers, notamment The Clone Wars, Rebels, Andor, Tales of the Jedi et Ahsoka.

Nouvelle République (Star Wars)
La Nouvelle République (en version originale anglaise : New Republic) est un régime politique fictif apparaissant dans l'univers fantastique de Star Wars et qui prend la place de l'Empire galactique, 4 ans après la bataille de Yavin. Elle est présente dans l'univers officiel et dans l'univers Légendes.
BB 10004
La BB 10004 est une locomotive électrique prototype de la société nationale des chemins de fer français (SNCF) qui permit la mise au point de la traction par moteurs synchrones autopilotés alimentés par onduleurs de courant à thyristors.

Cette machine a été réalisée en 1982 à partir de la BB 15055. Elle donna meilleure satisfaction que la BB 10003. L'expérimentation sera approfondie par les prototypes bicourant BB 20011-20012 qui préfigureront les BB 26000.

Sa livrée est semblable à celle des BB 15000 mais avec un fond bleu et non rouge. Elle sera remise au type BB 15000 en 1989.

L'onduleur à thyristors est constitué de six lignes de thyristors. La commutation du courant d'un bras d'alimentation à l'autre s'effectue spontanément sous l'action des forces électromotrices du moteur (sauf au démarrage).

Livrées SNCF
On appelle livrée la décoration extérieure d'un matériel roulant ferroviaire. Au cours de son histoire, depuis 1938, la Société nationale des chemins de fer français (SNCF) a utilisé de nombreuses livrées liées aux modes et aux changements de matériels. Certaines sont des essais sans lendemain sur quelques machines alors que d'autres sont de véritables marqueurs de l'identité de l'entreprise, comme la livrée « Béton » apparue en 1975.

Par ailleurs, la diversité s'est considérablement accrue au cours des années. En 1938, la livrée des voitures est vert foncé et celle des locomotives à vapeur, noire. Dans les années 1950, l'inox fait son apparition, suivi par une grande variété de couleurs, dont le summum se situe vers le début des années 2010, avec la personnalisation du matériel TER aux couleurs des conseils régionaux qui les financent.
Gare de Rœux
La gare de Rœux est une gare ferroviaire française de la ligne de Paris-Nord à Lille, située sur le territoire de la commune de Rœux dans le département du Pas-de-Calais, en région Hauts-de-France.

Elle est mise en service en 1846 par la Compagnie des chemins de fer du Nord.

C'est une halte voyageurs de la Société nationale des chemins de fer français (SNCF) desservie par des trains TER Hauts-de-France.

Rœux
Rœux est une commune française située dans le département du Pas-de-Calais en région Hauts-de-France. Ses habitants sont appelés les Rœuxois. Sa population est de 1 381 habitants au recensement de 2023. La commune est membre de la communauté urbaine d'Arras.

À la suite des destructions subies pendant la Première Guerre mondiale, elle est décorée de la croix de guerre 1914-1918.
Mario Gareña
Mario Gareña, de son vrai nom Jesús Arturo García Peña, né le 25 septembre 1932 à Barranquilla et mort le 25 août 2021 à Salt Lake City, est un chanteur et compositeur colombien. Il est l'un des plus grands artistes de musique cumbia, auteur notamment du classique : Yo me llamo cumbia.

Cumbia
La cumbia, ou cumba, est un genre musical et une danse traditionnelle folklorique ayant émergé au XVIIe siècle en Colombie. D'abord connue sous le nom de cumba, la cumbia s'est ensuite répandue en Amérique latine, particulièrement en Bolivie, au Pérou et en Argentine, où elle s'est mélangée aux musiques locales.

À l'origine, les tambours des esclaves servaient à accompagner les veilles funéraires. Les peuples amérindiens des Antilles ont ensuite ajouté à ces rythmes des ocarinas, des flûtes de roseau, et des gaïtas (sorte de longues flûtes amérindiennes) aux mélodies, aux paroles et à la danse importées par les colons espagnols.

Il existe de nombreux sous-genres tels que la cumbia classique, et des variantes régionales associées telles que la cumbia mexicaine, la cumbia péruvienne et la cumbia villera.