hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Java Modeling Language
Le Java Modeling Language (JML) est un langage de spécification pour Java.

Il est basé sur le paradigme de la programmation par contrat. Il utilise la logique de Hoare, les pré et postconditions ainsi que les invariants. Les spécifications sont ajoutées dans des commentaires spéciaux du code Java.

Il existe divers outils de vérification pour JML, tels que la vérification d'assertions à l'exécution (RAC) et la vérification statique (ESC/Java, OpenJML).

Commentaire (informatique)
Les commentaires sont, en programmation informatique, des portions du code source ignorées par le compilateur ou l’interpréteur, car destinées en général à un lecteur humain et non censées influencer l’exécution du programme.

Les commentaires sont le plus souvent utilisés pour expliquer le code ; certains outils, appelés générateurs de documentation, permettent d’extraire l’information disponible dans les commentaires pour créer automatiquement une documentation du programme.

On utilise parfois une mise en commentaires pour court-circuiter quelque temps une section de code, mais aussi pour préciser des contraintes ou des propriétés, notamment des préconditions, des postconditions et des invariants comme cela se fait dans la programmation par contrat.
Monnaie de carte
La monnaie de carte est une monnaie de nécessité apparue d'abord au Canada (Nouvelle-France) et devenue moyen de paiement par cours forcé sous le règne de Louis XIV en 1685. Cet instrument financier consisterait en la première tentative de monnaie fiduciaire française et nord-américaine.

D'autres formes de monnaie de carte furent également utilisées en Louisiane française, en Guyane néerlandaise, et en France métropolitaine durant la période révolutionnaire.

Banque générale
La Banque générale est un établissement bancaire fondé le 2 mai 1716 par John Law, futur Contrôleur général des finances du régent Philippe d'Orléans. Elle fut rebaptisée « Banque royale » en décembre 1718.

Cette banque fut le premier établissement financier à émettre des billets de banque dans le Royaume de France, garantis par l’État. Mais l’échec désastreux de cette tentative d'instituer un papier monnaie en France rendit le terme de « banque » très impopulaire pendant longtemps, à tel point que les établissements qui ont succédé à la Banque royale ont tous pris le titre de « caisse » : la Caisse d'escompte de 1776 à 1793, puis divers établissements jusqu'en 1799 comme la Caisse d'escompte du commerce. C'est Napoléon Ier qui décida de reprendre le terme initial pour fonder la Banque de France en 1800.
Leader parlementaire du gouvernement (Québec)
Le leader parlementaire du gouvernement est, au Québec, la personne responsable à l'Assemblée nationale du Québec de représenter le gouvernement pour toutes questions relatives aux procédures d'assemblée. Il propose le calendrier de travail, répond aux objections de procédures de l'opposition officielle, dépose les projets de loi à être discuté, etc. L'actuel leader parlementaire du gouvernement est Simon Jolin-Barrette. Il est en poste depuis octobre 2018. Il est assisté par un leader parlementaire adjoint qui le remplace lors de son absence. L'actuel leader parlementaire adjoint est Éric Caire.

La fonction de leader parlementaire est usuelle dans les pays utilisant le système parlementaire de Westminster.

Éric Caire
Éric Caire, né le 21 mai 1965 à Sorel, est un entrepreneur en informatique, enseignant et homme politique québécois.

Il est député caquiste de la circonscription de La Peltrie à l'Assemblée nationale du Québec. Il est élu pour la première fois à l'élection générale de 2007 sous la bannière de l'Action démocratique du Québec (ADQ). À la suite de l'élection de Gilles Taillon, lors de la course à la direction de ce parti en 2009, il démissionne du parti avec Marc Picard pour siéger à l'Assemblée nationale comme député indépendant. Depuis février 2012, il siège pour la Coalition avenir Québec.

Ministre délégué à la Transformation numérique gouvernementale depuis le 18 octobre 2018, il devient le 1er janvier 2022, ministre de la Cybersécurité et du Numérique. À la suite des déboires du projet SAAQClic de la Société de l'assurance automobile du Québec, il remet sa démission en tant que ministre le 27 février 2025.
Anarchisme aux États-Unis
L'anarchisme est un courant de philosophie politique développé depuis le XIXe siècle sur un ensemble de théories et pratiques anti-autoritaires. Fondé sur la négation du principe d'autorité dans l'organisation sociale et le refus de toutes contraintes découlant des institutions basées sur ce principe, l'anarchisme a pour but de développer une société sans domination, où les individus coopèrent librement dans une dynamique d'autogestion.

