hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Forme normale
Dans un système formel de description de formules (termes, propositions, grammaires, etc.) les formes normales sont des formules qui satisfont certaines « bonnes » propriétés qui en font d'une certaine façon des formules plus adéquates que d'autres.

Forme normale (bases de données relationnelles)

Forme normale du lambda-calcul

En calcul des propositions : formes normales conjonctives et formes normales disjonctives

En théorie des langages formels : forme normale de Chomsky, forme normale de Greibach, forme normale de Kuroda

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.
Times & Transcript
Le Times & Transcript est le quotidien ayant le deuxième plus grand tirage au Nouveau-Brunswick après L'Acadie nouvelle. Il dessert Moncton et les environs. Les bureaux et les presses sont situés sur la rue Main dans le centre-ville de Moncton. Le journal est publié par Brunswick News.

L'Acadie nouvelle
L’Acadie nouvelle,,, (aussi typographié L’Acadie NOUVELLE ou L’Acadie Nouvelle) est un quotidien canadien indépendant de langue française. Il est rédigé à Caraquet, imprimé par Brunswick News à Moncton et distribué dans tout le Nouveau-Brunswick depuis le 6 juin 1984.
Justin Walker
Justin Matthew Walker, né le 6 septembre 1975 à Nottingham, Angleterre, est un entraîneur de football anglais et ancien joueur professionnel.

En tant que joueur, il était milieu de terrain et a disputé plus de 300 matchs de championnat pour six clubs différents entre 1997 et 2006. Formé au centre de formation de Nottingham Forest, il a notamment joué pour Scunthorpe United et Lincoln City. Il a ensuite évolué professionnellement pour Exeter City, Cambridge United, York City et Chester City avant de terminer sa carrière en football amateur avec Ilkeston Town et le FC Halifax Town. Il a auparavant été entraîneur par intérim de Derby avant la nomination de Wayne Rooney.

Football Club Halifax Town
Le FC Halifax Town est un club anglais de football fondé en 2008 basé à Halifax, dans le Yorkshire de l'Ouest, en Angleterre. Le club évolue actuellement en National League (cinquième division anglaise) et joue ses matchs à domicile à The Shay. Il remplace le club d'Halifax Town AFC, dissous en 2008.
Dame school
On désigne sous le nom de Dame schools les premières écoles primaires privées dans les pays de langue anglaise. C'étaient d'ordinaire des femmes, appelées « dames », qui enseignaient à leur propre domicile à un tarif réduit. Les dame schools opéraient à un niveau très local, généralement à l'échelle de la ville ou de la paroisse.

Les dame schools étaient censées enseigner aux enfants les bases de la lecture et du calcul, parfois également l'écriture. Les filles y apprenaient aussi les tâches domestiques comme la couture et le tricot. Ces écoles ont existé du XVIe siècle au milieu du XIXe siècle, et se firent plus rares en Grande-Bretagne après que l'enseignement eut été rendu obligatoire en 1880 : les écoles où les cours ne couvraient pas le programme fixé par le gouvernement pouvaient être fermées.

Tricot
Comme le tissage, le tricot est une technique utilisée pour fabriquer une étoffe à partir d'un fil. Le tricot est constitué de boucles, appelées mailles, passées les unes dans les autres. Les mailles actives sont tenues sur des aiguilles jusqu'à ce qu'elles puissent être bloquées par le passage d'une nouvelle maille à travers elles.
Sobowo
Sobowo  (prononciation : [sɔˈbɔvɔ]) est un village polonais de la gmina de Brudzeń Duży dans le powiat de Płock de la voïvodie de Mazovie dans le centre-est de la Pologne.

Il se situe à environ 6 kilomètres à l'ouest de Brudzeń Duży (siège de la gmina), 23 kilomètres au nord-ouest de Płock (siège du powiat) et à 118 kilomètres au nord-ouest de Varsovie (capitale de la Pologne).

Le village compte approximativement une population de 480 habitants en 2000.

