hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Teleidosaurus
Teleidosaurus calvadosii

Teleidosaurus est un genre éteint de crocodyliformes metriorhynchoïdes carnivores ayant vécu au Jurassique moyen (Bajocien supérieur à Bathonien inférieur). Leurs fossiles ont été découverts en Normandie (France) et décrits dès le début du XIXe siècle,,,.

Metriorhynchoidea
Les Metriorhynchoidea (métriorhynchoïdes en français) forment une super-famille éteinte de crocodylomorphes thalattosuchiens aquatiques ayant vécu du Jurassique inférieur (Toarcien), jusqu'au Crétacé inférieur (Valanginien, voire jusqu'à l'Aptien) en Europe, Amérique du Nord et du Sud.
Conseil de la vie collégienne
Le conseil des délégués pour la vie collégienne (CVC), plus couramment appelé conseil de la vie collégienne fonctionne comme le CVL. Il est présidé par le chef d'établissement, il est constitué d'élus élèves et de représentants de l'administration, du personnel et des parents désignés par le conseil d'administration (CA). Les élus du CVC peuvent être désignés soit par le Conseiller principal d'éducation (CPE) soit à l'issue d'un vote des élèves.

Conseil des délégués pour la vie lycéenne
Le conseil des délégués pour la vie lycéenne (CVL), plus couramment appelé conseil de la vie lycéenne ou conseil pour la vie lycéenne est un organe de la démocratie lycéenne en France. Présidé par le chef d'établissement, il est constitué à parité d'élus élèves et de représentants de l'administration, du personnel et des parents désignés par le conseil d'administration (CA). Néanmoins, seuls les élèves prennent part aux votes.
Michel-Louis Brulard
Michel-Louis Brulard, né en 1748, est prêtre et membre de l'Ordre des Carmes déchaux à Charenton. Lors de la révolution, il est arrêté et condamné à être déporté en Guyane. Incarcéré sur un navire-ponton à Rochefort, il meurt de pneumonie le 25 juillet 1794. Il est béatifié par Jean-Paul II comme martyr de la foi, le 1er octobre 1995 avec 63 autres prêtres et religieux.

Pontons de Rochefort
Les pontons de Rochefort sont un ensemble de trois prisons flottantes, en rade de Rochefort, où des prêtres catholiques réfractaires qui ne voulaient pas prêter serment à la constitution civile du clergé pendant la période de la Terreur (durant la Révolution française), ont été regroupés et internés en vue d’être déportés vers les bagnes de Guyane.

Le 1er octobre 1995, 64 de ces prêtres ont été béatifiés par le pape Jean-Paul II. Leur fête a été fixée au 18 août.
Namps-au-Mont
Namps-au-Mont est une ancienne commune française de la Somme qui fusionna administrativement avec 3 autres : Namps-au-Val, Taisnil et Rumaisnil pour constituer Namps-Maisnil le 28 décembre 1972.

Les 4 anciennes communes désormais réunies en une seule sont proches les unes des autres, mais ne présentent aucune continuité de leur habitat.

Rumaisnil
Rumaisnil est une ancienne commune française de la Somme qui fusionna administrativement avec 3 autres : Namps-au-Mont, Namps-au-Val et Taisnil pour constituer Namps-Maisnil le 28 décembre 1972, dont elle est désormais une commune associée.

Les 4 anciennes communes désormais réunies en une seule sont proches les unes des autres, mais ne présentent aucune continuité de leur habitat.
85e régiment d'infanterie (France)
Le 85e régiment d'infanterie (85e RI) est un régiment d'infanterie de l'Armée de terre française, à double héritage, créé sous la Révolution à partir du régiment de Diesbach, un régiment d'infanterie suisse au service du royaume de France, et du 10e régiment d'infanterie légère créé à partir des chasseurs du Gévaudan.

Réorganisation des corps d'infanterie français (1854)
La réorganisation des corps d'infanterie français est un processus, légalement institué par le décret impérial du 24 octobre 1854, qui vise à restructurer les corps de l'Armée française, mais se concentre exclusivement sur les régiments d'infanterie légère. Le décret est signé par l'empereur Napoléon III sur demande du maréchal Vaillant alors ministre secrétaire d'état au département de la guerre.
Schooled
Schooled est une série télévisée américaine en 34 épisodes de 22 minutes créée par Marc Firek et Adam F. Goldberg, diffusée entre le 9 janvier 2019 et le 13 mai 2020 sur le réseau ABC et sur le réseau Global au Canada. Il s'agit d'une dérivée de la série américaine Les Goldberg créée par son créateur, Adam F. Goldberg.