Aux États-Unis, les idées anarchistes se diffusent par la défense de la liberté individuelle, les attaques contre l'État et la religion, les critiques du libéralisme et du socialisme. Certains penseurs libertaires américains comme Henry David Thoreau, Ralph Waldo Emerson et Walt Whitman, préfigurent l'anarchisme contemporain de la contre-culture, de l'écologie, ou de la désobéissance civile.

Organisation sociale
L'organisation sociale est en sciences sociales un processus de formation des structures sociales ayant tendance à réguler et ordonner les interactions sociales entre entités sociales. Cette organisation comporte ses propres normes sociales, formes de hiérarchisation et sa propre culture.

Elle représente aussi ses formes observables « organisées » (les structures sociales) : sociétés, individus, entreprises, communautés, etc.
Brunei aux Jeux olympiques d'été de 2000
Brunei participe aux Jeux olympiques d'été de 2000 à Sydney. Il s'agit de leur 2e participation aux Jeux d'été.

La délégation comprend un tireur sportif, le prince Abdul Hakeem Jefri Bolkiah, neveu du sultan Hassanal Bolkiah, qui avait participé à la précédente olympiade ainsi que l'athlète Haseri Asli, porte-drapeau à la cérémonie d'ouverture.

Hassanal Bolkiah
Paduka Seri Baginda Haji Sir Hassanal Bolkiah Mu'izzaddin Waddaulah, né le 15 juillet 1946 à Bandar Seri Begawan (Brunei), est le 29e sultan de Brunei depuis 1967 et règne en monarque absolu depuis l'indépendance de Brunei du Royaume-Uni en 1984. Il est actuellement le dirigeant en place dans le monde ayant exercé ses fonctions le plus longtemps (58 ans).
Franjo Kuharić
Franjo Kuharić, né le 15 avril 1919 à Pribic (Krašić) en Croatie et mort le 11 mars 2002 à Zagreb, est un cardinal croate, archevêque de Zagreb de 1970 à 1997. La cause pour sa béatification est en cours.

Il a été surnommé le « rocher de Croatie » en raison de son engagement en faveur des droits de l'homme insistant sur la justice et les principes fondamentaux à l’ère du communisme, et mettant aussi l’accent sur la défense des opprimés et les principes chrétiens de justice et d'amour.

Krašić
Krašić est un village et une municipalité située dans le comitat de Zagreb, en Croatie. Au recensement de 2001, la municipalité comptait 3 199 habitants, dont 99,31 % de Croates et le village seul comptait 699 habitants.
Église Saint-Nicolas de Braljina
L'église Saint-Nicolas de Braljina (en serbe cyrillique : Црква Светог Николе у Браљини ; en serbe latin : Crkva Svetog Nikole u Braljini) est une église orthodoxe serbe située à Braljina, dans le district de Rasina et dans la municipalité de Ćićevac en Serbie. Elle est inscrite sur la liste des monuments culturels de grande importance de la république de Serbie.

Ćićevac
Ćićevac (en serbe cyrillique : Ћићевац) est une ville et une municipalité de Serbie situées dans le district de Rasina. Au recensement de 2011, la ville comptait 4 681 habitants et la municipalité dont elle est le centre 9 446.
Tikkanen
Tikkanen est un patronyme porté notamment par :

Aino-Maija Tikkanen (1927-2014), actrice finlandaise ;

Esa Tikkanen (né en 1965), joueur professionnel de hockey sur glace finlandais ;

Hans Tikkanen (né en 1985), joueur d'échecs suédois ;

Harri Tikkanen (né en 1981), joueur professionnel de hockey sur glace finlandais ;

Henrik Tikkanen (1924-1984), journaliste, dessinateur, et écrivain finlandais de langue suédoise ;

Märta Tikkanen (née en 1935), écrivain finlandaise de langue suédoise.