Brudzeń Duży (village)
Brudzeń Duży (prononciation : [ˈbrud͡zɛɲ ˈduʐɨ]) est un village polonais de la gmina de Brudzeń Duży dans le powiat de Płock de la voïvodie de Mazovie dans le centre-est de la Pologne.

Le village est le siège administratif (chef-lieu) de la gmina appelée gmina de Brudzeń Duży.

Il se situe à environ 19 kilomètres au nord-ouest de Płock (siège du powiat) et à 114 kilomètres au nord-ouest de Varsovie (capitale de la Pologne).

Le village compte approximativement une population de 939 habitants en 2005.
Route départementale 60 (Pas-de-Calais)
La Route départementale 60 ou D 60 est une route départementale du Pas-de-Calais qui faisait originellement le tour d'Arras. Aujourd'hui, à la suite de la mise en service de la Rocade Ouest d'Arras (nationales 25 et 425), elle ne boucle plus le tour complet d'Arras, étant interrompue sur le territoire de la commune d'Anzin-Saint-Aubin.

Route nationale 425
La Route nationale française 425 ou RN 425 est une très courte route nationale française. Numérotée d'après la RN 25 dont elle est l'antenne, elle permet de relier celle-ci à la RN 17 et fait ainsi partie du contournement d'Arras.
Moulin de Thévalles
Le moulin de Thévalles, monument historique, reconstruit en 1850, est situé sur la rivière l'Erve à Chémeré-le-Roi en Mayenne, sur la route de Chémeré-le-Roi à Saulges, et à proximité des grottes de Saulges. Il s'agit actuellement du seul moulin à eau en Mayenne qui se visite.

Grottes de Saulges
Les grottes de Saulges, localement appelées caves de Saulges, désignent un ensemble de cavités naturelles situées dans la vallée de l'Erve et ses affluents, principalement sur le territoire des communes de Thorigné-en-Charnie et Saint-Pierre-sur-Erve, dans le département de la Mayenne. La majorité de ces grottes se trouvent dans un passage encaissé de la vallée semblable à un canyon. Il comporte au moins vingt-deux cavités, dont deux grottes visitables. Il a été classé au réseau Natura 2000.
Iandomozero (hameau)
Jandomjärvi

Iandomozero (en russe : Я́ндомозеро), ou Jandomjärvi (en carélien : Jandomjärvi, en finnois : Jandomjärvi , en olonetsien : Jandomjärvi) est un hameau de l'établissement rural de Velikaïa Gouba, du raïon de Medvejiegorsk dans la république de Carélie. Il se situe dans le Zaoniégé, une presqu'île carélienne du lac Onega, dans le Nord russe. Il n'y avait pas d'habitant en 2013.

Raïon de Medvejiegorsk
Raïon de Karhumäki

Le raïon de Medvejiegorsk (russe : Медвежьего́рский райо́н) ou raïon de Karhumäki (en carélien : Karhumäen piiri) est l'un des seize raïons de la république de Carélie en Russie européenne. Le service fédéral des statistiques lui attribue le code OKATO 86 224.
Arizona Bill (film, 1964)
Arizona Bill (La strada per Fort Alamo) est un western spaghetti franco-italien réalisé par Mario Bava et sorti en 1964.

Il s'agit du premier des trois westerns réalisés par Mario Bava (sous le pseudonyme de « John M. Old »), les deux autres étant Les Dollars du Nebraska (1966) et Roy Colt et Winchester Jack (1970). Ce film-ci est coproduit par Robert de Nesle du Comptoir français du film, et la distribution comporte, outre le protagoniste joué par l'Américain Ken Clark, les acteurs français Jany Clair et Michel Lemoine, qui sont post-synchronisés avec leur propre voix dans la version française.

Le film met en scène trois bandits, Bud Massedy, son ami Slim et un troisième comparse qui font équipe pour attaquer une banque, mais le bandit fait faux bond aux deux amis fuyant avec l'argent. En route pour Fort Alamo, Bud et Slim partent à sa recherche.

