hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Théorème de compacité
En logique mathématique, un théorème de compacité énonce que si toute partie finie d'une théorie est satisfaisable alors la théorie elle-même est satisfaisable. Il existe des logiques où il y a un théorème de compacité comme le calcul propositionnel ou la logique du premier ordre (on parle de logiques compactes). Il existe aussi des logiques sans théorème de compacité. Commençons l'article par un exemple informel où il n'y a pas de théorème de compacité en considérant la théorie suivante :

un jour, il ne pleuvra pas ; il pleut ; demain il pleut ; après-demain il pleut ; dans 3 jours il pleut ; dans 4 jours il pleut ;…

La théorie n'est pas satisfaisable (toutes les phrases ne peuvent être vraies en même temps). Pourtant, toute partie finie est satisfaisable. En d'autres termes, la logique temporelle linéaire n'est pas compacte.

Calcul des propositions
Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts. Il est considéré comme la forme moderne de la logique stoïcienne.
Salt Creek Archeological District
Le Salt Creek Archeological District est un district historique du comté de San Juan, dans l'Utah, aux États-Unis. Protégé au sein du parc national des Canyonlands, ce site archéologique est inscrit au Registre national des lieux historiques depuis le 31 mars 1975.

Comté de San Juan (Utah)
Le comté de San Juan (en anglais : San Juan County) est l’un des vingt-neuf comtés de l’État de l'Utah, aux États-Unis. Il a été créé en 1880. Le siège du comté est à la ville de Monticello. Selon le recensement de 2000, sa population est de 14 413 habitants.

De par sa superficie, le comté de San Juan est le plus vaste de l’État. Sa superficie est de 20 547 km2, dont 20 254 km2 sont de terre.
Tigre d'eau
Le tigre d'eau est le trente-neuvième élément du cycle sexagésimal chinois. Il est appelé renyin ou jen-yin en chinois (chinois traditionnel et simplifié : 壬寅 ; pinyin : rényín), imin en coréen, jinin en japonais et nhâm dần en vietnamien. Il est précédé par le buffle de métal et suivi par le lièvre d'eau.

À la tige céleste ren est associé le Yáng et l'élément eau, et par la branche terrestre yin, le Yáng, l'élément bois.

Yin (branche terrestre)
Yin (寅, pinyin : yín) est la troisième branche terrestre du cycle sexagésimal chinois, précédée par chou et suivie par mao.

Dans l'astrologie chinoise, yin correspond au signe du tigre.  Dans la théorie des cinq éléments, yin est de l'élément bois, et dans la théorie du yin et du yáng, au yáng. En tant que point cardinal, yin représente par rapport au nord une direction de 60° dans le sens des aiguilles d'une montre (direction 2 h).

Le mois du yin correspond au 1er mois du calendrier lunaire chinois et l’heure du yin, ou « heure du tigre » à la période allant de 3 à 5 h du matin.
Finale du Grand Prix ISU 1999-2000
La finale du Grand Prix ISU est la dernière épreuve qui conclut chaque année le Grand Prix international de patinage artistique organisé par l'International Skating Union. Elle accueille des patineurs amateurs de niveau senior dans quatre catégories: simple messieurs, simple dames, couple artistique et danse sur glace.

Pour la saison 1999/2000, la finale est organisée du 13 au 16 janvier 2000 au palais des sports de Lyon en France. Il s'agit de la 5e finale depuis la création du Grand Prix ISU en 1995.

Palais des sports de Lyon
Le palais des sports de Lyon, est une salle polyvalente lyonnaise, située dans le quartier de Gerland.

Sa capacité maximale d’accueil est de 7 999 personnes selon sa configuration. S'y ajoute une salle annexe, le petit Palais des Sports, qui accueille principalement les équipes de Volley-ball (ASUL Lyon Volley-Ball).

Ce site est desservi par la ligne B du métro de Lyon à la station Stade de Gerland – Le LOU.
Attaque du musée du Bardo
L'attaque du musée du Bardo est un attentat terroriste qui a lieu le 18 mars 2015 vers 12 h 30 au Bardo, près de Tunis, la capitale de la Tunisie. Elle cause la mort de 24 personnes (21 touristes, un agent des forces de l'ordre et deux terroristes) et fait 45 blessés.