Aino-Maija Tikkanen
Aino-Maija Tikkanen, née le 2 novembre 1927 à Turku et morte le 3 mars 2014 à Helsinki, est une actrice finlandaise. Elle a joué dans 15 films de 1954 à 2010, dont Une autre mère, ainsi que dans des téléfilms et séries télévisées.
PowerBook Duo 250
Le PowerBook Duo 250 est un ordinateur portable Apple sorti en 1994. Il ajoutait un écran à matrice active (toujours en niveaux de gris) au PowerBook Duo 230. Il utilisait aussi une batterie NiMH plus endurante (environ 2 h 30 min d'autonomie) et un disque dur plus gros (200 Mo, ce qui était beaucoup pour un portable, surtout de cette taille). Ce fut le premier PowerBook Duo à bien se vendre.

Accumulateur nickel-hydrure métallique
Un accumulateur nickel-hydrure métallique ou NiMH (de l'anglais nickel-metal hydride) est un accumulateur électrique (donc rechargeable) utilisant une électrode positive en oxyhydroxyde de nickel et une électrode négative en hydrure métallique (composé permettant de stocker de l'hydrogène).
Blackout (album de Dropkick Murphys)
Blackout est le quatrième album studio du groupe Dropkick Murphys sorti en 2003. Le CD fut accompagné d'un DVD contenant des versions live de Rocky Road to Dublin et Boys on the Dock, un clip de la chanson Gonna Be a Blackout Tonight, ainsi qu'une bande annonce pour leur prochain DVD intitulé On The Road With The Dropkick Murphys.

L'album fut aussi sorti en vinyle, contenant 5 morceaux de l'album plus une reprise d'AC/DC, It's a Long Way to the Top (If You Wanna Rock 'n' Roll).

La chanson Time to go rend hommage aux Bruins de Boston de Ligue nationale de hockey (LNH). Le morceau sort en tant que CD promotionnel pour les Bruins et apparait également dans les jeux vidéo Tony Hawk's Underground et NHL 2005.

Rocky Road to Dublin
Rocky Road to Dublin est une chanson traditionnelle irlandaise contant l'histoire d'un homme qui quitte sa ville natale de Tuam pour Liverpool en passant par Dublin.

Les paroles sont supposées avoir été écrites au XIXe siècle par D. K. Gavan pour Harry Clifton, artiste de music hall anglais, qui a popularisé la chanson.Elle est réputée pour sa difficulté d'interprétation du fait de son rythme rapide et sec et du manque de respiration[réf. nécessaire].

De nombreux artistes ont chanté cette chanson depuis, en particulier The Clancy Brothers ou encore The Dubliners dont une version remasterisée a été utilisée pour la bande originale du film Sherlock Holmes en 2009. Elle a aussi été interprétée par le groupe de punk celtique Dropkick Murphys, sur leur album Sing Loud, Sing Proud!. En 2025, dans le film Sinners, elle est interprétée par la ruche des vampire lors de l'un de ses moments musicaux.
Chimiosélectivité
La chimiosélectivité définit l'ordre de réactivité des différents groupes fonctionnels d'une molécule.

Par exemple, une fonction amine primaire dans un solvant organique est connue pour être plus nucléophile qu'un alcool primaire, c'est-à-dire son équivalent oxygéné. Si une molécule comportant ces deux fonctions est mise à réagir avec un agent acétylant, la chimiosélectivité sera en faveur de la réaction de la fonction amine primaire avec l'agent acétylant, ce qui conduira principalement à la formation d'un amide. Cependant, on obtiendra en général un mélange de plusieurs composés qui devront être séparés.

En général, la chimiosélectivité peut être améliorée en abaissant la température de réaction.

Amide
Un amide est un composé organique dérivé d'un acide carboxylique et d'une amine. Un amide, typiquement –CO–NH–, possède un atome d'azote lié à un groupe carbonyle. Les amides sont un groupe important en biochimie, parce qu'ils sont responsables de la liaison peptidique entre les différents acides aminés qui forment les protéines.
2019 UJ12
2019 UJ12 est une planète mineure du système solaire, plus précisément un astéroïde Apollon / astéroïde de la ceinture principale ayant une trajectoire inclinée et très excentrique. Cet astéroïde a en effet une orbite caractérisée par un demi-grand axe de 2,42 unités astronomiques, une excentricité de 0,94 et une inclinaison de 27,5 degrés. Il est donc herméocroiseur, cythérocroiseur, géocroiseur et aréocroiseur et s'approche relativement près de l'orbite de Jupiter. Relativement peu d'objets ont une orbite similaire, parmi lesquels 2019 BH4 et 2019 JZ6. Il pourrait s'agir du noyau d'une comète éteinte ou bien d'un objet de la ceinture principale qui a été fortement perturbé.

Avec une magnitude absolue H de 22,5, sa taille doit être comprise entre 85 et 190 mètres.

Grand axe
En géométrie, un grand axe d'une ellipse, d'un ellipsoïde ou d'un hyperellipsoïde est un diamètre de longueur maximale de cette courbe, surface ou hypersurface. C’est l’unique segment reliant les points d’intersections avec elle de son axe de symétrie principal lorsqu’elle n’est pas un cercle, une sphère ou une hypersphère, ou de n’importe lequel de ses axes de symétrie si c’en est un ou une.

Un demi-grand axe (en latin : semiaxis maior) en est une moitié d’un grand axe, dont l’une des extrémités est ainsi le centre de l’(hyper)ellips(oïd)e. Si l'objet est un cercle, une sphère ou une hypersphère, un demi-grand axe (ou un demi-petit axe) en est un rayon.
François Martin dit Martin de Grenoble
François Martin dit Martin de Grenoble est un sculpteur français actif principalement à Paris durant la période révolutionnaire, né le 26 décembre 1761 à Grenoble (Isère) et mort le 25 novembre 1804 à Lyon (Rhône).

Antoine Parmentier
Antoine Augustin Parmentier est un pharmacien militaire, agronome, nutritionniste et hygiéniste français, né le 12 août 1737 à Montdidier et mort le 17 décembre 1813 à Paris.

Précurseur de la chimie alimentaire et de l'agrobiologie, il est surtout connu pour son action de promotion en faveur de la consommation de la pomme de terre dans l'alimentation humaine, mais aussi pour ses travaux sur l'hygiène alimentaire, l'utilisation de nouveaux aliments durant les fréquentes périodes de famine et comme pharmacien militaire (avec un rôle éminent dans l'organisation pharmaceutique du service de santé sous l'Empire).
Philibert Ier
Philibert Ier, dit le Chasseur, né le Chambéry en 7 août 1465 et mort à Lyon le 22 avril 1482, est le 4e duc de Savoie, prince de Piémont, comte d'Aoste, de Genève et de Romont, baron de Faucigny, de Gex et de Vaud, Grand-Maître de l'Ordre de l'Annonciade, de 1472 à 1482.

Surnom
Un surnom est à l'origine un nom formé, par addition au prénom ou au nom d'une personne, d'un terme mettant généralement en relief ses particularités physiques ou morales.

Le surnom est également la désignation substitutive au nom véritable d'une personne.
Wolfgang von Trips
Wolfgang von Trips (Wolfgang Alexander Albert Eduard Maximilian Reichsgraf Berghe von Trips), né le 4 mai 1928 à Cologne en province de Rhénanie en État libre de Prusse et mort le 10 septembre 1961 à Monza, dans la région de Lombardie en Italie est un pilote automobile allemand qui a notamment couru en Formule 1 entre 1957 et 1961.

Il meurt en course après un accrochage avec Jim Clark au second tour du Grand Prix d'Italie 1961 alors qu'il est en tête du championnat du monde au moment de l'accident. Il se classe, à titre posthume, vice-champion du monde de Formule 1 en 1961, derrière son coéquipier Phil Hill.

Au cours d'une carrière brutalement interrompue à l'âge de 33 ans, il n'a disputé que 27 Grands Prix du championnat du monde. Il a remporté deux victoires, est monté sur le podium à six reprises et a terminé quatorze fois dans les points. Il a obtenu sa première pole position le jour de son accident mortel et a marqué 56 points au cours de sa carrière en Formule 1.

Province de Rhénanie
La province de Rhénanie ou Province rhénane ou Rhénanie prussienne (en allemand : Rheinprovinz) est une ancienne province du royaume de Prusse, puis de l'État libre de Prusse, d'une superficie de 26 998 km2. Elle était partagée en cinq districts : Coblence (chef-lieu), Cologne, Düsseldorf, Aix-la-Chapelle et Trèves.
Ludington Building
Le Ludington Building est un bâtiment commercial historique de la ville de Chicago, dans l'État de l'Illinois, aux États-Unis. Le bâtiment se trouve au 1104 South Wabash Avenue dans le quartier de South Loop, dans le secteur financier du Loop. Achevé en 1892, il s'agit de l'un des plus anciens bâtiments à ossature en acier encore existant à Chicago.

L'emplacement du bâtiment est privilégié car il se trouve à proximité immédiate de Michigan Avenue (artère commerçante comprenant également de nombreux bâtiments classés au patrimoine historique). Non loin de là se trouve le cœur du secteur financier du Loop (au nord), le Grant Park (plus grand parc public du centre-ville) et le Museum Campus (tous deux situés à l'est), et le cœur commercial du secteur de Near South Side (au sud-est).