Ken Clark
Kenneth Donovan Clark (né à Neffs, Ohio le 4 juin 1927 et mort à Rome le 1er juin 2009) est un acteur américain de Série B. Il est apparu dans des films aux États-Unis et en Italie, dont la trilogie Agent 077, South Pacific et des westerns spaghetti.
Astrid an Huef
Astrid an Huef est une mathématicienne néo-zélandaise d'origine allemande, professeure à l'Université Victoria de Wellington. Ses intérêts de recherche incluent l'analyse fonctionnelle, les algèbres d'opérateurs et les systèmes dynamiques. Elle est présidente de la Société mathématique de Nouvelle-Zélande de 2016 à 2017.

Algèbre d'opérateurs
En analyse fonctionnelle, une algèbre d'opérateurs est une algèbre d'opérateurs (linéaires) continus d'un espace vectoriel topologique (comme un espace de Banach) dans lui-même. La multiplication dans cette algèbre est la composition.
Keria Ibrahim
Keria Ibrahim (en guèze : ኬርያ ኢብራሂም), née le 22 mars 1973 à Asmara, est une femme politique éthiopienne.

Elle préside la Chambre de la Fédération de 2018 jusqu'à sa démission le 9 juin 2020. Elle devient par la suite cheffe de la fonction publique de la région du Tigré et administratrice en chef de la zone Sud-Est (en). Keria Ibrahim est l'une des neuf membres du Comité central du Front de libération du peuple du Tigré (FPLT) et responsable des affaires féminines de la région,,.

Chambre de la fédération
La Chambre de la fédération (en amharique : የፌዴሬሽን ምክር ቤት romanisé : Yefedereshn Mekir Bet) est la chambre haute du Parlement de l'Éthiopie.

La Constitution éthiopienne de 1994 prévoit que chaque « nation », « nationalité » et « peuple » dispose d'au moins un représentant à la Chambre, plus un membre supplémentaire par tranche de un million de personnes.
Festival interceltique de Lorient 2002
La 32e édition du Festival interceltique de Lorient se déroule du 2 au 11 août 2002. Le Pays de Galles est la nation invitée.

Le festival accueille, entre autres artistes, le Bagad de Lann-Bihoué (qui fête ses cinquante ans), Christophe Miossec, Gilles Servat, Erik Marchand et Yann-Fañch Kemener, Carlos Núñez, Fred Morrison, Dominique Dupuis, Siân James et les groupes Merzhin, Armens, Carré Manchot et Djiboudjep.

Fred Morrison
Fred Morrison est un joueur de cornemuse écossais, né en 1963 à Bishopton dans le Renfrewshire.

Il a joué professionnellement sur les Great Highland Bagpipes,les Scottish smallpipes, les Border pipes, les low whistles, les Northumbrian Smallpipes et les uilleann pipes. En plus de sa carrière solo, il a aussi joué avec des groupes comme le Clan Alba et Capercaillie. Tous ces albums furent acclamés par la critique. Il détient le record du plus grand nombre de trophées MacCrimmon lors du festival interceltique de Lorient, après avoir reçu le trophée dix fois.

En 2004, il a été élu « Instrumentaliste de l'année » dans les prix Scots Trad Music.
Man Island
Man Island est une petite île située dans la chaîne d’Eleuthera, aux Bahamas. Elle fait partie du district de North Eleuthera.

Man Island est située dans un groupe d'îles qui forment un port naturel et la plus grande île de cette chaîne est Harbour Island. Man Island est située entre Harbour Island et l'île de Spanish Wells.

La superficie de Man Island est d'environ 140,000 m2. Cette île appartient à un certain nombre de résidents des Bahamas, des États-Unis et d'Europe. La proximité avec Harbour Island (capitale Dunmore Town) a suscité l'intérêt des investisseurs en raison de la popularité croissante de Harbour Island pour les touristes.