L'attaque est revendiquée le lendemain par l'État islamique.

Le Bardo
Le Bardo (arabe : باردو  [bɑrdʊ]) est une ville située à quelques kilomètres à l'ouest de Tunis.

Rattachée au gouvernorat de Tunis, elle constitue une municipalité de 71 921 habitants en 2014. L'ancienne résidence beylicale fondée au XVe siècle abrite aujourd'hui le siège du Parlement tunisien ainsi que le musée national du Bardo célèbre pour ses mosaïques.
Río Yagua
Le río Yagua est un cours d'eau de l'Amazonie vénézuélienne. Situé dans l'État d'Amazonas, il se jette à proximité de la localité de Yagua en rive droite de l'Orénoque dont il est l'un des principaux affluents.

État d'Amazonas (Venezuela)
Amazonas est un État du Venezuela, bordé au nord par les États de Bolívar et d'Apure, au sud et à l'est par le Brésil et à l'ouest par la Colombie. État situé au nord du bassin versant du fleuve Amazone dont il tire son nom, il possède un climat tropical. En 2019, sa population est estimée à 189 614 habitants. Sa capitale et plus grande ville est Puerto Ayacucho.
Capu a u Dente
Le  Capu a u Dente (U Dente en langue corse) est un sommet montagneux du massif du Monte Cinto, situé en Corse. Il s'élève à 2 029 mètres d'altitude, entre la vallée de la Tartagine affluent de la rivière Asco et la vallée du ruisseau de Frintogna qui prend en aval le nom de Fiume Seccu.

Giussani
Giussani (en corse : Ghjunsani [ɟunˈsaːni]) est une ancienne piève de Corse. Située dans le nord de l'île, elle relevait de la province de Balagne sur le plan civil et du diocèse de Mariana sur le plan religieux.
Terre du Roi-Édouard-VII
La terre du Roi Édouard VII, ou péninsule du Roi Édouard VII est une péninsule recouverte de glace formant l'angle nord-ouest de la terre Marie Byrd, en Antarctique occidental. Elle se projette dans la mer de Ross entre la baie de Sulzberger au nord et la baie d'Okuma au sud en direction de la barrière de Ross. Elle se termine par le cap Colbeck, qui marque la limite entre la côte de Saunders vers l'est et la côte de Shirase vers le sud. Elle est en majeure partie située dans la dépendance de Ross, revendiquée par la Nouvelle-Zélande.

Cap Colbeck
Le cap Colbeck est un cap qui s'avance dans la mer de Ross, à l'extrémité nord-ouest de la terre Marie Byrd, en Antarctique occidental. Il termine la terre du roi Édouard VII et marque la limite entre la côte de Saunders vers l'est en direction de la baie de Sulzberger, et la côte de Shirase vers le sud en direction de la baie d'Okuma. Il est situé dans la dépendance de Ross, revendiquée par la Nouvelle-Zélande. Il a été baptisé en l'honneur de l'explorateur et marin britannique William Colbeck.
James McParland
James McParland, né en Irlande le 22 mars 1844 et mort le 18 mai 1919, est un détective privé américain, agent de la Pinkerton National Detective Agency.

Arrivé à New York en 1867, il travaille dans un magasin de vins et spiritueux à Chicago jusqu'au jour où le grand incendie de Chicago de 1871 détruit son entreprise. Il devient alors détective.

McParland est connu pour sa lutte contre les Molly Maguires, pour son échec à l'encontre des dirigeants de la Fédération de l'Ouest des mineurs, et pour son apparition comme personnage dans La Vallée de la peur.

Molly Maguires
Les Molly Maguires étaient les membres d'une société secrète irlandaise. Les « Mollies » étaient présents dans les mines de charbon de Pennsylvanie aux États-Unis depuis la période de la guerre de Sécession jusqu'à une série d'arrestations et des procès entre 1876 et 1878. Cette société secrète est née en Irlande, parmi les métayers luttant contre l’exploitation par leurs propriétaires. La répression de tout syndicalisme par les propriétaires des mines provoqua une vague de sabotages et d’agressions contre l’encadrement.
Don McKenney
Donald Hamilton McKenney (né le 30 avril 1934 à Smiths Falls, Ontario au Canada et mort le 19 décembre 2022 à Norton, Massachusetts aux États-Unis) est un joueur canadien de hockey sur glace qui évoluait au poste de centre.

