hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Jean (apôtre)
Jean (grec : Ἰωάννης ; araméen ܝܘܚܢܢ ܫܠܝܚܐ, Yohanan Shliha, Jean l'apôtre ; hébreu : יהוחנן, Yehohānan, arabe : يوحنا (christianisme) Yohana, يحيى (islam) Yahia) dit aussi Jean l'Évangéliste, est un juif du Ier siècle devenu chrétien, disciple de Jésus.

« Jean fils de Zébédée » est nommé dans les premiers de la liste des douze Apôtres, avec son frère Jacques dit le Majeur, dans les évangiles selon Marc, selon Matthieu et selon Luc, ainsi que dans le livre des Actes des Apôtres et à la fin ajoutée à l'Évangile selon Jean.

La tradition chrétienne attribue à l'apôtre Jean la rédaction de cet Évangile selon Jean (elle identifie l'apôtre au « disciple que Jésus aimait »), ainsi que celle de trois épîtres et de l'Apocalypse. L'ensemble de ces textes constitue le corpus johannique.

Poutre de gloire
Une poutre de gloire, tref ou perque (du latin ecclésiastique trabes doxalis, « poutre de gloire ») est une poutre peinte, sculptée ou orfévrée, placée transversalement entre les sommiers d'un arc triomphal (arc de maçonnerie séparant la nef et le chœur d'une église), à l'entrée du transept ou à l'orée de l'abside.
Grammy Awards
Les Grammy Awards ou Grammys (initialement intitulées les Gramophone Awards) sont des récompenses créées en 1958 décernées chaque année aux États-Unis par la National Academy of Recording Arts and Sciences (NARAS) ou la Latin Academy of Recording Arts and Sciences (LARAS) afin d'honorer les meilleurs artistes et les meilleurs techniciens dans le domaine de la musique de l'industrie américaine du disque. Ils sont considérés par de nombreux amateurs de musique, et aussi de nombreux professionnels de l'industrie du disque comme la référence des prix de reconnaissances de talents musicaux, bien qu'il n'y ait pas de réelle légitimité à cette acceptation, les accolades davantage attribués à ces artistes-vedettes qui se démarquent par leur popularité et sont aidés par une critique favorable.

Gramophone Classical Music Awards
Les Gramophone Classical Music Awards, lancés en 1977, sont l'une des plus importantes distinctions décernées à des enregistrements de musique classique de l'industrie du disque,,. Ils sont souvent considérés comme équivalent à ou le dépassement, du Grammy award american, appelé British Grammy et la mention de la cérémonie des Oscars pour la musique classique,,. Ils sont largement considérés comme les plus influents et prestigieux prix de musique classique récompenses dans le monde,,.

Selon Matthieu Owen, directeur national des ventes chez Harmonia Mundi USA, « finalement, c'est le prix de musique classique, en particulier dans le monde entier. »

Les gagnants sont sélectionnés chaque année par les critiques pour le magazine Gramophone et les différents membres de l'industrie, y compris les détaillants, les radiodiffuseurs, les administrateurs des arts et musiciens. Les récompenses sont généralement présentés en septembre de chaque année, à Londres.
WTA Tour
Le WTA Tour (ou Hologic WTA Tour, pour des raisons de sponsoring avec Hologic), est le principal circuit international de tennis professionnel féminin. Son équivalent masculin est l'ATP Tour. Il est créé en 1973 et organisé par la Women's Tennis Association (WTA).

Fondée par Billie Jean King, après deux années de tâtonnements, la WTA dispose de trois sièges : le principal à St. Petersburg aux États-Unis, le siège Europe à Roehampton en Angleterre, près de celui de la Fédération internationale de tennis (ITF), et le siège Asie-Pacifique à Pékin en Chine.

Barbora Strýcová
Barbora Strýcová (temporairement connue sous le nom de Barbora Záhlavová-Strýcová 2006–2015), née le 28 mars 1986 à Pilsen, est une joueuse de tennis tchèque.

Professionnelle de 2000 à 2023, elle compte deux titres en simple et trente-deux titres en double dames sur le circuit WTA. Son meilleur résultat en simple en tournoi du Grand Chelem est une demi-finale à Wimbledon en 2019 face à Serena Williams.