Cette série est inédite dans tous les pays francophones.

Les Goldberg
Les Goldberg  (The Goldbergs) est une série télévisée américaine en 229 épisodes de 22 minutes créée par Adam F. Goldberg et diffusée entre le 24 septembre 2013 et le 3 mai 2023 sur le réseau ABC et au Canada en simultané sur le réseau CTV ou CTV 2.

En France, la série est diffusée depuis le 17 octobre 2015 sur Comédie+, depuis le 8 juillet 2017 sur C8 et depuis le 12 août 2019 sur TFX. Au Québec, depuis le 31 mars 2016 sur le service de vidéo à la demande ICI TOU.TV et en Suisse depuis le 2 décembre 2016 sur RTS Un. En Côte d'Ivoire, elle est diffusée en clair sur RTI 2 à partir du 23 juillet 2019. Néanmoins, elle reste inédite en Belgique.
12e division SS Hitlerjugend
La 12e division SS « Hitlerjugend » ou la division « Hitlerjugend » (appellation allemande complète :  la 12. SS-Panzer-Division « Hitlerjugend » ; soit en français : la « 12e division blindée SS « Hitlerjugend ») est l'une des 38 divisions de la Waffen-SS durant la Seconde Guerre mondiale. Elle fut engagée sur les fronts de l'Est et de l'Ouest. La plupart de ses membres étaient issus des Jeunesses hitlériennes (la Hitlerjugend) et étaient de la classe 1926.

Jeunesses hitlériennes
Les Hitlerjugend (en allemand : /ˈhɪtlɐˌjuːɡn̩t/ ) ; abrégé HJ (en allemand : /haːˈjɔt/ ), en français, littéralement : les Jeunesses hitlériennes, est le mouvement de jeunesse du Parti national-socialiste des travailleurs allemands dirigé par Adolf Hitler.

Créée en 1926, cette organisation, seul mouvement de jeunesse autorisé durant le Troisième Reich à partir de décembre 1936, devient obligatoire en 1939 pour tous les jeunes Allemands de quatorze à dix-huit ans et reste active jusqu'à la capitulation de l'Allemagne nazie en 1945.
Habergy
Habergy (en gaumais et en wallon Haberdji, en luxembourgeois Hiewerdang) est un village de Lorraine belge dans l'extrême sud de la province de Luxembourg en Belgique. Administrativement il fait partie de la commune de Messancy, située en Région wallonne (Belgique). C'était une commune à part entière avant la fusion des communes de 1977. La section d'Habergy comprend les villages de Bébange, Guelff et Habergy.

Messancy
Messancy (prononcé /mε.sɑ̃.si/, en allemand Metzig, en luxembourgeois Miezeg) est une commune francophone de Belgique située en Région wallonne dans le sud de la province de Luxembourg, ainsi qu’une localité où siège son administration. Elle se trouve à la frontière du Grand-Duché de Luxembourg et non loin de la France. Elle fait partie de l'arrondissement d'Arlon et est le siège de la justice de paix du canton de Messancy.

La commune de Messancy est l'une des 25 communes de l'Agglomération transfrontalière du pôle européen de développement. Culturellement, elle fait partie du Pays d'Arlon où la langue vernaculaire est le luxembourgeois, de moins en moins parlé.
Llew Llaw Gyffes
Llew (ou Lleu) Llaw Gyffes, dans la mythologie celtique brittonique, est un personnage qui apparaît dans la Quatrième Branche du Mabinogi : Math fils de Mathonwy. Le sens de son surnom « qui a la main rapide » est à rapprocher de celui de « lamfada » (« au long bras ») que l’on donne parfois à Lug en Irlande et dont il est un équivalent, sans en être l’exacte réplique.