Coupe Memorial 1953
La finale de l'édition 1953 de la Coupe Memorial est présentée au Shea's Amphitheatre de Winnipeg au Manitoba ainsi qu'au Wheat City Arena de Brandon, également au Manitoba et est disputé entre le vainqueur du Trophée George T. Richardson, remis à l'équipe championne de l'est du Canada et le vainqueur de la Coupe Abbott remis au champion de l'ouest du pays.
Nancy Drew (série télévisée)
Nancy Drew, ou Les Enquêtes de Nancy Drew au Québec, est une série télévisée américaine en 62 épisodes de 42 minutes développée par Josh Schwartz, Stephanie Savage et Noga Landau, diffusée entre le 9 octobre 2019 et le 23 août 2023 sur le réseau The CW, et en simultané sur W Network au Canada.

La série est une adaptation de la série littéraire Alice Roy du collectif Caroline Quine. Il s'agit de la troisième adaptation des aventures du personnage en série télévisée.

Au Québec, elle a été diffusée à partir du 6 août 2020 sur le service Club Illico et à la télévision à partir du 25 août 2021 sur addikTV, et en Belgique, à partir du 8 octobre 2020 sur Plug RTL. En France, elle a été diffusée entre le 1er juin 2021 et le 19 janvier 2024 sur le service Salto pour les deux premières saisons puis sur 6play via W9 pour les deux dernières. Elle reste inédite en Suisse.

Adaptations de Nancy Drew
Nancy Drew est l'héroïne de la série de romans du même nom du collectif Caroline Quine. Dans la version française des romans, Nancy Drew et la série sont devenus Alice Roy.

Personnage célèbre de la littérature jeunesse, Nancy Drew a eu droit à de nombreuses adaptations dans plusieurs médias. Cet article est la liste de ces adaptations.
Paris-secret
Paris-secret est un documentaire français réalisé par Édouard Logereau et sorti en 1965.

Montrant un Paris « insolite et méconnu », Paris-secret sort dans cinq salles et arrive en tête du box-office parisien hebdomadaire, en attirant 39 837 spectateurs.

Le film a tout d'abord été visé plusieurs mois par la censure, à cause de quelques plans montrant des prostituées devant un hôtel meublé.

Henri Garcin
Antoon Albers,, dit Henri Garcin, est un acteur, metteur en scène et auteur de théâtre français d'origine néerlandaise, né le 11 avril 1928 à Anvers, Belgique, et mort le 13 juin 2022 à Évreux.

Il s'installe à Paris en 1950. Il est à l’affiche de nombreux films et pièces de théâtre, téléfilms et séries télévisées. Entre 1970 et 1981, il joue dans plusieurs pièces diffusées dans l’émission télévisée Au théâtre ce soir.

Bilingue, il est également présent dans des productions de langue néerlandaise, par exemple, en 1996, dans De Jurk (La Robe)  d’Alex van Warmerdam.
Courant d'étoiles de la Grande Ourse
Le courant de la Grande Ourse, également connu sous le nom de groupe mouvant de la Grande Ourse, association de la Grande Ourse ou encore Collinder 285, est le courant stellaire le plus proche de la Terre. Il s'agit d'une association d'étoiles partageant des caractéristiques communes telles que l'âge, la cinématique et la composition chimique. Son noyau se situe à environ 80 années-lumière de nous. Il comprend un grand nombre d'étoiles brillantes, dont la plupart des étoiles brillantes de la constellation de la Grande Ourse.

Cinématique stellaire
La cinématique stellaire est la description du mouvement des étoiles. Combinée avec des informations sur la distribution spatiale, elle donne accès à la dynamique stellaire, qui tient compte des forces à l'origine des mouvements, notamment de la gravité.  La cinématique stellaire s'applique à tout type de système stellaire, allant de l'étoile binaire à la galaxie, en passant par les amas d'étoiles.