En double, elle remporte le titre à Wimbledon en 2019 avec Hsieh Su-wei et devient numéro un mondiale à la suite de cette victoire. Elle restera vingt-sept semaines à cette place.
Ordre (biologie)
En biologie, l'ordre est le quatrième niveau de classification classique des espèces vivantes (voir systématique).

Selon  Ruggiero et al. (2015), les 7 règnes du vivant sont constitués de 1 468 ordres.

Tatou
Cingulata

Les tatous (Cingulata, soit « ceints » en latin) sont un ordre de mammifères placentaires d'Amérique tropicale et subtropicale du super-ordre des xénarthres (anciennement super-ordre des édentés). Les tatous actuels sont rangés dans deux familles, celle des Dasypodidae et celle des Chlamyphoridae. Parmi les espèces fossiles, on distingue également les glyptodons, classées avec les Chlamyphoridae. Ils sont omnivores même si leur régime alimentaire est principalement composé d'insectes (chenilles, fourmis, larves...).

Ils sont reconnaissables à leurs plaques cornées formant une carapace défensive lorsqu'ils se roulent en boule.
Le Mesnil-Caussois
Le Mesnil-Caussois est une ancienne commune française, située dans le département du Calvados en région Normandie, devenue le 1er janvier 2017 une commune déléguée au sein de la commune nouvelle de Noues de Sienne.

Elle est peuplée de 114 habitants.

Mesnil-Clinchamps
Mesnil-Clinchamps est une ancienne commune française, située dans le département du Calvados en région Normandie, peuplée de 913 habitants, devenue le 1er janvier 2017 une commune déléguée au sein de la commune nouvelle de Noues de Sienne.
Cantal (département)
Le Cantal (/kɑ̃.tal/) est un département français faisant partie de la région Auvergne-Rhône-Alpes. Il doit son nom au massif volcanique du Cantal qui occupe le centre de son territoire. L'Insee et La Poste lui attribuent le code 15. Sa préfecture est Aurillac.

Il correspond approximativement à la Haute-Auvergne, partition territoriale utilisée par les historiens dont les limites varient selon les auteurs.

Lot (rivière)
Le Lot (prononcé [lɔt], en occitan Òlt ou Òut), est une rivière française du sud du Massif central, affluent en rive droite de la Garonne. Il a donné son nom aux départements français du Lot et du Lot-et-Garonne. C'est la deuxième rivière la plus longue entièrement en France après la Marne. Il traverse cinq départements, que sont la Lozère, l'Aveyron, le Cantal, le Lot et le Lot-et-Garonne, compris dans les régions Occitanie, Auvergne-Rhône-Alpes et Nouvelle-Aquitaine.
Stockholm
Stockholm (prononciation en suédois : /²stɔkː(h)ɔlm/ ) est la plus grande ville et la capitale de la Suède. Elle est le siège du gouvernement et du parlement, ainsi que le lieu de résidence officielle du monarque suédois (actuellement Charles XVI Gustave).

La ville de Stockholm (Stockholms stad) ou, plus officiellement, la commune de Stockholm (Stockholms kommun) est, avec ses 962 154 habitants, la plus peuplée des 290 municipalités suédoises. Le Grand Stockholm, quant à lui, couvre la majeure partie du comté de Stockholm et a une population de 2 135 612 habitants sur une superficie de près de 6 500 km2.

Située au bord de la mer Baltique, la ville est construite en partie sur plusieurs îles, à l'embouchure du lac Mälar, ce qui lui a valu, à l'instar d'autres cités européennes, son surnom de « Venise du Nord ».

Hässelby-Vällingby
Hässelby-Vällingby est un district de l'ouest de Stockholm en Suède. Sa population est d'environ 61 900 habitants.

Il couvre les arrondissements de Hässelby gård, Hässelby strand, Hässelby villastad, Grimsta, Kälvesta, Nälsta, Råcksta, Vinsta et Vällingby.

Le district a été créé en 1998 par fusion des districts de Hässelby  et de Vällingby.
Politique budgétaire
La politique budgétaire est la politique publique par laquelle l'État fait varier le niveau des dépenses publiques. Elle englobe parfois la politique fiscale, qui renvoie plus spécifiquement à la modulation du niveau de l'imposition et des recettes publiques.

