hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Décidabilité
En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique.

L’indécidabilité est la négation de la décidabilité. Dans les deux cas, il s'agit de formaliser l'idée qu'on ne peut pas toujours conclure lorsque l'on se pose une question, même si celle-ci est sous forme logique.

Théorème de complétude de Gödel
En logique mathématique, le théorème de complétude du calcul des prédicats du premier ordre dresse une correspondance entre la sémantique et les démonstrations d'un système de déduction en logique du premier ordre.

En termes intuitifs le théorème de complétude construit un pont entre vérité et démontrabilité formelle : tout énoncé vrai est démontrable. Plus précisément le théorème de complétude affirme que si un énoncé est conséquence sémantique d'une théorie que l'on peut décrire dans le formalisme du calcul des prédicats du premier ordre, c'est-à-dire qu'il est vrai dans tous les modèles de cette théorie, alors il est conséquence syntaxique de cette théorie : il existe une démonstration formelle qui déduit cet énoncé à partir des axiomes de la théorie en utilisant les règles d'un système de déduction comme la déduction naturelle, le calcul des séquents ou un système à la Hilbert.
Gare de Louveciennes
La gare de Louveciennes est une gare ferroviaire française de la ligne de Saint-Cloud à Saint-Nom-la-Bretèche, située dans la commune de Louveciennes, dans le département français des Yvelines en région Île-de-France.

Ouverte le 5 mai 1884 par la Compagnie des chemins de fer de l'Ouest, c'est aujourd'hui une gare de la Société nationale des chemins de fer français (SNCF) desservie par les trains de la ligne L du Transilien (réseau Paris-Saint-Lazare). Elle se situe à une distance de 23,4 km de la gare de Paris-Saint-Lazare.

Ligne L du Transilien
La ligne L du Transilien, plus souvent simplement dénommée ligne L, est une ligne de trains de banlieue qui dessert l'ouest de l'Île-de-France, avec plusieurs embranchements. Elle relie la gare de Paris-Saint-Lazare à celles de Versailles-Rive-Droite, Saint-Nom-la-Bretèche et Cergy-le-Haut.

Lancée en 2004, la ligne L est longue de 76 kilomètres. Exploitée par la SNCF, elle transporte aujourd'hui approximativement 311 000 voyageurs avec 726 trains par jour ouvrable. La totalité de la ligne étant située en Île-de-France, elle est uniquement du ressort d'Île-de-France Mobilités. En effet, des sept lignes du réseau Transilien ayant pour origine une grand gare parisienne, la ligne L est la seule à être intégralement située en Île-de-France.
Charles Nordhoff
Charles Bernard Nordhoff, né le 1er février 1887 à Londres et mort à Montecito le 10 avril 1947, est un écrivain américain, auteur de romans et de nouvelles.

Il a co-écrit plusieurs livres avec James Norman Hall, notamment Les Révoltés de la Bounty – un roman à succès transposé à plusieurs reprises au cinéma (en 1935, 1962 et 1984).

Les Révoltés de la Bounty (roman, 1932)
Les Révoltés de la Bounty (Mutiny on the Bounty) est un roman historique de James Norman Hall et Charles Nordhoff, publié en 1932.

Il a pour cadre l'authentique et célèbre mutinerie de la Bounty qui a eu lieu en 1789 à bord du navire de la marine royale britannique, le Bounty. Bien que fictive, c'est la version la plus proche de la réalité. C'est également le premier épisode de la « Trilogie de la Bounty », que Hall et Nordhoff ont poursuivi avec deux récits autonomes : Dix-neuf hommes contre la mer et Pitcairn (parus en France).
Charles-Edmond Naundorff
Charles-Edmond Naundorff, dit aussi Charles-Edmond de Bourbon, né le 3 avril 1833 à Crosno-sur-l'Oder et mort le 29 octobre 1883 à Bréda, est le sixième enfant et le troisième fils de Karl-Wilhelm Naundorff, le plus célèbre de ceux qui, au XIXe siècle, prétendirent être le dauphin Louis XVII, officiellement mort à la Tour du Temple. Il porte le titre de courtoisie de « duc d'Anjou ».

