hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Programming Computable Functions
En informatique théorique, Programming Computable Functions ou PCF est un langage de programmation théorique apparu pour la première fois dans une publication en 1977 dans un article de Gordon Plotkin, mais qui est basé sur des notes de Dana S. Scott de 1969 qui n'ont été publiées qu'en 1993. Ce langage consiste en une extension du lambda-calcul simplement typé avec des combinateurs de points fixes et des entiers naturels, ce qui permet de récupérer la complétude au sens de Turing, c'est-à-dire la possibilité d'exprimer n'importe quelle fonction calculable. En effet, l'ajout d'une discipline de types au lambda-calcul, donnant le lambda-calcul simplement typé, limite l'expressivité du langage et les fonctions qui y sont définissables ; l'ajout de combinateurs de point fixe et d'entiers résout ce problème.

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

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

Le lambda-calcul est apparenté à la logique combinatoire de Haskell Curry et se généralise dans les calculs de substitutions explicites.
Stade HaMoshava
Stade HaMoshava (en hébreu : אצטדיון המושבה), est un stade de football, situé à Petah Tikva en Israël. Le stade est utilisé par les clubs de l'Hapoël Petah-Tikva et du Maccabi Petah-Tikva. Cet équipement d'une capacité de 11 500 places remplace l'ancien stade HaUrva. Le stade HaMoshava est l'un des stades hôtes de l'Euro espoirs 2013.

Hapoël Petah-Tikva
Le Hapoël Petah-Tikva Football Club (en hébreu : מועדון כדורגל הפועל פתח תקווה), plus couramment abrégé en Hapoël Petah-Tikva, est un club israélien de football fondé en 1934 et basé dans la ville de Petah Tikva.
Sites moustériens des Pyrénées
Cet article traite du Moustérien, industrie lithique de la Préhistoire à la période du Paléolithique moyen, dans la région des Pyrénées et zones adjacentes comme le piémont pyrénéen, la région franco-cantabre, le bassin versant de l'Èbre, la côte méditerranéenne.

Le Moustérien dans cette région est attribué uniquement à l'Homme de Néandertal, et y succède de manière graduelle à l'industrie acheuléenne à partir de 150 000 ans avant le présent, ou 150 ka (1 ka signifiant 1 « kilo-années » soit 1 000 ans), jusqu'au Châtelperronien, qui apparaît après 40 ka. On y distingue plusieurs types de moustériens régionaux comme le Moustérien de type Quina, le Moustérien de tradition acheuléenne, le Moustérien à denticulés, du Vasconien (sur la côte Atlantique, non reconnu par tous les spécialistes), et un éventuel Moustérien méditerranéen tardif.

Moustérien de type Quina
Le Moustérien de type Quina, aussi connu sous le nom de Charentien (de Charente), est l'un des faciès culturels et technologiques du Moustérien, l'une des principales manifestations culturelles du Paléolithique moyen en Eurasie (environ 300 000 à 40 000 ans avant le présent). Il est surtout présent en abondance dans le bassin aquitain et en Belgique.
Rapport COMETA
Le rapport COMETA est un document émanant du COMETA, une association française d'étude des phénomènes aérospatiaux non identifiés, aujourd'hui en sommeil. Préfacé par l'ancien président du CNES, André Lebeau, il a été porté à la connaissance du grand public par ses auteurs au moyen d'une publication dans le magazine VSD, ce qui a donné lieu à quelques réactions dans la presse. L'association COMETA l'a publié sous forme de livre à compte d'éditeur en 2003. Le rapport COMETA a fait l'objet de mentions dans plusieurs livres traitant des ovnis,,.