Eleuthera
Eleuthera est une île des Bahamas, se trouvant 80 kilomètres à l'est de Nassau. L'île est très allongée : 180 km de long pour une largeur d'à peine 2 km. La population de l'île était de 8 202 personnes lors du recensement de 2010. Son nom vient du grec ἐλευθέρα qui signifie "libre".
Immortal (album de Lorna Shore)
Immortal est le troisième album studio du groupe de deathcore américain Lorna Shore. Il est sorti le 31 janvier 2020 via Century Media Records et a été produit par Josh Schroeder. L'album est la première sortie studio du groupe avec ce label. C'est également leur première sortie en studio sans le chanteur fondateur Tom Barber, qui a quitté le groupe pour rejoindre Chelsea Grin. C'est le seul album studio du groupe avec le chanteur CJ McCreery (à l'origine du groupe Signs of the Swarm basé en Pennsylvanie), qui a rejoint le groupe en 2018 et a été licencié en décembre 2019, un mois avant la date de sortie de l'album. En plus du départ du bassiste Gary Herrera en 2017, il s'agit du premier album studio du groupe à ne comporter aucun membre fondateur.

Chelsea Grin
Chelsea Grin est un groupe de deathcore américain, originaire de Salt Lake City, dans l'Utah. Chelsea Grin est originellement formé par Alex Koehler et d'anciens membres de groupe sous le nom de Ahaziah. Les premiers membres incluent Alex Koehler, le guitariste Chris Kilbourn, le bassiste Austin Marticorena et le guitariste Michael Stafford. Marticorena présentera Andrew Carlston à Chelsea Grin et assistera à la réécriture de leurs chansons. Ils font ainsi paraître leur premier album homonyme sur iTunes, puis sur format CD à l'international le 27 juillet 2008. Au début de leur carrière, ils publient les chansons Crewcabanger et Lifeless, deux singles bien accueillis sur Myspace.
Tuc (biscuit)
TUC est une marque commerciale de gâteaux apéritif faisant partie de la gamme LU, appartenant au groupe américain Mondelēz International (issu d'une scission de l'américain Kraft Foods). Vendus en Europe, Asie, Amérique du Nord et Afrique du Nord, les biscuits sont de forme octogonale (aspect de rectangle aux coins coupés) et de couleur jaune doré. La face est piquetée de 41 trous (pour éviter les bulles de cuisson), et ceux du centre forment les lettres TUC.

Mondelez International
Mondelez International, Inc. ou Mondelēz International est une multinationale américaine, particulièrement présente dans les secteurs du biscuit et du chocolat, dont le siège est à Chicago (Illinois).

Elle possède des marques comme Cadbury, Oreo, LU, Toblerone, Côte d'Or, Milka ou encore Pépito ou Tang.

Elle est longtemps la filiale alimentaire du consortium Altria, anciennement Philip Morris Industries, sous le nom Kraft Foods, jusqu’au 30 mars 2007, date à laquelle le consortium s'en sépare.  Elle prend son nom actuel en 2012, après la scission de ses activités nord-américaines, regroupées au sein d'une entreprise distincte, Kraft Foods Group.

L'entreprise est dirigée depuis 2018 par Dirk Van de Put.

Le groupe Mondelez annonce fin janvier 2024 une croissance de 14,4 % de ses ventes sur 2023, lui permettant de dégager un bénéfice net de 4,959 milliards de dollars (4,6 milliards d’euros).
Augie Colón
August Borero Colón, de son vrai nom Augie Colón  (né le 27 août 1927 et décédé le 4 juin 2004) est un musicien américain, percussionniste, bongocero, créateur de sons, qui a notamment fait partie du groupe de Martin Denny. Il connait un large succès avec le genre musical Exotica très en vogue à fin des années 1950 avec le jazz afro-cubain et le latin jazz. Il est décédé à l'âge de 76 ans, le 4 juin 2004, au Queen's Medical Center de Honolulu, des complications d'un diabète.