Les dernières études scientifiques sur Naundorff, qui ont exclu le fait qu’il soit le dauphin, montrent que ce dernier est bien un membre de la Maison de Bourbon, ce qui ferait potentiellement de Charles-Edmond, le petit-fils du roi Louis XVI, en ligne illégitime.

Karl-Wilhelm Naundorff
Karl-Wilhelm Naundorff, également connu sous le nom de Charles-Guillaume Naundorff, ou encore de « Louis XVII », mort le 10 août 1845 à Delft, est un prétendant au trône de France, le plus célèbre de ceux qui au XIXe siècle déclarèrent être l'ancien dauphin Louis XVII, censé avoir survécu à sa détention à la prison du Temple.

De 1810 à 1845, Naundorff essaya en vain de se faire reconnaître par la famille royale française comme le fils de Louis XVI et Marie-Antoinette. Il se constitua une cour, nomma des aides de camp, des officiers d'ordonnance, un ministère, etc.

Expulsé par les gendarmes de Louis-Philippe Ier, il trouva refuge en Angleterre, puis en Hollande, où il mit au point la « bombe Bourbon » et devint directeur des ateliers de pyrotechnie de Delft. Après sa mort, ses descendants continuent de prétendre au trône de France.
Tom Holland (réalisateur)
Tom Holland, né le 11 juillet 1943 à Poughkeepsie, est un réalisateur, scénariste et acteur américain . Il est spécialisé dans les films d'horreur. Il est notamment réalisateur de Vampire, vous avez dit vampire ?, Jeu d'enfant, le premier épisode de la série de Chucky, et de deux adaptations de Stephen King, La Peau sur les os et Les Langoliers. Il est l'oncle de Dexter Holland, chanteur du groupe The Offspring.

Jeu d'enfant (film)
Jeu d'enfant (Child's Play) est un film d'horreur américain réalisé par Tom Holland et sorti en 1988.

Il raconte l'histoire de Charles Lee Ray, un tueur en série psychopathe qui, en tentant d'échapper aux forces de l'ordre, est tué dans un magasin de jouets. Avant de mourir, il utilise la magie vaudou pour placer son esprit dans une poupée. Karen Barclay offre à son jeune fils Andy cette poupée qui imite le physique d'un petit garçon roux en salopette. Il s'agit d'une poupée Brave Gars, qui fait fureur auprès des jeunes à cette époque, et qu'Andy souhaitait posséder.

Gros succès à sa sortie, il devient un film culte et lance la création d'une franchise constituée de plusieurs films et d'une série télévisée.
Rue Joutx-Aigues
La rue Joutx-Aigues (en occitan : carrièra Josaica) est une voie de Toulouse, chef-lieu de la région Occitanie, dans le Midi de la France. Cette rue étroite, qui relie la rue des Paradoux à la rue des Filatiers, était au Moyen Âge au cœur du quartier juif de la ville, d'où elle tient probablement son nom. Elle fait aujourd'hui partie du site patrimonial remarquable.

Rue de la Dalbade
La rue de la Dalbade (en occitan : carrièra de la Dalbada) est une voie de Toulouse, chef-lieu de la région Occitanie, dans le Midi de la France.

Elle est, au Moyen Âge, une des principales artères de la ville, entre la porte Narbonnaise au sud et la Porterie au nord, bordée par les ateliers et les commerces de nombreux artisans et marchands. À partir du XVe siècle, les membres de l'élite toulousaine, particulièrement les riches marchands, les capitouls et les parlementaires, sont plus nombreux et font construire de belles demeures : l'hôtel de Felzins et l'hôtel de Bagis témoignent ainsi de leur richesse. En 1944, la rue est protégée comme site inscrit avec l'ensemble du quartier parlementaire de la Dalbade et, en 1986, elle est incluse dans le site patrimonial remarquable de Toulouse.
Street Fighter (film, 2026)
Street Fighter est un film américain réalisé par Kitao Sakurai (en) et dont la sortie est prévue en 2026. Il s'agit d'une adaptation de la série de jeux vidéo du même nom. C'est le 3e long métrage en prise de vues réelles et un reboot de la franchise de Capcom.