Phénomène aérospatial non identifié
Un phénomène aérospatial non identifié (PAN) est, selon la terminologie du CNES et de son service spécialisé, le GEIPAN, un phénomène atmosphérique ou extra-atmosphérique dont la nature reste inexpliquée. Dans le cadre de cette désignation, l'attribution de la qualité d'ovni (objet volant non identifié) est confinée à certains cas particuliers de PAN, soit moins de 4 % des cas documentés.
Gouvernement Degryse
Le gouvernement Degryse est le gouvernement de la Communauté française de Belgique depuis le 16 juillet 2024, sous la 7e législature du Parlement.

Il est dirigé par la sociale-libérale Élisabeth Degryse et formé après les élections régionales du 9 juin 2024. Il se compose de six ministres, dont la cheffe du gouvernement.

Majoritaire au Parlement, il est constitué d'une coalition entre le Mouvement réformateur et Les Engagés.

Il succède au gouvernement Jeholet.

Parlement de la Communauté française de Belgique
Le Parlement de la Communauté française de Belgique est l'assemblée législative de la Communauté française de Belgique. Il siège à Bruxelles, à l'hôtel de Ligne.

Composé de 94 députés élus pour cinq ans, il représente les francophones de Belgique installés en Wallonie et région bruxelloise. Il exerce le pouvoir législatif en votant des décrets, élit le gouvernement communautaire et en contrôle l'action.

Il utilise depuis 2011 le nom de « Parlement de la Fédération Wallonie-Bruxelles » pour sa communication.
Dóra Horváth
Dóra Horváth est une ancienne joueuse hongroise de volley-ball née le 4 mars 1988 à Budapest. Elle mesure 1,86 m et jouait au poste de réceptionneuse-attaquante. Elle  a totalisé 23 sélections en équipe de Hongrie. Elle a mis un terme à sa carrière de volleyeuse professionnelle en 2017.

Équipe de Hongrie féminine de volley-ball
L'équipe de Hongrie féminine de volley-ball est composée des meilleures joueuses hongroises sélectionnées par la Fédération hongroise de volley-ball (Magyar Röplabda Szövetség, FMRS). Elle est actuellement classée au 40e rang de la Fédération internationale de volley-ball au 10 juillet 2022.
Sekula Drljević
Sekula Drljević, né le 7 septembre 1884 à Kolašin et mort le 10 novembre 1945 à Judenburg, est un avocat et homme politique monténégrin, puis yougoslave. Membre du gouvernement du Royaume du Monténégro avant la Première Guerre mondiale, il devient durant l'entre-deux-guerres l'un des chefs de la tendance dite des Verts, qui visent à restaurer l'indépendance du Monténégro alors intégré à la Yougoslavie. Après l'invasion de la Yougoslavie, il proclame la restauration de la monarchie monténégrine avec l'aide des Italiens qui veulent créer un État-satellite : la double insurrection des Partisans et des Tchetniks l'empêche cependant de mener ce projet à bien. Il collabore ensuite avec les Allemands et les Oustachis. Réfugié en Autriche à la fin de la guerre, il est assassiné en novembre 1945 par des adversaires politiques.