Museum Campus
Museum Campus (en français : « Campus des musées ») est un parc d'environ 23 hectares situé dans le coin sud-est de Grant Park, en bordure de la voie rapide de Lake Shore Drive et du lac Michigan, dans le secteur de Near South Side à Chicago (Illinois). Il entoure trois des musées les plus remarquables de la ville, tous dédiés aux sciences naturelles : l'Adler Planetarium, l'aquarium John G. Shedd et le musée Field d'Histoire Naturelle.
Madame Roulin et son bébé
Madame Roulin et son bébé est un tableau réalisé par le peintre néerlandais Vincent van Gogh en 1888 à Arles, dans les Bouches-du-Rhône, en France. De format vertical, cette huile sur toile est un double portrait qui représente Augustine Roulin et sa fille Marcelle devant un fond jaune.

Vêtue de vert, la mère y figure sous son profil gauche, le long du bord droit de la composition. Celle-ci est à peu près centrée sur le nourrisson qu'elle tient en baissant la tête. Vêtue de blanc, l'enfant apparaît de face, le regard vers le point de vue du spectateur.

L'œuvre s'inscrit dans une série de portraits que l'artiste dresse de plusieurs membres de la famille, les Portraits de la famille Roulin. Acquise de Robert Lehman en 1975, elle est conservée au Metropolitan Museum of Art de New York, dans l'État de New York, aux États-Unis.