Le film met en vedette une distribution d'ensemble avec Noah Centineo, Andrew Koji, Callina Liang (en), Roman Reigns, David Dastmalchian, Cody Rhodes, Andrew Schulz (en), Eric André, Vidyut Jammwal, 50 Cent et Jason Momoa. Le projet est développé par Legendary Pictures, qui a acquis les droits cinématographiques et télévisuels de la franchise Street Fighter en avril 2023.

Andrew Koji
Andrew Julian Hiroaki Koji, né le 10 novembre 1987, à Epsom, Angleterre, est un acteur britannique, artiste martial et cascadeur.

Il est surtout connu pour son travail dans le rôle principal de Ah Sahm dans la série Warrior de Cinemax.
Marty Scurll
Martin « Marty » Scurll (né le 26 juillet 1988 à Littleport) est un catcheur britannique.

Il est principalement connu pour son travail dans les fédérations de catch de Grande-Bretagne comme la Revolution Pro Wrestling (RevPro) où il remporte le championnat britannique poids lourd-légers puis le championnat poids lourd ainsi qu'à la Progress Wrestling dont il est double champion du monde.

Fin 2012, il apparait dans l'émission TNA British Boot Camp, une émission de la Total Nonstop Action Wrestling mêlant catch et télé-réalité et dont le l'enjeu est un contrat avec cette fédération. Il n'obtient pas ce contrat et continue à lutter en Grande-Bretagne et commence à faire des apparitions dans des fédérations américaines. Il remporte notamment le tournoi Battle of Los Angeles de la Pro Wrestling Guerrilla en 2016 puis signe un contrat avec la ROH. Au sein de la ROH, il remporte le championnat du monde télévision.