Du point de vue des observations, la cinématique stellaire s'applique aussi bien à des systèmes résolus en étoiles individuelles, telle la Voie lactée, qu'à des systèmes non-résolus, telle la plupart des autres galaxies.  Pour les systèmes non-résolus, la cinématique décrit des quantités statistiques.

L'ordre de grandeur des vitesses va de quelques kilomètres par seconde, pour les amas d'étoiles ou les plus petites galaxies, à plus de 1 000 km/s pour les grandes galaxies. Les plus grandes vitesses sont observées au centre des galaxies, et en particulier dans le voisinage du trou noir.
Société du bout du banc
La Société du bout du banc est un salon littéraire parisien animé par Jeanne-Françoise Quinault entre 1741 et 1745. Les dîners se tenaient le lundi au domicile de Mlle Quinault, rue Sainte-Anne puis rue d’Anjou à Paris et mêlaient la noblesse éclairée aux représentants des Lettres.

De ces échanges naîtra un Recueil de ces Messieurs publié à Amsterdam, chez les frères Westein le 13 mars 1745. Les contributions sont anonymes, mais émanent pour partie de Caylus, Graffigny, Cahusac, Crébillon fils, Coypel, Moncrif, Claireau, Piron et Duclos.

Jeanne-Françoise Quinault
Jeanne-Françoise Quinault-Dufresne, Mlle Quinault, dite Quinault cadette, née le 13 octobre 1699 à Strasbourg et morte le 18 janvier 1783 à Paris, est une actrice et une salonnière française.

Elle était surnommée « Quinault cadette » pour la différencier de sa sœur aînée, Marie-Anne-Catherine Quinault.
Caux Seine agglo
Caux Seine agglo est une communauté d'agglomération, créée initialement en 2007 sous le statut de communauté de communes avant d'être transformée en 2016, dans le département français de la Seine-Maritime et la région Normandie.

Rives-en-Seine
Rives-en-Seine est une commune nouvelle située dans le département de la Seine-Maritime en région Normandie constituée le 1er janvier 2016, par la fusion de Caudebec-en-Caux, Saint-Wandrille-Rançon et Villequier.
L'Affaire de l'esclave Furcy
L'Affaire de l'esclave Furcy est une biographie écrite par l'écrivain et journaliste français Mohammed Aïssaoui paru en 2010 chez Gallimard. Elle traite du procès qu'intenta en 1817 à son maître l'esclave bourbonnais Furcy pour faire valoir son statut d'homme libre, un procès qui dura jusqu'en 1843. La justice française reconnut qu'il était né libre et non asservi.

L'ouvrage a reçu de nombreuses récompenses, parmi lesquelles le prix Renaudot de l'essai 2010 et le prix RFO du livre 2010,.

Prix Renaudot
Le prix Théophraste-Renaudot, plus couramment appelé prix Renaudot, est un prix littéraire honorifique créé en 1926 par dix journalistes et critiques littéraires, attendant les résultats de la délibération du jury du prix Goncourt.
Extrême droite en France
L'extrême droite en France est une partie de la classe politique française, en évolution du XIXe jusqu'à nos jours. Elle regroupe différents mouvements caractérisés par le rejet de l'altérité, de la démocratie libérale, ainsi qu'un nationalisme exclusif et une valorisation de la violence comme outil politique.

Bien qu'il n'existe pas de définition communément acceptée de l'extrême droite, elle est en général divisée en plusieurs courants distincts : identitarisme, nationalisme-révolutionnaire, royalisme, survivalisme, néofascisme et néonazisme. Les frontières entre ces différents groupes peuvent être poreuses selon les lieux et les époques, de même que celles avec la droite radicale ou institutionnelle.

Égalité et Réconciliation
Égalité et Réconciliation (abrégé E&R) est une association politique fondée en juin 2007 par Alain Soral, Jildaz Mahé O'Chinal et Philippe Péninque, deux anciens responsables de l'organisation d'extrême droite Groupe Union Défense (GUD).