Robert Lehman
Robert Lehman (29 septembre 1891 – 9 août 1969) était un banquier américain, né à New York. Fils de Philip Lehman (1861-1947), dirigeant de la Lehman Brothers Investment Bank. Il fut diplômé de l'Université Yale en 1913.

Il ne doit pas être confondu avec son fils Robin Lehman, né Robert Owen Lehman Jr (né en 1936), documentariste et collectionneur d'autographes musicaux, notamment de Maurice Ravel, en dépôt à la Morgan Library and Museum de New York.
Élections présidentielles sous la Cinquième République dans le Nord
Depuis l'adoption de la Constitution de la Cinquième République française en 1958, dix élections présidentielles ont eu lieu afin d'élire le président de la République. Cette page présente les résultats de ces élections dans le Nord.

Arlette Laguiller
Arlette Laguiller, née le 18 mars 1940 à Paris, est une femme politique française d'extrême gauche.

Militante syndicale d'inspiration trotskiste, elle intègre la direction de Lutte ouvrière (LO), dont elle devient porte-parole en 1973.

En 1974, elle est la première femme à se présenter à une élection présidentielle sous la Cinquième République. Six fois candidate entre 1974 et 2007 avec des scores allant de 1,3 à 5,7 % des voix, elle détient à ce jour le record du nombre de candidatures présidentielles en France.

Connue pour son adresse traditionnelle « travailleuses, travailleurs », elle représente son parti à de nombreuses autres élections. Elle est conseillère municipale des Lilas (Seine-Saint-Denis) de 1995 à 2001, conseillère régionale d'Île-de-France de 1998 à 2004 et députée européenne de 1999 à 2004.
Interstate 16
L'Interstate 16 (I-16), ou Jim Gillis Historic Savannah Parkway, est une autoroute inter-États située dans l'État de Géorgie, aux États-Unis. Elle part de l'Interstate 75 à Macon et se termine à Savannah, à la sortie du Martin Luther King Boulevard. Elle passe également à proximité des communautés de Dublin, Metter et Pooler.