La politique budgétaire fait partie des principales politiques économiques conjoncturelles en ce qu'elle permet de soutenir l'activité économique en période de crise, et d'équilibrer les dépenses en période favorable.elle permet aussi de bouster l’économie lors que s’implique dans la gendarmerie.

Politique de rigueur
Une politique de rigueur ou politique d'austérité désigne une politique économique de réduction importante des déficits publics et de stabilisation de la dette publique, mise en œuvre au moyen de coupes budgétaires, de hausses d’impôts, ou des deux,. Plus précisément, ce que les économistes entendent généralement par « austérité », c’est une réduction du « déficit structurel » de l’État, c’est-à‑dire en faisant abstraction des effets du cycle économique.

Les politiques de rigueur s'opposent aux politiques de relance.
Alpes
Les Alpes sont une chaîne de montagnes qui s'étend en Europe, recouvrant la frontière nord de l'Italie, le Sud-Est de la France, Monaco, la Suisse, le Liechtenstein, l'Autriche, le Sud de l'Allemagne, la Slovénie et la Hongrie.

Les Alpes culminent à 4 806 mètres au mont Blanc. On recense 82 sommets majeurs de plus de 4 000 mètres d'altitude (48 en Suisse, 38 en Italie et 24 en France). Les cols de montagne reliant les vallées ou les pays dépassent souvent les 2 000 mètres d'altitude. Les Alpes forment une barrière de 1 200 kilomètres entre la mer Méditerranée et le Danube.

Cénozoïque
Le Cénozoïque est la troisième ère géologique du Phanérozoïque et la plus récente sur l'échelle des temps géologiques. Débutant il y a 66 millions d'années,, après l'extinction du Crétacé, il est précédé par le Mésozoïque et se poursuit de nos jours.
Russe
Le russe (autonyme : русский язык, translittération ISO 9 : russkij jazyk, prononcé : /ˈruskʲɪi̯ jɪˈzɨk/) est une langue appartenant au groupe de langues slaves orientales de la famille des langues indo-européennes, auquel appartiennent aussi l'ukrainien et le biélorusse. Il compte plus de 280 millions de locuteurs (167 millions comme langue maternelle et le reste comme langue seconde). Il constitue la langue officielle de la fédération de Russie et l'une des langues officielles des républiques de Biélorussie, du Kazakhstan et du Kirghizistan, langue de communication au sein de la Communauté des États indépendants (CEI), dominante dans certaines régions d'Ukraine (notamment le Sud et l'Est ukrainien ainsi que la capitale Kiev). Il est également une des langues officielles de l'ONU.

Le russe est régi par l'Académie des sciences de Russie (Росси́йская Акаде́мия Нау́к).

Tchouvachie
La Tchouvachie ou république de Tchouvachie (en russe : Чува́шская Респу́блика, Tchouvachskaïa Respoublika ; en tchouvache : Чӑваш Республики) est une république de la fédération de Russie située au sein de la région économique de Volga-Viatka ou moyenne Volga et sur la rive gauche de ce fleuve. Sa capitale est Tcheboksary.
Saint-Jean-d'Acre
Saint-Jean-d’Acre, appelée Acco ou Ptolémaïs dans l'Antiquité et au Moyen Âge, est une ville de Terre sainte. C'était le nom donné par les chrétiens à la cité que les anciens Hébreux appelaient Acco, puis Acre. La prise de Saint-Jean-d'Acre en 1291 par les mamelouks aboutit à la fin du royaume de Jérusalem et clôt la période des croisades médiévales.

Bataille de Hattin
La bataille de Hattin ou bataille des cornes de Hattin ou encore bataille de Tibériade est un affrontement militaire qui a eu lieu le 4 juillet 1187 à Hattin près du lac de Tibériade, en Galilée. Elle oppose les armées du royaume de Jérusalem, dirigées par Guy de Lusignan, aux forces de Saladin. Ce dernier remporte une victoire qui lui ouvre les portes de la Palestine.
Pays basque (communauté autonome)
La communauté autonome du Pays basque, parfois appelée communauté autonome basque ou Pays basque (appelée aussi Euskadi) est l'une des 17 communautés autonomes de l'Espagne, une des trois autonomies historiques reconnues par le gouvernement espagnol en 1979 avec la Catalogne et la Galice, et composée de trois provinces historiques basques : l'Alava, la Biscaye et le Guipuscoa. En Espagne sa dénomination est Euskadi ou País Vasco.