Brody King
Nate Blauvelt (né le 17 mars 1987 à Palmdale, Californie) est un catcheur (lutteur professionnel américain. Il travaille à la All Elite Wrestling et la Pro Wrestling Guerilla, sous le nom de Brody King.
Konoe Tsunehiro
Konoe Tsunehiro (近衛 経熙) (1761 - 1799), fils du régent Konoe Uchisaki, est un noble de cour japonais (kugyō) de la période Edo (1603–1868). Il n'occupe pas les fonctions de régent kampaku et sessho. Il a pour fils Konoe Motosaki et il adopte une fille de Satsuma Shigehide, huitième daimyo du domaine de Satsuma, qui devient plus tard une consort du shogun Tokugawa Ienari.

Konoe Motosaki
Konoe Motosaki (近衛 基前, 1783-1820), fils de Konoe Tsunehiro, est un noble de cour japonais (kugyō) de la période Edo (1603–1868). Il n'occupe pas les fonctions de régents kampaku et sessho. Sa consort est une fille de Tokugawa Munechika, neuvième daimyo du domaine d'Owari; il a avec elle un fils, Konoe Tadahiro et une fille qui devient plus tard une consort de Tokugawa Nariharu, onzième daimyo du domaine d'Owari.
See You Tomorrow (film, 2016)
See You Tomorrow (摆渡人, Bai du ren) est une comédie romantique sino-hongkongaise réalisée par Zhang Jiajia, écrite et produite par Wong Kar-wai et sortie en 2016.

Les critiques sur le film sont largement négatives, ce qui cause une fréquentation en salles moindres aux prévisions. Maggie Lee de Variety considère le film comme une « comédie romantique exagérée et indigeste produite et co-scénarisée par Wong Kar-wai et dépourvue de toute la finesse habituelle de l'auteur ». Clarence Tsui de The Hollywood Reporter écrit que le film est un « mélange imperméable de contes informes, de gags ressassés, de relations vides et de jeux d'acteur douloureusement exagérés alors qu'il est habituellement de premier ordre chez ces acteurs ».

Le film récolte 287 millions de yuans (40 millions US$) lors de son premier week-end en Chine. Au 22 décembre 2016, il avait totalisé 69,3 millions US$ de recettes.

Wong Kar-wai
Wong Kar-wai est un réalisateur, scénariste et producteur chinois né le 17 juillet 1958 à Shanghai. Figure centrale du cinéma hongkongais, ses films figurent fréquemment sur les listes des meilleurs au niveau national et international.
Edward Weston
Edward Weston (né le 24 mars 1886 à Highland Park en Illinois et mort le 1er janvier 1958 à Carmel-by-the-Sea en Californie) est un photographe américain, cofondateur du groupe f/64.

La majeure partie de son travail a été effectuée en utilisant une chambre photographique de 8×10 pouces.

Jusqu'au début des années 1920, Weston préfère utiliser son objectif anachromatique, s'inscrivant ainsi dans une tendance « flou artistique ». Mais il s'oriente vers une nouvelle esthétique (« straight photography » ou « photographie pure »). Ce changement fut renforcé par sa rencontre avec Alfred Stieglitz, Charles Sheeler et Paul Strand.

« La précision au lieu de l'interprétation ». En 1932, il fonde avec Ansel Adams le groupe f/64 qui devient un haut lieu de la « photographie pure ».

Photographie pure
La photographie pure (straight photography) désigne un style de photographie tentant de dépeindre une scène de façon aussi réaliste et objective que possible, renonçant à toute forme de manipulation.

Le West Coast Photographic Movement  (« mouvement photographique de la côte ouest ») est connu principalement pour l'utilisation de ce style, qui émerge à partir des années 1930.
Léman Pass
Léman Pass est la communauté tarifaire transfrontalière entre le canton de Genève et les départements français de l'Ain et de la Haute-Savoie.

Sa mise en place a lieu le 15 décembre 2019 en même temps que le Léman Express et succède aux zones régionales d'Unireso.

Transports en commun de Thonon-les-Bains
Les transports en commun de Thonon-les-Bains, exploités sous le nom STAR'T, sont le réseau de transport en commun de la ville de Thonon-les-Bains et de Thonon Agglomération. Le réseau est exploité depuis le 1er mai 2022 par la société RDB Thonon, un groupement entre RATP Dev et les autocars Borini qui a aussi en charge l'exploitation du funiculaire de Thonon-les-Bains ainsi que du « petit-train » de cette même ville.

Jusqu'en mai 2022, les Bus urbains thononnais desservaient aussi Évian-les-Bains mais chacune des deux intercommunalités a décidé de mettre en place son propre réseau : « Star't » pour Thonon Agglomération et « ÉVA'D » pour la communauté de communes Pays d'Évian Vallée d'Abondance.
De l'amour et des restes humains
De l’amour et des restes humains (Love and Human Remains) est un film canadien de Denys Arcand produit en 1993 tourné en anglais : Love and Human Remains, adaptation de la pièce Unidentified Human Remains and The True Nature of Love de Brad Fraser

Denys Arcand
Denys Arcand, né Georges Henri Denis Arcand le 25 juin 1941 à Deschambault (Québec), est un réalisateur, scénariste, acteur et producteur de films québécois. Cinéaste au style très varié au fil de sa carrière, il est surtout reconnu au niveau international pour ses deux grands succès : Le Déclin de l'empire américain (1986) et sa suite, 18 ans plus tard : Les Invasions barbares (2003).
Passoire thermique
Une passoire thermique ou passoire énergétique est un local dont l'isolation est de très mauvaise qualité et qui conduit à des consommations énergétiques importantes ou à des conditions de vie difficile pour ceux qui y vivent ou qui le fréquentent. On parle aussi de bouilloire thermique pour les bâtiments particulièrement mal isolés contre les canicules.

En France, afin de lutter contre les passoires thermiques, la loi climat-résilience interdit la mise en location des logements classés G, F et E lors du diagnostic de performance énergétique, respectivement à partir de 2025 (classe G), 2028 (classe F) et 2034 (classe E) et impose des gels de loyers pour les locataires déjà titulaires d'un bail dans ce type de logements.

Rénovation énergétique
La rénovation énergétique désigne l'ensemble des travaux du bâtiment visant à diminuer la consommation énergétique des bâtiments et de ses résidents et décarboner les énergies utilisées pour le confort thermique. C'est une composante importante de la transition énergétique et au-delà de la réhabilitation écologique. Diverses politiques publiques de rénovation énergétique l'encouragent dans de nombreux pays pour aider les propriétaires fonciers à financer et entreprendre ce type de rénovation. Elle s'accompagne souvent d'une rénovation des systèmes de ventilation (car une maison rendue étanche n'évacue plus spontanément l'air vicié ou contaminé par des émanations de radon ou du mobilier).
L'Homme de la tour Eiffel
L'Homme de la tour Eiffel (The Man on the Eiffel Tower) est un film américain réalisé par Burgess Meredith et sorti en 1949.

Il est tiré du roman de Georges Simenon La Tête d'un homme, paru en 1931, où apparaît pour la cinquième fois le commissaire Maigret.

Burgess Meredith
Oliver Burgess Meredith, simplement appelé Burgess Meredith, est un acteur américain, né le 16 novembre 1907 à Lakewood dans l'Ohio et mort le 9 septembre 1997 à Malibu en Californie. En Europe, il est principalement connu pour avoir joué le rôle de Mickey, l'entraîneur de Rocky Balboa, dans les trois premiers épisodes de la série de films du même nom.
Ferropériclase
La ferropériclase, aussi appelée magnésiowüstite, est une variété de périclase riche en fer, de formule (Mg,Fe)O. Elle est considérée comme l'un des principaux constituants du manteau inférieur terrestre, associée à un silicate de magnésium et de fer de structure pérovskite.

Périclase
La périclase est une espèce minérale de formule MgO avec des traces de fer. Elle est la résultante tardive qui est produite naturellement dans les roches métamorphiques par des réactions secondaires.
C'est la forme cubique de l'oxyde de magnésium. La périclase est habituellement trouvée dans des marbres et est incolore lorsqu'elle est pure.
Dalila Maschino
Dalila Zeghar, née en 1951 et devenue par mariage Dalila Maschino, est une professeure d'Université,  chercheuse en littérature comparée et en études féministes, et femme de lettres franco-algérienne.

Son histoire personnelle a été mise sous le feu des projecteurs lors de son enlèvement à Montréal orchestré en 1978 par son frère Messaoud Zeghar et ses hommes de main, qui désapprouvait son mariage, son choix de carrière universitaire et sa volonté de vivre librement. Cette affaire suscita une importante mobilisation internationale.

Messaoud Zeghar
Messaoud Zeghar (en arabe : مسعود زغار), connu sous son nom de guerre Rachid Casa, né le 8 décembre 1926 à El Eulma en Algérie et mort le 21 novembre 1987 à Madrid (Espagne), est un militant nationaliste algérien. Il est un homme d’affaires puissant, diplomate officieux, entrepreneur international au service de l’Algérie.
Championnat des moins de 17 ans de la CONMEBOL 2009
Le Championnat des moins de 17 ans de la CONMEBOL 2009 est la treizième édition du Championnat des moins de 17 ans de la CONMEBOL qui a eu lieu à Iquique au Chili du 17 avril au 9 mai 2009. Ce tournoi sert de qualification pour la Coupe du monde des moins de 17 ans, organisée au Nigeria durant l'été 2009 : les 4 premiers sont directement qualifiés.

Le Brésil, une fois encore, remporte la compétition en battant en finale l'Argentine, après une séance de tirs au but. Les 2 sélections sont qualifiées pour le Mondial, tout comme l'Uruguay et la Colombie.

Équipe du Brésil des moins de 17 ans de football
L'équipe du Brésil des moins de 17 ans est une sélection de joueurs de moins de 17 ans au début des deux années de compétition placée sous la responsabilité de la Fédération du Brésil de football. Cette équipe a remporté à 12 reprises le Championnat des moins de 17 ans de la CONMEBOL, et par quatre fois la Coupe du monde des moins de 17 ans, la dernière fois en 2021 grâce à un doublé du prometteur Esclavinho, ailier gauche de Fluminense en Serie A brésilienne, lors de la victoire 4-2 face aux Japonais.
Kangan Giin
Kangan Giin (寒巌 義尹, 1217 – 1300) est un disciple de Dōgen et le fondateur de l'école Higo du Bouddhisme Zen Sōtō. Il a été prétendu que son père était l'empereur Go-Toba ou l'empereur Juntoku. Il est très actif dans l'activité missionnaire au Kyūshū où il fonde le Daiji-ji (大慈寺) à Kumamoto.

Daiji-ji
Daiji-ji (大慈寺) est un temple Sōtō situé dans l’arrondissement de Minami de la ville de Kumamoto, Préfecture de Kumamoto au Japon. Son préfixe honorifique sangō est Dairyōzan (大梁山). Il est également appelé Daijizen-ji (大慈禅寺).
Calpionelle
Calpionella

Les calpionelles (famille des Calpionellidae ou genre Calpionella) sont un groupe disparu de microfossiles de protozoaires ciliés, ayant vécu de la fin du Jurassique supérieur (Tithonien) jusqu'au début du Crétacé inférieur (Valanginien) il y a environ entre −150 et −136 Ma (millions d'années).