Exotica (genre musical)
L'exotica est un genre musical né aux États-Unis au début des années 1950 et populaire, principalement auprès des Américains suburbains devenus adultes au cours de la Seconde Guerre mondiale, jusqu'au milieu des années 1960. Le genre tire son nom d'un album éponyme du pianiste Martin Denny sorti en 1957. L'exotica se caractérise par des influences musicales puisées dans des cultures d'Océanie, de Polynésie, d'Afrique tribale, des Andes, du bassin amazonien et d'Asie du Sud-Est, principalement par des compositeurs américains. Martin Denny qualifie l'exotica d'« association entre le Pacifique Sud et l'Orient [...] la représentation que beaucoup de personnes se faisaient des îles », il reconnaît tout à fait qu'il s'agit d'une vision « purement imaginaire ». Bien que les mers du Sud fournissent le principal noyau d'influences, l'exotica se nourrit des « impressions musicales » de tous les lieux exotiques rencontrés et imaginés.
Les Perses (téléfilm)
Les Perses est une adaptation télévisée par Jean Prat de la tragédie du même nom de l'auteur grec antique Eschyle. Adaptation faite sous la forme d'un oratorio moderne, elle fut diffusée le 31 octobre 1961 à 20 h 30 à la fois sur RTF Télévision et sur France IV. Ce drame antique raconte le retour désastreux du « Grand roi » perse Xerxès dans son palais de Suse après la défaite de Salamine (-480) face aux Grecs.

RTF Télévision
RTF Télévision, également désignée plus simplement Télévision française puis intitulée Première chaîne de la RTF après la création d'une deuxième chaîne RTF en septembre 1959, est une chaîne de télévision généraliste nationale française de la Radiodiffusion-télévision française ayant émis entre le 9 février 1949 et le 24 juillet 1964.

Cette chaîne fait suite à différentes formules et sociétés de télévision successives, couvrant dans un premier temps uniquement la région parisienne, dont Radiovision-PTT en 1935, Radiodiffusion nationale Télévision en 1937, Fernsehsender Paris en 1943 sous occupation allemande; elle devient RDF Télévision française puis est nommée RTF Télévision en 1944, avant de devenir la Première chaîne de l'ORTF en 1964. Depuis son lancement en 1949, la chaîne exploite le noir et blanc en haute définition 819 lignes.
Voie spinothalamique
En neuroanatomie, la voie spinothalamique (anciennement voie extra-lemniscale, on ne parle plus de extra-lemniscal car cette voie passe par le lemnisque médian) est la voie nerveuse sensitive responsable de la sensibilité thermo-algique (faisceau néo-spinothalamique) et du tact protopathique (faisceau paléo-spinothalamique).

La lésion de la voie se traduit par une anesthésie thermo-algique et une non-reconnaissance du tact non discriminatif du côté controlatéral (du fait de la décussation) sur les territoires pris en charge par la moelle inférieure à la lésion.

Anesthésie
L’anesthésie (du grec ancien ἀναισθησία / anaisthēsía, « insensibilité », du préfixe privatif ἀν– / -an et de αἴσθησις / aísthēsis, « faculté de percevoir par les sens ») est la suppression des sensations (et en particulier la sensation de douleur). Elle vise à permettre une procédure médicale qui autrement serait trop douloureuse. L'anesthésie peut viser un membre, une région ou l'organisme entier (anesthésie générale). L'anesthésie loco-régionale est aussi pratiquée dans les cas de douleurs chroniques.

Le domaine de la médecine qui étudie et pratique l'anesthésie est l'anesthésiologie. Cette spécialité médicale est récente, et elle a révolutionné la médecine en permettant une chirurgie de qualité. L'utilisation de techniques d'anesthésie modernes est un des piliers de la récupération rapide après chirurgie qui réduit les complications et permet au patient de retrouver plus rapidement ses moyens et son autonomie.
Thève
La Thève est une rivière française coulant dans les départements de Seine-et-Marne, de l'Oise et du Val-d'Oise, dans les deux régions Hauts-de-France et Île-de-France, et affluent de la rive gauche de l'Oise et donc sous-affluent du fleuve la Seine.

Launette
La Launette est une rivière française, affluent de la Nonette en rive gauche, donc un sous-affluent de la Seine par la Nonette et l'Oise. Elle coule dans les départements de Seine-et-Marne et de l'Oise, dans les régions Île-de-France et Hauts-de-France.
Pélops (Sparte)
Pélops (du grec : Πέλοψ) était le dernier roi de Sparte de la dynastie des Eurypontides. Il était fils de Lykourgos.