Elle est située dans le nord de l'Espagne et dispose d'une autonomie certaine dans plusieurs domaines : fiscalité (tous les impôts sont levés par l'administration fiscale basque qui reverse 5 % des impôts à l'Espagne), enseignement, police (police autonome Ertzaintza), soins de santé Osakidetza, etc. La capitale de la communauté est Vitoria-Gasteiz (province d'Alava).

Le nom en basque est Euskadi ou Euskal Herria et en espagnol il s'agit du País Vasco — historiquement on parle aussi de provincias vascongadas —.

Artziniega
Artziniega en basque ou Arceniega en castillan est une commune d'Alava dans la communauté autonome du Pays basque en Espagne.

Le code de l'entité singulière de population est de 1 et le code municipal est 004.
Poupe (constellation)
Puppis

La Poupe est l’une des 88 constellations, visible principalement de l’hémisphère sud. Incluse à l’origine par Ptolémée dans l’immense constellation du Navire Argo, elle fut créée par Nicolas-Louis de Lacaille lorsqu’il divisa le navire en constellations distinctes. La Poupe est la plus grande de ces constellations.

Année-lumière
L’année-lumière (de symbole « al ») est une unité de longueur utilisée en astronomie. 
Elle est égale à la distance parcourue par la lumière dans le vide pendant une année julienne, soit environ 9 461 milliards de kilomètres, soit encore, en ordre de grandeur, environ 10 billions de kilomètres (1013 kilomètres), 10 pétamètres ou environ 0,3 parsec.
Chêne
Quercus

Chêne est le nom vernaculaire de nombreuses espèces d'arbres et d'arbustes appartenant au genre Quercus, et à certains genres apparentés de la famille des fagacées, notamment Cyclobalanopsis et Lithocarpus.

Ce genre, présent dans tout l'hémisphère nord et dont l'aire de répartition s'étend depuis les froides latitudes jusqu'aux zones tropicales de l'Asie et de l'Amérique, comprend à la fois des espèces à feuilles caduques et d'autres à feuilles persistantes.

Là où il est naturellement présent dans son aire de répartition, le chêne abrite des centaines d'autres espèces (notamment après sa vie dans son bois mort), de sorte que certains écologues le qualifient de point chaud de biodiversité.

Sequoia sempervirens
Le Séquoia à feuilles d'if, Séquoia toujours vert ou Séquoia sempervirent (Sequoia sempervirens) est une espèce de conifères de la famille des Taxodiaceae (classification classique) ou des Cupressaceae (classification phylogénétique). Il est l'unique représentant actuel du genre Sequoia. Originaire de la côte Pacifique des États-Unis (Californie et Sud de l'Oregon), il comprend les arbres les plus hauts du monde.
Foie
Le foie est le plus gros organe abdominal  et  fait partie de l'appareil digestif sécrétant la bile et remplissant plus de 300 fonctions vitales, notamment les trois suivantes : une fonction d'épuration, une fonction de synthèse et une fonction de stockage. Il s'agit d'une glande amphicrine permettant la synthèse de la bile (rôle exocrine) ainsi que celle de plusieurs glucides et lipides (rôle endocrine). Il joue aussi un rôle important dans l'hémostase. Il s'agit d'un organe richement vascularisé.

C'est un organe vital.

Greffe (médecine)
En médecine, une greffe ou transplantation est une opération chirurgicale consistant à remplacer un organe malade par un organe sain, appelé « greffon » ou « transplant » et provenant d'un donneur. La différence entre transplantation et greffe est que la première est réalisée avec une anastomose chirurgicale des vaisseaux sanguins nourriciers et/ou fonctionnels, alors que la seconde est avasculaire. Font donc l'objet de transplantations les organes (généralement) : cœur, poumon, foie, reins, tandis que les greffes concernent la cornée, la moelle, etc.
Format 35 mm
Le format 35 mm est la pellicule la plus utilisée du cinéma argentique. Considérée comme le « format standard », elle mesure 35 millimètres de largeur et est dotée sur ses bords de perforations rectangulaires pour assurer son entraînement par les divers mécanismes de prise de vues et de projection.

Développé initialement pour le cinéma, ce format de pellicule a été par la suite adopté par la photographie argentique sous l’appellation « petit format », dans un conditionnement pratique, la cartouche 135. En photographie argentique, la taille de l'image est de 24 × 36 mm ; pour différentes raisons (notamment l'usage des optiques développées pour le 24 × 36 mm) la photographie numérique a conservé ce format (dont l’appellation « 35 mm » n'a alors plus aucun sens, en l'absence de pellicule) pour les capteurs de certains appareils haut-de-gamme (toutes techniques de visée confondues). Il existe des capteurs plus grands — 33 × 44 mm et 40 × 53,5 mm — pour les boîtiers moyen format).