Mabinogion
Les Mabinogion ou les Quatre Branches du Mabinogi (en gallois : Pedair Cainc y Mabinogi) sont quatre récits médiévaux (des chwedl ou cyfarwyddyd, mots qui signifient contes), écrits en moyen gallois (gallois du XIIe au XVIe siècle), qui font référence à la mythologie celtique de l'Antiquité. Traditionnellement s'y ajoutent d'autres contes relevant de la légende arthurienne. Le mot Mabinogion est le pluriel de Mabinogi. Diverses explications sur le sens du mot ont été avancées, mais il pourrait venir du nom du dieu Mabon (Maponos en Gaule) qui figure dans le conte Kulhwch et Olwen, et qui fait partie de la même collection. Les quatre récits (en) s'intitulent : Pwyll, prince de Dyfed (en), Le Mabinogi de Branwen (en), Manawydan fils de Llyr (en) et Math fils de Mathonwy (en).
Airy-0
Airy-0 est un cratère d'impact de Mars qui définit la position du premier méridien sur cette planète. Il est situé juste au sud de la bordure orientale du plateau de Meridiani Planum, à environ 100 km au sud de cette limite, dans la partie méridionale d'Arabia Terra, par 5,1° S et 0° E, à la limite des quadrangles de Margaritifer Sinus et de Sinus Sabaeus.

Airy-0 mesure environ 500 m de diamètre et est situé à l'intérieur d'un cratère plus grand, Airy. Via ce dernier, son nom provient de George Biddell Airy (1801-1892), un astronome du roi d'Angleterre.

Quadrangle de Sinus Sabaeus
Dans le cadre de la géographie de la planète Mars, le quadrangle de Sinus Sabaeus — également désigné par le code MC-20 — désigne une région martienne définie par les latitudes comprises entre 30° S et 0° et les longitudes comprises entre 0° et 45° E.
Anwar Raslan
Anwar Raslan (ou Anouar Raslan, en arabe : أنور رسلان) est un ancien officier de renseignement syrien en poste jusqu'en 2012, puis réfugié politique en Allemagne depuis 2014, né le 3 février 1963, originaire de la ville de Houla, dans le gouvernorat de Homs. Le 13 février 2019, le procureur allemand émet un mandat d'arrêt contre lui, pour des soupçons de crimes contre l'humanité, de même qu'Eyad al-Gharib. Leur procès est le premier procès au monde concernant des violations attribuées au régime de Bachar el-Assad. Il est accusé d'avoir dirigé la torture pendant son mandat à la tête de la section des investigations de la branche 251, dite branche al-Khatib de la Direction générale de la sécurité, entraînant la mort d'au moins 58 détenus, entre avril 2011 et septembre 2012.

À la suite de son procès en 2020-2022, il est reconnu coupable de crime contre l'humanité et condamné à la prison perpétuité en Allemagne par la Haute cour régionale de Coblence.

Eyad al-Gharib
Eyad al-Gharib, né en 1976 à Mohassan, est un ancien sergent des services de renseignements syrien. Il se réfugie en Allemagne après avoir déserté et fui la Syrie. En 2019, il y est arrêté car il est soupçonné de complicité de crimes contre l'humanité. Le 24 février 2021, il est reconnu coupable par la justice allemande. C'est la première condamnation au monde pour des exactions ayant eu lieu pendant le conflit syrien.
15&
15& (coréen : 피프틴앤드, aussi écrit Fifteen And) est un duo sud-coréen de K-pop, originaire de Séoul, actif entre 2012 et 2019. Il est formé par JYP Entertainment en 2012. Le duo se compose de Park Jimin et de Baek Yerin. 15& est une combinaison de leurs âges à leurs débuts et le « & » signifie qu'elles peuvent faire succès dans le futur. Elles sortent leur premier single, intitulé I Dream, le 5 octobre 2012, suivi de Somebody le 17 avril 2013.

Jamie (chanteuse)
Park Ji-min, mieux connue sous les noms de Jimin Park ou Jamie Park, communément appelée Jamie depuis le 22 avril 2020, est une chanteuse et présentatrice sud-coréenne née le 5 juillet 1997 à Daejeon. Elle est connue pour avoir été membre du duo 15& de 2012 à 2019, et co-animatrice de l'émission anglophone de K-pop After School Club depuis mars 2015.
Manœuvre en position centrale
La manœuvre en position centrale est une stratégie opérationnelle, notamment utilisée par Napoléon dans les guerres napoléoniennes,,. Elle consiste à profiter de la division de l'armée ennemie en plusieurs forces pour se placer en position centrale (à distance égale entre chacune de ces forces) de façon à les empêcher de faire jonction et battre successivement et séparément chacune d'elles. Souvent, la première composante est immobilisée à l'aide d'un corps secondaire pendant que le corps principal tente de détruire la seconde composante avant de se retourner contre la première. Cette manœuvre permet de remporter une victoire en infériorité numérique. On en distingue deux types : offensive, lorsque la liberté de mouvement est garantie et défensive lorsque les mouvements sont contraints par la défense d'une place ou d'un point particulier,.