Tithonien
Le Tithonien est le troisième et dernier étage stratigraphique du Jurassique supérieur (Malm). Il s'étend de 149,2 ± 0,7 Ma à 143,1 ± 0,6 Ma. Il est précédé du Kimméridgien et est suivi par le Berriasien (Crétacé). Il se substitue depuis 1990 au Portlandien. Sa durée est d'environ 7 millions d'années.
Coriolano Malagavazzo
Coriolano Malagavazzo (1543 - 1599) est un peintre italien de l’école de Crémone, élève de Bernardino Campi de style maniériste de l’école lombarde. Il est l'auteur de tableaux dans le nord de l'Italie et le sud-est de la France.

Bernardino Campi
Bernardino Campi (né en 1520 à Reggio d'Émilie et mort le 18 août 1591 dans la même ville) est un peintre italien maniériste du XVIe siècle, actif dans le nord de l'Italie, notamment à Crémone et Milan.
Le Singe de l'Anís del Mono
Le Singe de l'Anís del Mono (en catalan : El mico de l'Anís del Mono), également appelée La statue de l'Anís del Mono est une sculpture en bronze située sur la promenade maritime de Badalone, sur la plateforme d'accès à la jetée touristique du pont du Pétrole, en Espagne.

Badalone
Badalone (en espagnol et en catalan : Badalona) est une commune espagnole, située dans la province de Barcelone, en Catalogne, région dont elle est la quatrième ville la plus peuplée. Elle appartient à la comarque du Barcelonès.
Course à la direction du Parti libéral du Canada de 2025
La course à la direction du Parti libéral du Canada de 2025 est déclenchée après l'annonce du 6 janvier 2025 par Justin Trudeau de sa démission prochaine à titre de premier ministre du Canada et de chef du Parti libéral du Canada, dès la nomination de son successeur comme nouveau chef du parti.