Sony Alpha 7
Le Sony Alpha 7 (typographié α 7) est un appareil photographique hybride semi-professionnel plein format  de 24,3 millions de pixels, équipé de la monture E commercialisé par Sony en octobre 2013. Il est le premier appareil compact à objectif interchangeable équipé du format 35 mm. Il remplace le NEX-7 en tant que haut de gamme semi-professionnel des hybrides de Sony. Deux versions plus haut de gamme existent, l'α 7R, proposant un capteur de 36,4 millions de pixels sans filtre passe-bas et l'α 7S qui propose un capteur de 12,2 millions, offrant une très grande sensibilité et une capacité de filmer en 4K. Son successeur est l'α 7 II.
Vitalic
Pascal Arbez-Nicolas né le 18 mai 1976 à Dijon, est un artiste producteur, auteur et compositeur français de musique électronique plus connu sous le nom de Vitalic.

Depuis 2019, il forme le duo Kompromat avec la musicienne Rebeka Warrior,.

Birdy Nam Nam
Birdy Nam Nam, abrégé BNN, est un groupe de musique électronique français, lauréat du titre de champion du monde de DJ en équipe en 2002 au concours DMC. Il est issu de l'ancien collectif Skratch Action Hiro, deux fois troisième à ce même concours en 1999 et 2001. Birdy Nam Nam est composé de trois membres : Crazy B, Little Mike, DJ Need (DJ Pone a quitté le groupe en 2014).
Chêne vert
Quercus ilex

Le Chêne vert ou Yeuse (Quercus ilex L., 1753) est une espèce d'arbres à feuillage persistant de la famille des Fagacées, présent sous forme de bois clairs et garrigues essentiellement présent dans les régions méditerranéennes. Il est parfois appelé Chêne faux houx, allusion au fait que ses feuilles ressemblent à celles du houx (Ilex aquifolium L., 1753).

Genévrier de Phénicie
Juniperus phoenicea

Le Genévrier de Phénicie, Genévrier de Lycie ou Genévrier rouge (Juniperus phoenicea L.) est une espèce d'arbrisseaux de la région méditerranéenne, où il pousse dans les lieux rocailleux, surtout sur le calcaire. Il se distingue du Genévrier cade, qui a le même habitat, par ses feuilles en écailles et non en aiguilles, et du Genévrier turbiné (un temps considéré comme une sous-espèce) par ses cônes plus petits.
Liste des rois de Thrace
Cet article présente une liste non exhaustive des rois et princes de Thrace, notamment des souverains du royaume des Odryses depuis son établissement au début du Ve siècle av. J.-C. jusqu'à son intégration à l'Empire romain et sa transformation en province en 46 ap. J.-C., appelée également « Thrace ».

Note : Les dates de règnes sont approximatives, ce sont des intervalles larges de diverses sources. Le règne réel est généralement compris entre ces dates, notamment pour les premiers rois.