A l'instar de la manœuvre sur les arrières, elle est théorisée dans la seconde moitié du XIXe siècle par le général Hubert Camon.

Manœuvre sur les arrières
La manœuvre sur les arrières est une stratégie opérationnelle consistant à surgir dans le dos de l'ennemi pour le forcer à mener une bataille dans une position défavorable (à front renversé), menacer son ravitaillement et couper sa retraite en s'aidant d'un corps secondaire qui fixe l'ennemi et sert de diversion,,. Cette manœuvre, à l'instar de la manœuvre en position centrale, est théorisée dans la seconde moitié du XIXe siècle par le général Hubert Camon.

Cette manœuvre est utilisé par Napoléon durant la première campagne d'Italie (1796-1797) à la bataille de Lodi et à la fin de la bataille de Castiglione, et connut un succès particulier durant la campagne d'Allemagne (1805) à la bataille d'Ulm.
Guizotia
Guizotia est un genre de plantes à fleurs dicotylédones de la famille des Asteraceae, de la sous-famille des Asteroideae, originaire d'Afrique et de la péninsule arabique, qui comprend neuf espèces acceptées.

L'espèce-type est Guizotia abyssinica (L.f.) Cass.

Ce sont des plantes annuelles ou vivaces, herbacées ou arbrisseaux, ramifiés, à port dressé, pouvant atteindre deux mètres de haut.

Une espèce, Guizotia abyssinica, est cultivée pour ses graines oléifères.

Guizotia abyssinica
Guizotia abyssinica, la guizotia d'Abyssinie, guizotia oléifère, niger, nyger  ou noug, est une espèce de plantes à fleurs dicotylédones de la famille des Asteraceae, sous-famille des Asteroideae, originaire des hauts plateaux d'Éthiopie. Ce sont des plantes herbacées annuelles pouvant atteindre deux mètres de haut.

Cette espèce est cultivée pour ses graines et son huile, principalement en Éthiopie et en Inde, où elle a été domestiquée il y a environ 3000 ans.
Amblève (rivière)
L’Amblève (en allemand Amel) est une rivière de Belgique, affluent en rive droite de l’Ourthe et donc sous-affluent de la Meuse. Elle coule entièrement en province de Liège (en Région Wallonne de Belgique).

Ourthe (rivière)
L'Ourthe est une rivière de Belgique, affluent en rive droite de la Meuse. C'est une rivière issue de la confluence de l'Ourthe orientale (dont la source est près du village d'Ourthe sur la commune de Gouvy) et de l'Ourthe occidentale (dont la source est près du village d'Ourt sur la commune de Libramont-Chevigny), toutes deux dans la province de Luxembourg en Belgique.
Nusch Éluard
Nusch Éluard est une « artiste » et égérie franco-allemande, née Maria Benz le 21 juin 1906 à Mulhouse dans une Alsace faisant alors partie de l'Empire allemand et morte française le 28 novembre 1946 à Paris 18e,. Femme sans tabou et égérie du surréalisme célébrée par les œuvres de Man Ray, Picasso, Miró, Valentine Hugo, Dora Maar, elle participe après la rupture du pacte germano-soviétique en 1941 à la Résistance communiste malgré une santé très altérée et deviendra, selon une légende soutenue par les proches témoins, le personnage nommé Liberté dans le poème du même nom.

Dora Maar
Dora Maar, pseudonyme d'Henriette Theodora Markovitch, née le 22 novembre 1907 à Paris et morte le 16 juillet 1997 dans la même ville, est une photographe et artiste peintre française associée au surréalisme,.

Elle fut l'une des amantes et muses du peintre Pablo Picasso, rôle qui a longtemps occulté l'ensemble de son œuvre.
Richard Matt
Richard William Matt est né le 25 juin 1966 et est mort le 26 juin 2015 à Malone, également dans l'État de New York. Ce criminel américain est connu pour plusieurs évasions de prison, en particulier celle de l'établissement correctionnel de Clinton de 2015, qu'il a réalisée avec son codétenu David Sweat.