Invasion de la Yougoslavie
L'invasion de la Yougoslavie par les forces de l'Axe, dite également Guerre d'avril (croate : Travanjski rat, serbe : Aprilski rat, slovène : Aprilska vojna), a eu lieu en avril 1941 pendant la Seconde Guerre mondiale ; elle fut suivie par une guerre de libération qui dura jusqu'en 1945 et s'acheva par la victoire des résistants communistes dirigés par Tito.
Frédéric d'Isenberg
Frédéric d'Isenberg ("Friedrich von Isenberg") (1193 † 15 novembre 1226) était l'un des fils d'Arnold, comte d'Altena († 1209). Le château de sa famille se trouvait à Isenburg près de Hattingen (Burg Isenberg), en Allemagne (à distinguer d'Isenbourg près de Neuwied sur le Rhin).

Comté d'Altena
Le comté d'Altena est un État du Saint-Empire romain germanique ayant pour capitale Altena, dans l'actuel Land de Rhénanie-du-Nord-Westphalie.

Il se sépare du comté de Berg en 1161, à la mort du comte Adolphe II, et revient à son fils Eberhard. Ses deux fils Arnold d'Altena (de) et Frédéric (de) fondent des lignées rivales qui se disputent le titre pendant un siècle, jusqu'à ce que le comte Engelbert Ier de La Marck, petit-fils de Frédéric, en abandonne l'usage en 1262.
Royaume de Dalmatie
Le royaume de Dalmatie (en croate : Kraljevina Dalmacija ; en italien : Regno di Dalmazia ; en allemand : Königreich Dalmatien) est une ancienne division administrative de l'empire d'Autriche (1815-1867) puis de l'Autriche au sein de l'Autriche-Hongrie (1867-1918), sur la côte orientale de la mer Adriatique. Le futur royaume de Dalmatie a fait durant six siècles partie du Stato da Màr vénitien, comprenant l'ancien provéditorat général de Dalmatie-Albanie et l'ancienne république de Raguse, avec toutes les îles de l'Adriatique à l'exception de Cherso et de Veglia rattachées à la marche d'Istrie. Créé en 1815 par le congrès de Vienne, le royaume de Dalmatie est dissout en 1918 lors de la dislocation de l'Autriche-Hongrie, et son territoire est englobé dans l'État des Slovènes, Croates et Serbes, à l'exception de la capitale Zara (aujourd'hui Zadar) et des îles Cherso et Lesina annexées par l'Italie.

Stato da Màr
Le Stato da Màr, terme vénitien signifiant « État de la Mer », ou Domini da Mar (« Domaines de la Mer »), est l'une des trois composantes territoriales de la république de Venise. Les deux autres sont le Dogado (ville de Venise et les îles de sa lagune) et une partie du nord-est de l'Italie comprenant notamment la Vénétie (en italien : Domini di Terraferma ; en vénitien : Domini de teraferma / Stato da tera).
Juridiction civile
Une juridiction civile ou un tribunal civil est une instance chargée de trancher des litiges dans les affaires civiles (par opposition aux affaires pénales, administratives, etc.)

Selon les pays, le tribunal civil peut être un tribunal autonome n'ayant compétence que dans les affaires civiles ou le même tribunal responsable d'entendre d'autres affaires que celles civiles.

La juridiction civile peut s'opposer, selon les pays, aux juridictions pénales, aux juridictions administratives aux juridictions d'exception, etc.

Ordre administratif
L'ordre administratif (ou justice administrative) est, dans les États qui ont une dualité de juridiction, l'un des deux ordres de juridiction avec l'ordre judiciaire. Il s'agit de la justice que l'État donne face aux erreurs de ses propres employés, les membres de l'administration.
Piéride du vélar
Pontia callidice

La Piéride du vélar ou Veiné de vert ou Marbré des alpages (Pontia callidice) est une espèce d'insectes lépidoptères (papillons) de la famille des Pieridae, de la sous-famille des Pierinae et du genre Pontia.

Pieridae
Les Pieridae (ou Piéridés) sont une famille de lépidoptères (papillons) diurnes de la super-famille des Papilionoidea. Elle comprend environ 1 200 espèces dans le monde, dont environ 50 vivent en Europe et 26 en France métropolitaine.
4 Heures de Sepang 2019
Les 4 Heures de Sepang 2019, disputées le 24 février 2019 sur le Circuit international de Sepang, sont la septième édition de cette course, la troisième sur un format de quatre heures, et la quatrième et dernière manche de l'Asian Le Mans Series 2018-2019.

Asian Le Mans Series 2018-2019
La saison 2018-2019 des Asian Le Mans Series était la septième saison de ce championnat et s'est déroulé du 23 novembre 2018 au 24 février 2019 sur un total de quatre manches.

À l'issue du championnat, les vainqueurs du LMP2 Pro, du LMP2 Am, du LMP3 et du GT ont reçu des invitations automatiques pour les 24 Heures du Mans 2019.

Le championnat étant sponsorisé par Michelin et Total, toutes les voitures sont équipées de pneumatiques Michelin et propulsées par du carburant Total.
Hôtel Cipriani
L'hôtel Cipriani est un établissement hôtelier de luxe (cinq étoiles) ouvert en 1958 et situé sur l'île de la Giudecca, à Venise (Italie). Racheté en 2014 par le groupe Belmond (appartenant lui-même à LVMH depuis 2018), il porte désormais le nom de Belmond Hotel Cipriani.

Giudecca
La Giudecca est une des îles de la lagune de Venise (celle-ci est plus exactement un groupement de neuf îles), la plus grande, immédiatement au sud des îles centrales, dont elle est séparée par le canal de la Giudecca.
Elle dépend administrativement du sestiere de Dorsoduro depuis 1171.

L'île de San Giorgio Maggiore, dont elle est séparée par le canal de la Grâce, se situe en face de son extrémité est.
Réserve naturelle des Bouches de Bonifacio
La réserve naturelle des Bouches de Bonifacio (RNC147) est une réserve naturelle de Corse. Classée en 1999, elle occupe une surface de 79 460 hectares ce qui en fait la plus grande réserve naturelle de France métropolitaine. Elle correspond à la partie française du futur Parc Marin International corso-sarde dont le projet a été mis en œuvre depuis 1995.

Réserve naturelle de Corse
Une réserve naturelle de Corse (RNC) est une aire protégée faisant partie des réserves naturelles de France et dont le statut est défini par la loi relative à la démocratie de proximité du 27 février 2002. Ces sites correspondent aux anciennes réserves nationales de Corse (il en existait 6 en 2006) dont la responsabilité et la gestion ont été transférées à la collectivité territoriale de Corse. Les objectifs de gestion et protection définis par les décrets de création de ces réserves ne changent pas, sauf si une évaluation scientifique de la gestion montrait qu'il y a nécessité de corriger certains aspects de la gestion.

Les autres statuts français de réserves naturelles sont les réserves naturelles nationales et régionales.
Viktor Kolelishvili
Viktor Kolelishvili (en géorgien : ვიქტორ კოლელიშვილი et phonétiquement en français : Viktor Kolélichvili), né le 9 octobre 1989 à Tbilissi (Géorgie), est un joueur de rugby à XV international géorgien. Il évolue au poste de troisième ligne aile (1,93 m pour 100 kg).

Équipe de Géorgie de rugby à XV
L'équipe de Géorgie de rugby à XV rassemble les meilleurs joueurs de Géorgie. Les Géorgiens jouent en maillot bleu et bordeaux, short bleu, bas bleu. Leur symbole est un bordjgali traditionnel. Les joueurs sont surnommés les Lelos.

Bien que le rugby existe en Géorgie depuis 1964, les joueurs représentaient l'ex-URSS jusqu'au premier match officiel de la Géorgie en 1989.
Novaïa Derevnia (raïon de Novgorod)
Novaïa Derevnia (en russe : Макси́мовка, littéralement « Nouveau Hameau ») est un hameau de l'établissement rural de Savino, dont il est le chef-lieu, du raïon de Novgorod dans l'oblast de Novgorod. Sa population s'élevait à 143 habitants au recensement de 2010.

Oblast de Novgorod
L'oblast de Novgorod (en russe : Новгоро́дская о́бласть, Novgorodskaïa oblast) est un sujet fédéral de Russie, établi en 1944. Il se situe dans le district fédéral du Nord-Ouest, entre Moscou et Saint-Pétersbourg. Sa capitale administrative est la ville de Novgorod et sa superficie est de 54 501 km2. 70 % de la population vit en zone rurale ; on compte dix villes dans l'oblast.
Direction (administration française)
Dans l'administration publique française, une direction, qu'elle soit ministérielle (générale ou centrale), zonale, régionale ou départementale est un échelon de l'organisation administrative. Elle est dirigée par un directeur (en principe haut fonctionnaire) nommé en conseil des ministres par le président de la République, qui n’est pas tenu de suivre les propositions du gouvernement.[réf. nécessaire]

Il existe plusieurs niveaux de direction, selon qu'il s'agit de subdélégation des prérogatives de l'État ou des collectivités territoriales. Elles peuvent être thématiques, ou fonctionnelles et transversales.

Chaque direction comporte des subdivisions dont l’appellation varie selon les ministères. Il peut s’agir de sous-directions, de services ou encore de divisions. À leur tête, les sous-directeurs, les chefs de services ou de divisions sont nommés en vertu de règles statutaires. L’unité de base au sein des différents ministères est le bureau dirigé par un chef de bureau.

Administration publique française
Les administrations publiques françaises regroupent l’État, les collectivités territoriales et les administrations de sécurité sociale. Avec les entreprises publiques, elles forment la sphère publique.

Selon la définition de l'INSEE :

« Le secteur des administrations publiques (S.13) est l’ensemble des unités institutionnelles dont la fonction principale est de produire des biens et services non marchands ou d'effectuer des opérations de redistribution du revenu et des richesses nationales et dont les ressources proviennent majoritairement de contributions obligatoires versées par des unités appartenant à d’autres secteurs institutionnels.
Le secteur des administrations publiques comprend les entités juridiques investies des pouvoirs exécutif, législatif et judiciaire.
Le secteur des administrations publiques comprend l’administration centrale (S.1311), l’administration locale (S.1313) et les caisses de sécurité sociale (S.1314). »
Analyse des systèmes de mesure
L'analyse des systèmes de mesure (anglais : measurement system analysis) est un processus d'évaluation d'un système de mesure (les instruments, les méthodes de test, les conditions, etc.) pour en déterminer la qualité, mais aussi la capabilité en vue d'une application donnée. Elle joue donc un rôle important dans la métrologie industrielle, la gestion de la qualité et les démarches associées.

Instrument de mesure
Un instrument de mesure (ou appareil de mesure) est un dispositif destiné à obtenir des valeurs qu'on puisse attribuer à une grandeur.

En physique et en sciences de l’ingénieur, mesurer consiste à comparer une grandeur physique qui caractérise un objet ou un phénomène avec celle de même nature choisie comme unité de mesure. La mesure est le nombre qui fixe la relation entre la grandeur mesurée et l’unité choisie.

En sciences sociales, on désigne par synecdoque comme instrument de mesure les méthodes qui permettent de constituer des grandeurs numériques qui puissent caractériser un phénomène, en les rendant autant que possible indépendantes des observateurs.
Thorin et Cie
Thorin et Cie est un groupe de treize nains qui constitue la majeure partie des personnages principaux du roman Le Hobbit de J. R. R. Tolkien. Ils se nomment Thorin, Balin, Dwalin, Fíli, Kíli, Dori, Nori, Ori, Óin, Glóin, Bifur, Bofur et Bombur.

Ils appartiennent au peuple de Durin, le plus ancien et le plus prestigieux de toute la race naine, et sont presque tous issus de la famille royale de ce peuple, dont le chef à l'époque du récit est Thorin lui-même. Le roman relate l'expédition qu'ils entreprennent, conseillés par le magicien Gandalf et aidés du hobbit Bilbo Bessac, pour reconquérir le trésor de leurs ancêtres, perdu près de deux siècles plus tôt, lorsque le dragon Smaug a attaqué Erebor et en a chassé les Nains. Malgré la mort de 3 d'entre eux, l'aventure est couronnée de succès.

Durin
Dans la mythologie nordique, Durin (ou Durinn) est le deuxième nain, après Mótsognir, créé par les dieux à partir des vers trouvés dans le cadavre du géant Ymir. Son histoire nous est notamment rapportée par la Völuspá, poème mythologique médiéval.

Dans son légendaire, J. R. R. Tolkien réinterprète le personnage de Durin : il est notamment l'un des sept pères des Nains de la Terre du Milieu, conçus par le Vala Aulë. Le nom est également repris pour plusieurs personnages.
Monnaie numérique de banque centrale
La monnaie numérique de banque centrale (ou MNBC) est la forme numérique de la monnaie fiduciaire, à savoir les billets et les pièces de monnaie, produite par une banque centrale. Fondée sur les technologies du numérique ou sur la technologie de la chaîne de blocs (blockchain), la monnaie numérique de banque centrale a émergé durant les années 2010 et fait actuellement l'objet de recherches et d'expérimentations. Elle doit permettre d'assurer des paiements sécurisés et instantanés en ligne avec de la monnaie garantie par la puissance publique. Certains pays ont commencé à la mettre en œuvre, parmi lesquels la Chine et le Nigeria.

Banque centrale
La banque centrale est une institution financière, souvent publique, chargée par l'État de conduire la politique monétaire du pays ou de sa zone économique. Elle est régie par un mandat qui précise ses objectifs, tels que la stabilité des prix, la confiance en la monnaie, la stabilité financière ou encore le plein emploi.

Apparues entre le XVIIe siècle et le XIXe siècle sous leur forme moderne, les banques centrales ont longtemps majoritairement été des institutions privées ou semi-privées. La plupart d'entre elles ont été nationalisées au XXe siècle.
Lamington
Le lamington est un gâteau traditionnel australien constitué de rectangles de gâteau éponge recouverts d'un glaçage au chocolat (parfois à la framboise) et roulé dans de la noix de coco séchée. La préparation appliquée en couche fine est absorbée par l'extérieur du gâteau après un temps de repos, ce qui lui donne une texture particulière. Le lamington reste un encas populaire à travers toute l'Australie et la Nouvelle-Zélande. Il est appelé affectueusement « lammo » par les Australiens.

Sponge cake
Le sponge cake (français européen) ou gâteau éponge (français canadien) est un gâteau anglais à base de génoise, très aéré, d'où son nom de gâteau « éponge ». Une variante du sponge cake est connue sous le nom de Victoria Sponge Cake ou Victoria Sandwich, c'est-à-dire le « gâteau » ou « sandwich de la reine Victoria ».
Émeutes d'août 1830 à Bruxelles
Les émeutes d'août 1830 à Bruxelles désignent le mouvement de protestation populaire qui déclenche l'insurrection de 1830 dans les Pays-Bas méridionaux ainsi que la révolution belge.

Elles se déclenchent à la suite de la représentation de la pièce d'opéra de Daniel-François-Esprit Auber, La Muette de Portici, au théâtre royal de la Monnaie, le soir du 25 août 1830.

Elles se caractérisent par de multiples pillages, incendies, fusillades et actes de vandalisme dans la ville de Bruxelles, qui est alors la capitale de la province du Brabant-Méridional au sein du Royaume uni des Pays-Bas, ainsi que dans certaines communes de sa proche banlieue comme Anderlecht, Forest ou Uccle. Plusieurs affrontements ont également lieu entre le peuple, la garde bourgeoise de Bruxelles, créée pour l'occasion afin de maintenir l'ordre, et l'armée royale.

Forces armées du royaume uni des Pays-Bas
Les forces armées du royaume uni des Pays-Bas (nederlandse krijgsmacht en néerlandais) constituaient la puissance militaire du Royaume-uni des Pays-Bas, tel qu'il a existé de se création par le congrès de Vienne en 1815, jusqu'à la révolution belge, puis la déclaration d'indépendance de la Belgique le 4 octobre 1830.

Elles étaient composées de trois branches : l'armée royale (Koninklijke Landmacht), la maréchaussée royale (Koninklijke Marechaussee) et la marine royale (Koninklijke Marine). Elles sont les ancêtres des forces armées de la Belgique ainsi que des forces armées des Pays-Bas.

Elles étaient sous le commandement du roi des Pays-Bas, Guillaume Ier d'Orange-Nassau