Il est né aux alentours de 210 av. J.-C, mais son père mourut bientôt cette année-là. Depuis son enfance, un régent a régné, d'abord Machanidas puis Nabis. En 199 av. J.-C., cependant, Pélops fut assassiné par Nabis, qui prit le trône. Il était le dernier de la dynastie des Eurypontides.

Portail du Monde hellénistique

Portail de la Grèce antique

Nabis (Sparte)
Nabis fut le dernier roi de Sparte, il régna de 207 à 192 av. J.-C. Prétendant descendre de la dynastie des Eurypontides. Il entra en guerre contre la Ligue achéenne, alliée aux Romains. Sa défaite marqua le déclin définitif de Sparte, qui perdit son indépendance politique.
Nikolo-Lvovskoïe
Nikolo-Lvovskoïe (en russe : Нико́ло-Льво́вское) est un village de l'okroug urbain d'Oussouriïsk du kraï du Primorié en Extrême-Orient russe. Sa population s'élevait à 148 habitants au recensement de 2010.

Okroug urbain d'Oussouriïsk
L'okroug urbain d'Oussouriïsk (en russe : Уссури́йский городско́й о́круг, Oussouriïski gorodskoï okroug) est une subdivision administrative (ville d'importance régionae) et une municipalité (okroug urbain) du kraï du Primorié en Russie. Situé en Extrême-Orient russe dans le kraï de l'Oussouri, il se situe dans la plaine du Khanka dans le centre-sud du Primorié, et il est frontalier de la Chine. Son centre administratif est la ville d'Oussouriïsk, et il compte en tout 38 localités. Sa population s'élevait à 205 343 habitants en 2023.
Diagramme de Voronoï
En mathématiques, un diagramme de Voronoï est un pavage (découpage) du plan en cellules (régions adjacentes) à partir d'un ensemble discret de points appelés « germes ». Chaque cellule enferme un seul germe, et forme l'ensemble des points du plan plus proches de ce germe que d'aucun autre. La cellule représente en quelque sorte la « zone d'influence » du germe.

Le diagramme doit son nom au mathématicien russe Gueorgui Voronoï (1868-1908). Le découpage est aussi appelé décomposition de Voronoï, partition de Voronoï ou tessellation de Dirichlet.

De manière plus générale, il représente une décomposition d’un espace métrique en cellules (régions adjacentes), déterminée par les distances à un ensemble discret d’objets de l’espace, en général un ensemble discret de points. Dans le plan les cellules sont appelées « polygones de Voronoï » ou « polygones de Thiessen », et dans l'espace « polyèdres de Voronoï ».

Johann Peter Gustav Lejeune Dirichlet
Johann Peter Gustav Lejeune Dirichlet (13 février 1805, Düren – 5 mai 1859, Göttingen) est un mathématicien prussien qui apporta de profondes contributions à la théorie des nombres, en créant le domaine de la théorie analytique des nombres et à la théorie des séries de Fourier. On lui doit d'autres avancées en analyse mathématique. On lui attribue la définition formelle moderne d'une fonction.
Archana Singh-Manoux
Archana Singh-Manoux est une épidémiologiste française, directrice de recherche au Centre de recherche épidémiologie et statistiques (CRESS), rattaché à l'Inserm, et lauréate de l’European Young Investigator Awards (EURYI), du prix Recherche de l'Inserm, et du Prix Coups d’élan pour la recherche française de la Fondation Bettencourt Schueller.

Fondation Bettencourt-Schueller
La fondation Bettencourt-Schueller est une fondation reconnue d'utilité publique fondée en 1987 par Liliane Bettencourt, son époux André Bettencourt et leur fille Françoise Bettencourt Meyers. Elle attribue des fonds alloués aux sciences de la vie, à la culture et à l'action sociale. Elle tire son nom des trois fondateurs et d’Eugène Schueller, fondateur de L'Oréal et père de Liliane Bettencourt. À compter de 2013, elle est dirigée par Olivier Brault.