David Sweat
David Paul Sweat est né le 14 juin 1980 à Binghamton dans l'État de New York. Ce criminel américain auteur de nombreux cambriolages et du meurtre d'un shérif adjoint est connu pour avoir participé avec Richard Matt à une célèbre évasion de l'établissement correctionnel de Clinton le 6 juin 2015 avant d'être finalement recapturé le 28 juin de la même année.
Touat
Le Touat est une région de l'ouest du Sahara algérien, située au sud-ouest du Grand Erg occidental, dans la wilaya d'Adrar.

La composition de la population du Touat est diverse. On y retrouve des Subsahariens, des Berbères, des Haratines, des Arabes. La région a été peuplée par une communauté juive dans l'Antiquité et au Moyen Âge, notamment à Tamantit,.

Wilaya d'Adrar
La wilaya d'Adrar (/a.dʁaʁ/) ; en berbère : ⵜⴰⵎⵏⴰⴹⵜ ⵏ ⴰⴷⵔⴰⵔ ; en arabe : ولاية أدرار) est une wilaya algérienne, localisée dans le sud-ouest du pays, dans le Sahara, elle est peu peuplée, au regard de sa superficie (427 368 km2).
Gare de Guingamp
La gare de Guingamp est une gare ferroviaire française des lignes de Paris-Montparnasse à Brest, de Guingamp à Carhaix et de Guingamp à Paimpol. Elle est située à proximité du centre de la ville de Guingamp, dans le département des Côtes-d'Armor, en région Bretagne.

Elle est mise en service en 1863 par la Compagnie des chemins de fer de l'Ouest sur la ligne de Paris-Montparnasse à Brest. Elle devient le centre d'une étoile ferroviaire à six branches lors de l'époque des réseaux secondaires à voie métrique dont la dernière ligne desservant Guingamp est transformée en voie normale en 1967.

Guingamp est une gare voyageurs de la Société nationale des chemins de fer français (SNCF), desservie par le TGV et des trains express régionaux TER Bretagne. C'est également une gare marchandises.

Ligne de Guingamp à Carhaix
La ligne de Guingamp à Carhaix est une ligne ferroviaire française à écartement standard et à voie unique de la région Bretagne. C'est une ancienne ligne du réseau breton à voie métrique, transformée à l'écartement normal en 1967. Elle porte le n° 485 000 sur le réseau ferré national français.

Comme la ligne de Guingamp à Paimpol, elle est exploitée en affermage par Transdev Rail (anciennement la société des Chemins de fer et transport automobile) pour le compte de la Société nationale des chemins de fer français (SNCF).
Leon Vance
Leon James Vance (né le 8 juillet 1963) est un personnage de fiction, Directeur actuel[Passage à actualiser] du NCIS qui a remplacé l'ancienne Directrice Jennifer Shepard après que cette dernière a été tuée dans l'épisode final de la saison 5, Judgment Day.