D'abord très proche du Front national (FN), elle prend ses distances avec celui-ci. Si elle se définit comme « nationaliste de gauche », elle est classée à l'extrême droite, avec un discours antisémite et conspirationniste par la plupart des observateurs, de même que son président Alain Soral dont elle a pour but de promouvoir les idées « sur la gauche du travail et la droite des valeurs ». Appelant à dépasser les clivages sur plusieurs plans — partisans, ethniques, religieux et sociaux —, elle entend lutter contre le libéralisme libertaire, le mondialisme et le sionisme. Au-delà de sa base militante, l'association dispose d'un site internet dont l'audience lui confère une forte visibilité.
25e cérémonie des Victoires de la musique
La 25e cérémonie des Victoires de la musique a lieu le 6 mars 2010 au Zénith de Paris. Elle est présentée par Nagui et différents animateurs de précédentes éditions. Elle est diffusée en direct et en simultané sur les chaînes de télévisions France 2, TV5 Monde et TV5 Québec Canada ainsi que sur France Inter.

Les noms des artistes nommés sont révélés le 11 janvier et la liste des trophées pour lesquels chacun d'entre eux concourait a fait l'objet d'une conférence de presse le 27 janvier.

Victoires de la musique
Les Victoires de la Musique sont des récompenses musicales françaises décernées chaque année à des artistes du monde de la musique de variétés, et dont l'origine remonte à 1985.

À l'origine, la cérémonie concernait à la fois la musique de variétés, la musique classique, le jazz et le spectacle d'humour. En 1994, une cérémonie distincte regroupant classique et jazz est créée : les Victoires de la Musique Classique. Le jazz bénéficie à son tour d'une cérémonie à part entière à partir de 2002 : les Victoires du Jazz. Les Victoires de la Musique récompensent désormais essentiellement la musique de variétés (au sens large).

La cérémonie est citée comme étant l'équivalent français des Grammy Awards aux États-Unis et de l'ADISQ au Québec. Elle est également considérée comme le pendant musical des César pour le cinéma, des Molières pour le théâtre et des Sept d'or (aujourd'hui disparus) pour la télévision, bien qu'elle ne concerne qu'un certain genre musical.
Tai-chi style Wu Chien
Le style Wu (吳氏 ou 吳家; pinyin: wúshì ou wújiā) ou style Wu Chien est l'un des principaux styles traditionnels de tai-chi-chuan. Ce style est rattaché à la famille Wu, et notamment à son fondateur Wu Ch'uan-yu (1834–1902) et son fils Wu Chien-ch'uan (1870-1942). Appelé également chung chia (« charpente moyenne »), ce style est caractérisé par des posture inclinées en avant et par des mouvements d'ampleur moyenne.

Ce style est parfois confondu avec le style Wu/Hao, plus récent. Si cet autre nom de famille 武 (Wǔ) est distinct de prononciation et de caractère chinois, il est souvent transcrit de la même manière.

Wu Ch'uan-yu
Wu Ch'uan-yu ou Wu Quanyou (chinois simplifié : 吴全佑; traditionnel : 吳全佑 ; pinyin : Wú Quányòu), né en 1834 et mort en 1902, est un célèbre maitre de tai-chi-chuan de la Chine impériale. Il est considéré comme le fondateur du tai-chi style Wu. Il est l'élève de Yang Luchan et de son fils Yang Banhou. Il enseigne son art à son fils Wu Jianquan.
Byron Gordon
Dans l'univers de Babylon 5, Byron Gordon est un télépathe dissident venu s'installer sur la station Babylon 5 en 2262 avec ses compagnons pour échapper au Corps Psi. Il a été joué par l'acteur britannique Robin Atkin Downes.

Babylon 5
Babylon 5 ou Babylone 5 au Québec, est une série télévisée de science-fiction américaine en 110 épisodes de 46 minutes et 6 téléfilms (dont le pilote) de 90 minutes, créée par Joe Michael Straczynski et diffusée du 22 février 1993 au 27 octobre 1997 en syndication (saisons 1 à 4), puis du 21 janvier au 25 novembre 1998 sur la chaîne TNT (saison 5).