Mark Carney est élu chef du Parti libéral du Canada le 9 mars 2025.

Démission de Justin Trudeau
La démission de Justin Trudeau en tant que premier ministre du Canada et chef du Parti libéral est annoncée le 6 janvier 2025, lors d'une conférence de presse donnée par Justin Trudeau à sa résidence de Rideau Cottage à Ottawa,. Trudeau, nommé premier ministre en 2015, est confronté à une forte baisse dans les sondages d'opinion et perd progressivement la confiance de la Chambre des communes et des membres du Parti libéral à l'approche des élections fédérales de 2025 .

Un mois avant d'annoncer sa démission imminente, Trudeau avait le deuxième taux d'approbation le plus bas de l'histoire du Canada. Il est le neuvième premier ministre de l'histoire du Canada à annoncer sa démission imminente qui ne soit pas la conséquence d'une défaite aux élections. Malgré sa démission, Trudeau affirme qu'il restera premier ministre jusqu’à ce qu'un nouveau chef soit élu.
Arrondissement d'Arezzo
L'arrondissement d'Arezzo est un ancien arrondissement français du département de l'Arno. Il fut créé le 30 mai 1808, dans le cadre de la nouvelle organisation administrative mise en place par Napoléon Ier en Italie et supprimé le 30 mai 1814, après la chute de l'Empire.

Arno (département)
L’Arno est un ancien département français dont le chef-lieu était Florence. Il correspond essentiellement à la ville métropolitaine de Florence et aux provinces de Pistoia, d'Arezzo et de Prato de l'actuelle région italienne de Toscane.

Ce département a été créé par le sénatus-consulte du 24 mai 1808 à la suite de l'annexion du royaume d'Étrurie à l'Empire français. Il porte le numéro 112 dans la liste des 130 départements français de 1811