Jennifer Shepard
Jennifer “Jenny” Shepard est un personnage fictif de la série télévisée NCIS : Enquêtes spéciales, interprétée par Lauren Holly. Elle arrive directement à la tête du NCIS au début de la troisième saison, en remplacement de Tom Morrow qui s’en détache après le décès de Caitlin Todd. Jenny figure également comme une ancienne amante de Leroy Jethro Gibbs.
Kérity (Côtes-d'Armor)
Kérity, en breton Keriti, est un quartier de la commune de Paimpol dans le département des Côtes-d'Armor.

C'est une ancienne commune ayant fusionné en 1960 avec Plounez et Paimpol.

D'un point de vue religieux, la paroisse de Kérity était enclavée dans l'évêché de Saint-Brieuc faisait partie du doyenné de Lanvollon relevant de l'évêché de Dol et était sous le vocable de saint Samson. L'église de Keriti (dès 1189) ou de Quérity (1198) est citée dans les chartes des abbayes de Saint-Riom et de Beauport.

Plounez
Plounez est une ancienne commune des Côtes-d'Armor ayant fusionné en 1960 avec Paimpol et Kérity.

Ses habitants sont les Plounéziens.

D’un point de vue religieux, l’ancienne paroisse de Plounez faisait partie de l’évêché de Saint-Brieuc et était placée sous le vocable de Notre-Dame de Bon Secours. Paimpol en était une trêve jusqu’en 1790. Depuis un aménagement pastoral de 1997, Plounez est devenu un relais paroissial de la paroisse de Paimpol.
Annelida
Les Annélides (Annelida) sont un embranchement d'animaux protostomiens métamérisés vermiformes, autrement dit des « vers ». Ils vivent essentiellement dans l'eau (eau de mer comme la gravette ou eau douce comme la sangsue) même si certaines espèces comme les lombrics vivent dans le sol.

Hirudinea
Sangsues, Hirudinées, Achètes

Hirudinea, les sangsues, hirudinées ou achètes, sont une sous-classe de l'embranchement des annélides. Elle regroupe environ 650 espèces hermaphrodites de vers annelés de 1 à 20 cm de longueur. Hormis quelques espèces vivant en estuaire ou eaux marines, elles vivent en eau douce. De nombreuses espèces déposent leurs cocons dans de la terre humide et certaines ont un cycle de vie plus terrestre, en étant par exemple capables de grimper aux arbres.

Environ 300 espèces sont des parasites temporaires d'animaux marins, terrestres ou d'eau douce, hématophages, se nourrissant de sang de vertébrés et/ou d'hémolymphe d'invertébrés. Une centaine d'espèces sont marines et environ 90 terrestres.

Quelques espèces font l'objet d'un usage médicinal depuis plus de 2 000 ans, mais la diversité et répartition des sangsues est encore mal connue dans de nombreux pays, y compris pour les eaux douces.
Gimeno
Gimeno est un prénom hispanique, également devenu nom de famille. On trouve fréquemment la variante Jimeno, ainsi que le patronyme Giménez, dont la terminaison en -ez indique la filiation : Giménez, fils de Gimeno.

Giménez
Giménez est un prénom hispanique, également devenu nom de famille. On trouve fréquemment la variante Jiménez, ainsi que Ximénez, forme ancienne ou régionale. La terminaison en -ez indique la filiation : Giménez, fils de Gimeno.

La graphie espagnole correcte est Giménez, l'accent écrit indiquant l'accent tonique en langue castillane. Mais on trouve parfois la graphie Gimenez, qui est fautive, notamment quand des branches familiales émigrent hors d'Espagne : il arrive que des employés d'état-civil des pays non hispanophones oublient involontairement l'accent, ou simplifient volontairement l'orthographe du nom dans les actes de naissance.
Polycotylinae
Polycotyilnae

Polycotylinae est une sous-famille fossile de plésiosaures de la famille fossile des Polycotylidae.

Selon Paleobiology Database en 2024, cinquante-deux collections de fossiles sont référencées.

Polycotylidae
Polycotylidés

Les Polycotylidae (ou Polycotylidés en français) sont une famille fossile de Plesiosauroidea (plésiosaures "vrais") du Crétacé. Elle s'apparente à la famille des Elasmosauridae. Selon Paleobiology Database en 2025, cette famille des Polycotylidés a dix-huit genres référencés.
Système à la Hilbert
En logique, les systèmes à la Hilbert servent à définir les déductions formelles en suivant un modèle proposé par David Hilbert au début du XXe siècle : un grand nombre d'axiomes logiques exprimant les principales propriétés de la logique que l'on combine au moyen de quelques règles, notamment la règle de modus ponens, pour dériver de nouveaux théorèmes. Les systèmes à la Hilbert héritent du système défini par Gottlob Frege et constituent les premiers systèmes déductifs, avant l'apparition de la déduction naturelle ou du calcul des séquents, appelés parfois par opposition systèmes à la Gentzen.

Calcul des séquents
En logique mathématique et plus précisément en théorie de la démonstration, le calcul des séquents est un système de déduction créé par Gerhard Gentzen,,. Le nom de ce formalisme fait référence à un style particulier de déduction ; le système original a été adapté à diverses logiques, telles que la logique classique, la logique intuitionniste et la logique linéaire. Un séquent est une suite d'hypothèses suivie d'une suite de conclusions, les deux suites étant usuellement séparées par le symbole  (taquet droit), « : » (deux-points) ou encore  (flèche droite) dans l'œuvre originale de Gentzen.

Un séquent représente une étape d'une démonstration, le calcul des séquents explicitant les opérations possibles sur ce séquent en vue d'obtenir une démonstration complète et correcte.