En France, la série a été diffusée du 14 mars 1995 au 21 février 1999 sur Canal+, et au Québec à partir de février 2000 sur Canal Z.
Sans tambour ni trompette (film, 1959)
Sans tambour ni trompette (titre original allemand : Die Gans von Sedan) est un film franco-ouest-allemand réalisé par Helmut Käutner en 1959, tiré du livre de Jean L'Hôte Un dimanche au champ d’honneur.

Helmut Käutner
Helmut Käutner, né le 25 mars 1908 à Düsseldorf (Allemagne) et mort le 20 avril 1980 à Castellina in Chianti (Italie), est un acteur, scénariste et réalisateur allemand, un des réalisateurs les plus influents du cinéma allemand d'après-guerre qui s'est fait connaître pour ses adaptations littéraires sophistiquées.

Les trois films qu'il réalise sous le Troisième Reich sont peu marqués par l'idéologie nationale-socialiste et sont d'ailleurs censurés jusqu'à la fin de la guerre.

Dans l'après-guerre, il est membre du jury lors du festival de Cannes en 1958 après y avoir été récompensé en 1954 pour Le Dernier Pont.
Beli Manastir
Beli Manastir est une ville située dans le Comitat d'Osijek-Baranja en Croatie. Au recensement de 2001, la municipalité comptait 10 986 habitants, dont 55,39 % de Croates, 26,58 % de Serbes et 8,49 % de Hongrois et la ville seule comptait 8 671 habitants.

Comitat d'Osijek-Baranja
Le comitat d'Osijek-Baranja (prononcé [ôsijeːk bǎraɲa] en croate ; nommé Osječko-baranjska županija en croate et  Eszék-Baranya megye en hongrois) est un comitat de Croatie situe au nord-est de la Slavonie et du Baranja. Le centre et siège du comitat est à Osijek, au palais Normann.
Anja Dittmer (triathlon)
Anja Dittmer, née le 22 septembre 1975 à Neubrandenbourg est une triathlète professionnelle allemande, six fois championne d'Allemagne (1995, 1998, 1999, 2003, 2004 et 2008), championne d’Europe en 1999, elle est la première triathlète à se qualifier quatre fois aux Jeux olympiques dans cette discipline.

Neubrandenbourg
Neubrandenbourg ou Neubrandebourg (littéralement : « Nouveau Brandebourg » ; en allemand : Neubrandenburg [nɔɪ̯ˈbʀandn̩ˌbʊʁk]) est une ville située en Mecklembourg-Poméranie-Occidentale, au nord de Berlin en Allemagne. Elle est le chef-lieu de l'arrondissement du Plateau des lacs mecklembourgeois.

La ville fut fondée en 1248, par le gouverneur de Brandebourg. En 1292, la ville et ses alentours furent assimilés au Mecklembourg.

Neubrandenburg possède toujours ses fortifications médiévales avec quatre portes d'accès, ce qui lui vaut le surnom de « Ville aux quatre portes » (Stadt der vier Tore).

De plus, on trouve dans cette ville de nombreux lieux abandonnés que l'on peut visiter, ce qui contribue à faire son charme.
Improvisation libre
On désigne sous le terme d'improvisation libre une pratique musicale héritée du free jazz, des musiques électroacoustiques et concrètes, des recherches formelles de la musique contemporaine, nourrie des musiques du monde de diverses provenances et inspirée par de nombreux autres courants musicaux et artistiques tels que la musique bruitiste, le free rock ou rock expérimental, la musique spectrale, le mouvement Fluxus, les compositeurs comme John Cage, La Monte Young, Iannis Xenakis, etc.

Née aux alentours des années 1960 et continuant de se développer et de se transformer, les musiques improvisées explorent de très larges champs sonores en utilisant l'improvisation comme technique principale et de multiples matériaux musicaux ou sonores, le plus souvent abstraits. Cette pratique est aussi appelée composition spontanée, improvisation non-idiomatique ou, souvent dans les pays de l'Europe de l'est, musique intuitive.

Improvisation musicale
En musique, l'improvisation est le processus par lequel le musicien crée ou produit une œuvre musicale spontanée, imaginaire ou ex nihilo, en se servant de sa créativité dans l'instant, de son savoir technique et théorique et parfois aussi du hasard.