Le segment le plus à l'ouest à Macon fait partie de la Fall Line Freeway qui relie Columbus et Augusta. Ce segment pourrait également être incorporé dans l'extension vers l'est de l'I-14, laquelle est présentement en totalité dans le centre du Texas, mais qui pourrait être prolongée jusqu'à Augusta.

L'I-16 fait partie du National Highway System, un système de routes considérées comme essentielles pour l'économie, la mobilité et la défense du pays.

Columbus (Géorgie)
Columbus est une ville de Géorgie, dans le comté de Muscogee, aux États-Unis. La ville s'étend sur toute la superficie du comté, les deux administrations ayant fusionné. Sa population s’élevait à 189 885 habitants lors du recensement de 2010, estimée à 194 058 habitants en 2017.

Elle est connue pour abriter Fort Benning, un important centre de formation de l'US Army.
CAcert.org
CAcert.org est une autorité de certification communautaire qui émet des certificats à clés publiques gratuits. CAcert a plus de 380 000 utilisateurs vérifiés, certifie plus de 200 000 domaines et a émis plus d'un million et demi de certificats.

Ces certificats peuvent être utilisés pour signer numériquement et chiffrer des mails, authentifier et autoriser des utilisateurs se connectant à un site web, et sécuriser des transferts de données sur Internet. Toute application qui utilise SSL peut utiliser des certificats émis par CAcert, de même que toute application qui utilise des certificats X.509.

X.509
X.509 est une norme spécifiant les formats pour les certificats à clé publique, les listes de révocation de certificat, les attributs de certificat, et un algorithme de validation du chemin de certification, définie par l'Union internationale des télécommunications (UIT). X.509 établit entre autres un format standard de certificat électronique et un algorithme pour la validation de chemin de certification. X.509 fait également l'objet de nombreuses RFC de l'IETF.

X.509 a été créée en 1988 dans le cadre de la norme X.500. Elle repose sur un système hiérarchique d'autorités de certification, à l'inverse des réseaux de confiance (telle la toile de confiance OpenPGP), où n'importe qui peut signer les certificats d'autrui.
L'Odyssée du loup
L'Odyssée du loup est un film documentaire animalier français de fiction tourné et réalisé, après un an d'écriture, entre 2017 et 2018 par Vincent Steiger sur un texte d'Anne-France Dautheville dit par Kad Merad et une musique de Thomas Couzinier et Frédéric Kooshmanian. Le film est produit par Pierre-Emmanuel Fleurantin pour Paprika Films, Jacques Perrin pour Galatée Films, coproduit par Südwestrundfunk, CCTV-9 et Kwanza et diffusé le 9 mars 2019 par France Télévisions sur France 2. Il raconte l'odyssée réelle sur 3 800 kilomètres entre la Roumanie et l'Espagne d'un véritable loup d'Europe. Les neuf loups qui jouent dans le film, dont Ted qui incarne Slava, sont coordonnés par Pascal Tréguy, après six mois d'« imprégnation »,,,,,,,,,,,.

CCTV-9
CCTV-9 Documentary est la neuvième chaine de télévision nationale de la République populaire de Chine, qui diffuse des documentaires.

Il y a notamment des programmes historiques, archéologiques et d'autres qui expliquent la vie de la Chine actuelle. Souvent sous l'angle des progrès accomplis.

La chaine est accessible en Europe par le satellite Astra et en clair. Mais depuis un certain temps les récepteurs sur le marché ne donne accès qu'aux chaines françaises TNT Sat.
Déborah Krey
Déborah Krey est une actrice française, née le 9 décembre 1989 à Montpellier.

Elle est surtout connue pour son rôle de « Duchesse » dans la série télévisée Les Invisibles, une série qu'elle porte avec Guillaume Cramoisan.

Paul Lefèvre (acteur)
Paul Lefèvre est un acteur français né à Chartres. Il interprète le rôle récurrent de Manu dans Scènes de ménages depuis le milieu de la saison 9.

Il réalise en 2015 A Love You, récompensé par le prix spécial du jury au Festival de l'Alpe de Huez,.