Royaume des Odryses
Le royaume des Odryses est un État antique issu de l'union de plusieurs peuples thraces entre le Ve et IIIe siècles av. J.-C. Il s'étend sur le sud et l'est de l'actuelle Bulgarie, jusque sur les côtes de l'actuelle Roumanie, sur le nord-est de la Grèce et la partie européenne de l'actuelle Turquie. Le roi Seuthès III en établit la capitale à Seuthopolis (aujourd'hui Kazanlak, en Bulgarie). Au IIe siècle av. J.-C., le royaume devient client de la République romaine ; en 46 le territoire des Odryses est annexé par Claude et transformé en province de Thrace. Une tradition historique née de Plutarque considère que Spartacus est un Odryse.
Caius Julius Hyginus
Hygin, de son nom complet Caius Julius Hyginus (67 av.-17 ap. J.-C.), est un auteur et grammairien latin de l'époque augustéenne. Sa vie est très mal connue. Ses œuvres nous sont parvenues par l'intermédiaire de manuscrits lacunaires et leur grande diversité a fait que leur paternité est contestée par une partie des chercheurs. Hygin est principalement connu pour ses Fabulæ, qui forment une compilation d'informations sur la mythologie grecque et romaine, et pour un traité d'astronomie, le De Astronomia. Ses œuvres sont précieuses pour les chercheurs car elles contiennent des versions de mythes grecs et romains qui ne se trouvent pas ailleurs dans ce qui a été conservé de la littérature antique.

Théogonie (Hésiode)
La Théogonie (en grec ancien Θεογονία / Theogonía) est une œuvre du poète grec Hésiode (VIIIe siècle av. J.-C.) écrite en hexamètres dactyliques. Elle joue un rôle fondateur dans la connaissance que nous avons de la mythologie grecque. Le terme « théogonie » vient du nom θεός / theós qui signifie « dieu » et du verbe γεννάω / gennáō qui signifie « engendrer ». Il s'agit donc d'un récit de l'origine des dieux.
Michel Simon
Michel Simon est un acteur suisse, né le 9 avril 1895 à Genève (Suisse) et mort le 30 mai 1975 à Bry-sur-Marne (Val-de-Marne). Considéré comme un acteur « caméléon » à la voix tonitruante, il a joué dans 145 films, dont La Passion de Jeanne d'Arc de Carl Theodor Dreyer, L’Atalante de Jean Vigo, La Chienne et Boudu sauvé des eaux de Jean Renoir, Drôle de drame et Le Quai des brumes de Marcel Carné, La Beauté du diable de René Clair, La Poison de Sacha Guitry, Le Vieil Homme et l'Enfant de Claude Berri, et dans 150 pièces de théâtre. Il a reçu de nombreux prix et des hommages de plusieurs personnalités du cinéma, en particulier celui de Charlie Chaplin le désignant comme « le plus grand acteur du monde »,

Martine Carol
Marie-Louise Mourer, dite Martine Carol, est une actrice française née le 16 mai 1920 à Saint-Mandé et morte le 6 février 1967 à Monte-Carlo.

Elle fut, jusqu'à l'arrivée de Brigitte Bardot, la vedette française la plus célèbre et la plus populaire des années 1950.
Mémorial de la Gloire éternelle
Le Mémorial de la Gloire éternelle est situé à Kiev, en Ukraine, dans le district de Petchersk. Il est dédié à la mémoire des soldats ayant combattu pendant la Grande Guerre patriotique. Un soldat inconnu mort pendant la Seconde Guerre mondiale y repose.

Monument à saint Vladimir
Le monument à saint Vladimir (en ukrainien : Пам'ятник Володимиру Великому) est un monument consacré au grand-prince de la Rus' de Kiev Vladimir Ier à Kiev.

Construit en 1853 sur la colline Saint Vladimir (en) sur les rives du Dniepr, c'est l'un des symboles de la ville.

Il est inscrit sur le Registre national des monuments d'Ukraine sous le numéro : 80-391-0196.

Sur un timbre postal.

Sur une pièce de monnaie.

Sur un billet de banque.

Monument protégé des bombardements russes. Juillet 2022.
Histoire des mathématiques
L’histoire des mathématiques s'étend sur plusieurs millénaires et dans de nombreuses régions du globe allant de la Chine à l’Amérique centrale. Jusqu'au XVIIe siècle, le développement des connaissances mathématiques s’effectue essentiellement de façon cloisonnée dans divers endroits du globe. À partir du XIXe et surtout au XXe siècle, le foisonnement des travaux de recherche et la mondialisation des connaissances mènent plutôt à un découpage de cette histoire en fonction des domaines mathématiques.

Logique mathématique
La logique mathématique ou métamathématique est une discipline des mathématiques inventée à la fin du XIXe siècle, qui s'est donné comme objet l'étude des mathématiques en tant que système formel.

Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité.