hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Système axiomatique
En mathématiques, un système axiomatique est un ensemble d'axiomes dont certains ou tous les axiomes peuvent être utilisés logiquement pour dériver des théorèmes. Une théorie consiste en un système axiomatique et tous ses théorèmes dérivés. Un système axiomatique complet est un type particulier de système formel. Une théorie formelle signifie généralement un système axiomatique, par exemple formulé dans la  théorie des modèles. Une démonstration formelle est une interprétation complète d'une démonstration mathématique dans un système formel.

Démonstration (logique et mathématiques)
En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement.

Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle. Les prémisses sont soit des axiomes, soit des propositions déjà obtenues comme conclusions de l'application d'autres règles. Une proposition qui est la conclusion de l'étape ultime d'une démonstration est un théorème.

Le terme « preuve » est parfois employé comme un synonyme de « démonstration » par attraction de l'anglais proof[réf. souhaitée].

La démonstration est foncièrement différente de l'argumentation, qui est une autre forme de raisonnement, employant des arguments qualitatifs, en faisant référence éventuellement à des données chiffrées, dans le but de pousser quelqu'un à agir.
Proclès
Dans la mythologie grecque, Proclès, fils d'Aristodème et d'Argie, est le frère jumeau d'Eurysthénès et un des Héraclides. Il est élevé par son oncle maternel Théras.

Après la reconquête du Péloponnèse par les Héraclides, à la suite d'un oracle de la Pythie, il reçoit en partage avec son frère le territoire de Sparte. Il fonde alors la dynastie royale des Proclides.

Il est le père de Soos (conçu avec Lathria) et, selon certains auteurs, d'Eurypon (qui passe aussi pour le fils de Soos), qui donnera son nom définitif à la dynastie (voir Eurypontides).

Argie fille d'Autésion
Dans la mythologie grecque, Argie ou Argia (en grec ancien Ἀργεία / Argeía) est la fille d'Autésion, roi de Thèbes. Elle épouse Aristodème, de qui elle a les jumeaux Eurysthénès et Proclès.

Après la mort de son mari, c'est son frère Théras qui devient le tuteur de ses enfants.
Marc Zinga
Marc Zinga est un acteur et chanteur belge né le 21 octobre 1984 à Likasi (Zaïre, actuellement république démocratique du Congo). Il devient célèbre grâce au film Les Rayures du zèbre pour lequel il reçoit le Magritte du meilleur espoir masculin 2015.

Dheepan
Dheepan est un film français réalisé par Jacques Audiard, sorti le 26 août 2015.

Le film, qui retrace l'histoire d'un réfugié tamoul sri lankais en France, est sélectionné, en compétition, au Festival de Cannes 2015 où il remporte la Palme d'or.
The Great Rock 'n' Roll Swindle
The Great Rock 'n' Roll Swindle (« La Grande Escroquerie du Rock 'n' Roll ») est un double album sorti en 1979 et la bande originale du film du même nom réalisé par Julien Temple. Bien que paru sous le nom du groupe de punk britannique Sex Pistols, on y trouve de nombreux autres artistes. Le disque étant sorti plus d'un  an avant le film, il est souvent considéré, à tort, comme le second album du groupe.

Somethin' Else (chanson)
Somethin' Else est une chanson de rockabilly interprétée par Eddie Cochran, co-écrite par sa petite amie Sharon Sheeley et son frère aîné Bob Cochran, et sortie en 1959. Elle est reprise par un large éventail d'artistes, y-compris les Sex Pistols, qui obtiennent un succès classé 3e dans le UK Singles Chart en 1979. Elle est adaptée en français par Johnny Hallyday en 1962 sous le titre Elle est terrible.
Route départementale 10 (Haute-Vienne)
La route départementale RD 10 abrégée en D10 est une route départementale de la Haute-Vienne, qui relie Aixe-sur-Vienne à la limite de la Charente. Sa partie la plus fréquentée va d'Aixe-sur-Vienne jusqu'à la D 21.[réf. nécessaire]

Elle continue sous le nom de D 13 dans le département de la Charente

Route départementale 13 (Charente)
La route départementale RD 13 abrégée en D13 est une route départementale de la Charente, qui relie La Rochefoucauld à la limite de la Haute-Vienne.

Elle continue sous le nom de D 10 dans le département de la Haute-Vienne.
Jurija Gagarina
La rue Jurija Gagarina (en serbe cyrillique : Јурија Гагарина) est située à Belgrade, la capitale de la Serbie, dans la municipalité urbaine de Novi Beograd.

Le nom de la rue est un hommage au Soviétique Youri Gagarine, qui fut le premier homme dans l'espace.

La rue sert de limite informelle entre le nord et le sud du quartier des Blokovi.

Blokovi
Blokovi (en serbe cyrillique : Блокови, les « blocs ») est un quartier de Belgrade, la capitale de la Serbie. Il est situé dans la municipalité de Novi Beograd. En 2002, avec le quartier du Dr Ivan Ribar, il comptait 89 561 habitants.
Led Zeppelin IV
Led Zeppelin IV est le titre généralement utilisé mais non officiel pour nommer le quatrième album du groupe de rock britannique Led Zeppelin sorti le 8 novembre 1971 et dont la pochette originale ne comprenait pas la moindre inscription, y compris sur la tranche.

L'album, qui comporte de nombreux classiques (Black Dog, Rock and Roll, Stairway to Heaven, When the Levee Breaks, etc.) que le groupe jouera sur scène jusqu'à la fin de sa carrière, est un des albums les plus vendus de l'histoire, avec plus de 24 millions de copies écoulées seulement aux États-Unis et 37 millions d'exemplaires vendus dans le monde,. En France, il s'est écoulé à 1,1 million d'exemplaires selon les estimations.

L'album est composé et mixé aux Basing Street Studios d'Island Records, à Londres, à Headley Grange, une demeure victorienne isolée dans l'East Hampshire, et à Sunset Sound (Los Angeles).

John Paul Jones (musicien)
John Richard Baldwin, mieux connu professionnellement sous le nom de John Paul Jones, né le 3 janvier 1946 dans le district de Sidcup à Londres, est un musicien anglais multi-instrumentiste, compositeur, arrangeur et producteur, bassiste et claviériste de Led Zeppelin, de la fondation du groupe en 1968 jusqu'à sa séparation en 1980. Il joue également de la guitare, de la guitare pedal-steel, de la mandoline, du koto, du ukulélé et des claviers. Au cours de sa carrière, il collabore avec de très nombreux artistes.

En 2009, il fonde Them Crooked Vultures avec Dave Grohl et Josh Homme.

Le mensuel Rolling Stone le classe 14e meilleur bassiste de tous les temps.
Maurice Ascalon
Maurice Ascalon (hébreu : מוריס אשקלון), né Moshe Klein à Fehérgyarmat (royaume de Hongrie) en 1913 et mort à Cuernavaca (Mexique) en 2003, est un sculpteur art déco et designer industriel israélien, cofondateur du mouvement des arts décoratifs israéliens modernes.

Arts décoratifs
Les arts décoratifs sont pratiqués par les métiers d'art traditionnellement définis par leurs productions ornementales et fonctionnelles, par les techniques utilisées et par les matériaux auxquels ils donnent forme : la céramique, le bois, le verre, le métal, le textile, le stuc ou la pierre, voire la pierre précieuse.
Judith Arndt
Judith Arndt née le 23 juillet 1976 à Königs Wusterhausen est une cycliste allemande, professionnelle entre 1999 et 2012, et militante lesbienne. Durant sa carrière, elle pratique le cyclisme sur route et le cyclisme sur piste, où elle compte un total de quatre titres mondiaux et trois médailles olympiques. Coureuse complète, elle se révèle être une spécialiste du contre-la-montre et des courses par étape. Elle est ainsi sacrée neuf fois championne d'Allemagne contre-la-montre, pour deux titres dans l'épreuve en ligne. En 2004, elle termine la saison numéro un mondiale. Elle a été neuf fois dans le top trois mondial à la fin de la saison. En 2008, elle remporte la Coupe du monde. On dénombre également à son palmarès deux Tours de l'Aude, deux victoires au Tour des Flandres, deux Coupes du monde cycliste féminine de Montréal, un Tour de Nuremberg, le Rotterdam Tour, le GP of Wales, deux podiums sur le Tour d'Italie et cinq sur la Flèche wallonne.

Königs Wusterhausen
Königs Wusterhausen est une ville du Brandebourg (Allemagne), située dans l'arrondissement de Dahme-Forêt-de-Spree. Son centre se trouve à 29 km au Sud-Est de celui de Berlin (à vol d'oiseau).

Célèbre pour son château, elle s'appelait jusqu'en 1718 Wendisch Wusterhausen, c'est-à-dire Wusterhausen des Wendes, pour devenir ensuite Königs Wusterhausen, Wusterhausen du Roi.

Une écluse barre la rivière Dahme à la hauteur de la ville de Königs Wusterhausen.
René Dedieu
René Dedieu, né le 27 août 1898 à Cette (France) et mort le 21 novembre 1985 à Alès, est un footballeur international et entraîneur français.

Comme joueur, de 1920 à 1935, il évolue au poste de milieu de terrain, à Nîmes, Sète et Montpellier. Comme entraîneur, il réalise le premier doublé Coupe-Championnat en France en 1934 avec le FC Sète, et exerce au niveau professionnel jusqu'en 1959.

Football Club de Nancy
Le Football Club de Nancy est un club de football français, fondé en 1901 (sous le nom de «Stade Universitaire Lorrain») et qui fusionne en 1968 avec le COS Villers-lès-Nancy, sous le nom de ce dernier.
Summer of Sam
Summer of Sam est un film américain réalisé par Spike Lee, sorti en 1999. Il relate la psychose à New York autour des meurtres en série de David Berkowitz, dit « le fils de Sam » (the Son of Sam), durant l'été caniculaire de 1977.

Le film est présenté à la Quinzaine des réalisateurs du festival de Cannes 1999.

Terence Blanchard
Terence Blanchard est un trompettiste, compositeur et arrangeur de jazz américain, né le 13 mars 1962 à La Nouvelle-Orléans, en Louisiane. Il a composé de nombreuses bandes originales, principalement pour le réalisateur Spike Lee. Il est aussi auteur de deux opéras, dont le plus récent, Fire Shut Up in My Bones (en), est le premier opéra composé par un afro-américain à être créé au MET.
Roch Voisine
Roch Voisine est un auteur-compositeur-interprète, acteur et animateur de télévision canadien d'origine brayonne,, né le 26 mars 1963 à Saint-Basile, aujourd'hui quartier d'Edmundston (Nouveau-Brunswick).

Forever Gentlemen
Forever Gentlemen est un album de reprises de chansons de l'univers de The Rat Pack sorti le 21 octobre 2013.
Cet album est composé de chansons issues du répertoire de Frank Sinatra, Sacha Distel ou encore Charles Aznavour...

L'album est triple disque de platine avec plus de 350 000 exemplaires vendus.

Une version Collector est sortie le 9 décembre 2013 avec 2 chansons supplémentaires Let It Snow et Aujourd'hui peut-être.Le 20 octobre 2014 est sorti le volume 2 de Forever Gentlemen.
Noriko Katō
Noriko Katō, ou Kato, Katou, Katoh (加藤紀子, Katō Noriko, née le 30 janvier 1973) au Japon, est une chanteuse, actrice et tarento japonaise. Elle débute en 1992 en sortant un premier single. Elle en sort une douzaine d'autres dans les années 1990, et compte cinq albums à son actif, aux titres en français parfois approximatif. Elle tourne par ailleurs dans une dizaine de drama et participe à une vingtaine d'émissions de télévision. Elle signe en 1999 un contrat avec la compagnie Up-Front et son label musical Zetima.

Zetima
Zetima (ゼティマ) est un label de musique japonais spécialisé dans la J-pop, appartenant à la compagnie Up-Front Works et à la société Up-Front Group. Le label est lié à la maison de disques Epic Records qui fait partie de Sony Music Entertainment Japan. Il s'est fait connaître en sortant les disques de plusieurs artistes du Hello! Project, notamment ceux des populaires groupes Morning Musume et Mini Moni.
Françoise Arnoul
Françoise Gautsch, dite Françoise Arnoul, est une actrice française, née le 9 juin 1931 à Constantine (Algérie française) et morte le 20 juillet 2021 à Paris.

Les années 1950 constituent la période de gloire de l’actrice, où elle est une véritable vedette en France et participe à des films importants, dont French Cancan, de Jean Renoir, en 1955. Après 1960, sa carrière au cinéma est devenue plus confidentielle.

Bernard Queysanne
Bernard Queysanne est un réalisateur français, né le 9 juin 1944 à Rabat au Maroc. Il est le fils du mathématicien Michel Queysanne.

Il a travaillé pour le cinéma et la télévision, dans la fiction et le documentaire. Son premier long métrage est une adaptation du troisième roman de Georges Perec et obtient le prix Jean Vigo (1974).
Andy Ward (musicien)
Andy Ward, de son vrai nom Andrew John Ward, est un musicien britannique, né le 28 septembre 1952 à Epsom dans le comté de Surrey (Angleterre). Ayant joué avec plusieurs groupes, il reste néanmoins connu pour avoir été le batteur du groupe rock progressif Camel, de 1970 à 1983. Il est considéré comme l'un des plus grands batteurs de rock progressif de sa génération.

Epsom (Royaume-Uni)
Epsom est une ville d'Angleterre, dans le district d'Epsom and Ewell, dans le Surrey. Elle fait partie de la région urbaine de Londres et se situe à 29 km au sud-ouest de Charing Cross. Epsom est célèbre pour ses courses hippiques, c'est pour cette raison que Chantilly est sa ville jumelle en France.
AAA Remix ~non-stop all singles~
AAA Remix ~non-stop all singles~ est le 2e album remix du groupe AAA. Il est sorti sous le label Avex Trax le 4 mars 2009 au Japon. Il atteint la 58e place du classement de l'Oricon et reste classé 2 semaines. Il sort en format CD édition régulière et limitée.

AAA (groupe)
AAA (トリプル・エー「 toripuru・eー」, prononcé « triple A » et signifiant « Attack All Around ») est un groupe japonais formé en 2005 sous le label Avex Trax, composé au départ de cinq hommes et trois femmes. Son premier album intitulé Attack sort le 1er janvier 2006.

Le groupe fait ses débuts aux États-Unis en 2007 à l'Otakon Anime Convention.

Le 11 juin 2007, on annonce que l'une des membres, Yukari Goto, quitte le groupe à cause de problèmes de santé.

Le 22 avril 2019, on annonce que Naoya Urata est sanctionné à la suite d'une agression commise dans un konbini. Il quitte le groupe officiellement le 31 décembre 2019.

À la suite du départ de Naoya Urata, les autres membres du groupe se consacrent sur leurs carrières individuelles.

Le groupe se sépare le 31 décembre 2020.
Fatima Moussaoui
Fatima Moussaoui, née le 9 novembre 1964 à Berkane (Maroc) est une femme politique belge bruxelloise, ex-membre du Centre démocrate humaniste. Elle est membre du Parlement de la Région de Bruxelles-Capitale du 29 juin 2004 au 7 juin 2009, ainsi que conseillère communale à la Ville de Bruxelles.[réf. nécessaire]

Le 19 septembre 2020, elle annonce sur sa page Facebook qu'elle poursuit son travail de conseillère communale à la Ville de Bruxelles en tant qu’indépendante.

Elle est éducatrice et directrice de maisons d'enfants.[réf. nécessaire]

Centre démocrate humaniste
Le Centre démocrate humaniste (cdH), jusqu'en 2002 le Parti social-chrétien ou PSC, est un ancien parti politique démocrate-chrétien belge, fondé en 1968 et classé au centre de l'échiquier politique.
Il est présidé par Maxime Prévot.

Le 12 mars 2022, le parti annonce un changement de nom au profit de "Les Engagés" après 2 années de "réflexion citoyenne".
Bruno Rubeo
Bruno Rubeo est un décorateur italien né à Rome le 26 octobre 1946 et mort à Foligno le 3 novembre 2011.

Il a reçu le Ruban d'argent du meilleur décor en 2006 pour le film Le marchand de Venise, réalisé par Michael Radford.

L'Associé du diable
L'Associé du diable ou L'Avocat du diable au Québec (The Devil's Advocate) est un film de procès américain réalisé par Taylor Hackford, sorti en 1997. Il s'agit d'une adaptation cinématographique du roman The Devil's Advocate d'Andrew Neiderman. Dans ce film mêlant le fantastique au drame juridique, un jeune et brillant avocat (Keanu Reeves) est engagé par une grande firme new-yorkaise pour défendre ses clients mais il s'aperçoit peu à peu que le dirigeant de cette firme (Al Pacino) pourrait bien être le Diable.

Le projet du film, abandonné après une première tentative, est mené à bien quelques années plus tard. Le tournage, qui se déroule principalement à New York, et la postproduction sont semés d'embûches. Le film obtient des critiques globalement plutôt favorables mais un succès commercial modéré. Il remporte le Saturn Award du meilleur film d'horreur et a été analysé pour ses parallèles avec Le Paradis perdu, la légende de Faust et la Divine Comédie.
Elizabeth Blackwell
Elizabeth Blackwell, née le 3 février 1821 à Bristol (Royaume-Uni de Grande-Bretagne et d'Irlande) et morte le 31 mai 1910 à Argyllshire dans les Highlands de l'Écosse, est une femme médecin, essayiste, journaliste scientifique, conférencière et militante féministe anglo-américaine. Elle est la première femme médecin diplômée par une université aux États-Unis, ainsi que la première femme membre du General Medical Council britannique et l'une des fondatrices de la Women's Central Association of Relief lors de la guerre de Sécession

Women's Central Association of Relief
La Woman's Central Association of Relief (WCAR) fédéra, pendant la guerre de Sécession, jusqu'à 1 400 associations de secours aux soldats couvrant l'est de l'État de New York, le Connecticut, le Rhode Island, une partie du New Jersey, du Massachusetts, du Vermont et du Canada.

Fondée, au départ, pour coordonner l'élan de sympathie et pour former des infirmières à mettre au service de l'armée, elle devint, à la fin de la première année de guerre, une société auxiliaire de la United States Sanitary commission dont elle avait été l'initiatrice, participant pour le compte de celle-ci, à la logistique des approvisionnements collectés grâce à la générosité publique.

La WCAR fut, pour les très nombreuses femmes qui y assumèrent des responsabilités, une expérience formatrice que beaucoup prolongèrent, après le conflit, dans l'action civique.
Burzum (album)
Burzum est le premier album du projet solo éponyme Burzum, mené par Varg Vikernes. Cet album de black metal est sorti en mars 1992 chez le label Deathlike Silence Productions de Øystein Aarseth, aussi connu comme Euronymous, et en 1995 chez Misanthropy Records en collaboration avec le EP Aske réédité. Il est considéré comme l'un des jalons du black metal norvégien, et plus précisément de la deuxième vague de black metal.

Misanthropy Records
Misanthropy Records est une maison de disque anglaise de black metal.

Elle a été fondée en 1993 par Tiziana Stupia. Après l’assassinat d'Øystein Aarseth par Varg Vikernes en août 1993, aucun label ne souhaitait travailler avec lui. Tiziana Stupia signe alors un contrat avec Varg Vikernes s'engageant à sortir et ressortir les quatre album de Burzum enregistré en 1992 et 1993.

L'entreprise ferme en 2000, Stupia préférant se concentrer sur sa carrière de prêtresse païenne. Désormais, elle s'appelle « Prem Srila » et a écrit un livre : Meeting shiva.
Bataille de Rossignol
La bataille de Rossignol fait partie d'un ensemble beaucoup plus important connu sous le nom de « surprise de Neufchâteau »[réf. souhaitée], une des composantes de la bataille des Frontières. Elle a lieu le 22 août 1914 autour du village de Rossignol, en Gaume (l'extrémité sud-est de la Belgique).

Il s'agit d'une bataille de rencontre entre des unités françaises et allemandes, se concluant par une victoire allemande et par la quasi destruction d'une des divisions du 1er corps colonial français.

Ernest Psichari
Ernest Psichari, né le 27 septembre 1883 à Paris et mort le 22 août 1914 à Rossignol, est un officier et écrivain français. Lieutenant dans les troupes coloniales, il est l'auteur de plusieurs œuvres autobiographiques. Converti au catholicisme à la fin de sa vie, il combat en Belgique durant la Première Guerre mondiale et meurt au combat à l'âge de 30 ans.
Hans-Michael Kissel
Hans-Michael Kissel est un sculpteur allemand né à Worms en 1942. Sa production artistique, caractérisée par un fort intérêt pour la mise en mouvement des œuvres par le vent, s’inscrit dans le courant de l'art cinétique.

Ladenburg
Ladenburg est une ville de Bade-Wurtemberg (Allemagne), située dans l'arrondissement de Rhin-Neckar, dans l'aire urbaine Rhin-Neckar, dans le district de Karlsruhe. Son centre, bâti au Moyen Âge, en fait une des plus vieilles cités d'Allemagne.
Christian Pfannberger
Christian Pfannberger, né le 9 décembre 1979 à Judenburg, est un coureur cycliste autrichien, des années 2000. Après avoir été contrôlé positif à deux reprises, il est suspendu à vie du monde cycliste en novembre 2009.

Championnats d'Autriche de cyclisme sur route
Les championnats d'Autriche de cyclisme sur route sont organisés chaque année afin de déterminer les champions d'Autriche et les championnes d'Autriche.

Chez les hommes (élites), plusieurs coureurs l'ont gagné à deux reprises mais il n'a jamais été gagné trois fois. Georg Totschnig et Matthias Brändle ont été sacrés à cinq reprises sur le championnat du contre-la-montre individuel.
Ligne des Alpes
Historiquement, la ligne des Alpes reliait Grenoble à Marseille via Veynes. Avec la suppression des trains directs et la régionalisation des transports ferroviaires, la partie sud fait aujourd'hui partie de la ligne du Val de Durance (relation Marseille - Briançon). La Ligne des Alpes se trouve en Dauphiné à cheval sur les régions Auvergne-Rhône-Alpes et Provence-Alpes-Côte d'Azur. Elle constitue aujourd'hui la partie centrale de la ligne 905 000 (Lyon-Perrache à Marseille Saint-Charles via Grenoble et Veynes) du RFN.

141 R
Les Mikado de la série 141 R numéros 1 à 1340 sont des locomotives à vapeur unifiées de la SNCF qui furent largement utilisées pour tous services sur l'ensemble du réseau français de 1945 à 1974.

Construites en Amérique du Nord en deux séries (1 à 700 et 701 à 1340) suivant un modèle inédit en France, utilisées partout et pour toutes les tâches et besoins ferroviaires, elles sont intimement liées au renouveau du réseau ferré français d'après-guerre ainsi qu'à la fin de la traction à vapeur en France.

Neuf machines de cette série emblématique sont aujourd'hui préservées en France (dont cinq protégées au titre des monuments historiques) et en Suisse.
La Justice ou le Chaos
La Justice ou le Chaos est un livre de Denis Robert paru aux éditions Stock en 1996.

Il s'agit d'un livre d'entretien avec 6 magistrats européens impliqués dans la lutte contre la corruption et la délinquance financière : Renaud Van Ruymbeke (France), Bernard Bertossa (Suisse), Gherardo Colombo (Italie), Carlos Jimenez Villarejo (Espagne), Balthazar Garzon Real (Espagne), Edmondo Bruti Liberati (Italie), et Benoît Dejemeppe (Belgique).

Cette rencontre sera à l'origine de l'Appel de Genève en faveur d'une coopération européenne renforcée en matière de lutte contre la corruption et la délinquance financière.

Denis Robert
Denis Robert, né le 9 mai 1958 à Moyeuvre-Grande (Moselle), est un journaliste et écrivain français. Spécialiste du journalisme d'enquête, il est également l'auteur de romans, de films documentaires et d'essais.

Journaliste durant douze ans à Libération, il se lance dans une carrière d'écrivain en 1995, décrivant dans ses ouvrages ses enquêtes sur les affaires Clearstream 1 et 2. Ces ouvrages lui valent une série de procès en diffamation de la part de Clearstream ; condamné en première instance puis en appel, Robert obtient une relaxe totale en cassation sur la plupart des dossiers, n'étant plus condamné qu'à un euro symbolique en faveur du plaignant concernant la première affaire.

D'avril 2019 à septembre 2020, il dirige la rédaction du pure player Le Média, avant d'être écarté. En janvier 2021, il crée sa propre web TV, Blast.
Al-Khidr
Al-Khiḍr (arabe : الخضر (), en persan : خضر, en turc : Hızır ; ces mots signifient « Le Vert » ou « Le Verdoyant »), également orthographié Al Khadir, Khidr, Khidar, Khizr, Khizar, ou Khoudar ; Khezr en persan, ou encore Kwaja Khizir en Inde, est le surnom d'un personnage énigmatique du Coran.

Al-Kahf
Al-Kahf (en arabe : سُورَةُ ٱلْكَهْفِ, en français : La Caverne) est le nom traditionnellement donné à la 18e sourate du Coran, le livre sacré de l'islam. Elle comporte 110 versets. Rédigée en arabe comme l'ensemble de l'œuvre religieuse, elle fut proclamée, selon la tradition musulmane, durant la période mecquoise.