OpenLLM-France/wikimedia huggingface dataset:
# Arkéa Assistance

Arkéa Assistance est une entreprise française créée en 2012 à Brest (Finistère), en tant que filiale du groupe Crédit mutuel Arkéa. La société est spécialisée dans le domaine de la téléassistance.

## Historique

Le Crédit mutuel Arkéa est un groupe mutualiste et coopératif qui réunit les fédérations du Crédit mutuel de Bretagne, du Sud Ouest et du Massif Central ainsi qu’une vingtaine de filiales spécialisées, couvrant tous les métiers de la banque assurance.
La filiale Arkéa Assistance du groupe voit le jour en mars 2012. Elle est agréée services à la personne, ce qui fait d’elle un acteur de la silver économie. Depuis 2013, elle est membre de l'ASIPAG (Syndicat National de la Silver Économie).
En 2013, la société double son portefeuille d’abonnés. Fin 2013, « Prévi-chute », un jeu de prévention des chutes (serious games), est conçu en collaboration avec le Centre de simulation Santé (Cesim) de Brest et la société brestoise d'ingénierie logicielle Virtualys.
Le 17 juin 2014, l’entreprise adhère à la charte nationale « qualité des services à la personne », délivrée par la direction générale de la compétitivité de l’industrie et des services (DGCIS). Le 17 novembre 2014, Arkéa Assistance lance une montre connectée de téléassistance, intégrant la première application totalement autonome en France. En mai 2015, la montre connectée active une fonction vidéo qui permet de filmer si besoin.

## Offre de services à la personne

Arkéa Assistance propose un système de téléassistance : un bouton est relié à une plateforme téléphonique, pour une mise en relation avec un proche ou les services de secours. Ce service est principalement destiné aux personnes isolées, âgées ou handicapées. Il fonctionne au domicile de l’utilisateur ainsi qu'à l’extérieur grâce à une application sur Smartphone ou Apple Watch. L'entreprise a développé sa propre Smartwatch, une montre connectée de téléassistance avec vidéo et géolocalisation pour l'accompagnement des aidants. Des services de domotique et de e-santé sont proposés en parallèle, via la mutualisation de savoir-faire.
Le service est commercialisé via le réseau du Crédit Mutuel Arkéa (Bretagne, Sud-Ouest, Massif-Central), des partenaires médico-sociaux et en vente directe, couvrant ainsi tout le territoire français. En 2014, l’âge moyen des abonnés à domicile est de 81 ans.

### Partenaires

En 2016, les deux entités mutualistes Arkéa et Groupama s'associent pour concevoir des services communs : plateau téléphonique, télésurveillance, innovations technologiques... En 2016, la multinationale française Archos conçoit une tablette pour la téléassistance à domicile connectée.
En 2012, afin de combler l'isolement de certaines personnes âgées, un partenariat est établi avec les bénévoles de l’association « Au bout du fil ».
Les pharmacies du réseau Giphar proposent la solution de téléassistance dans les Points Conseils FacilÔdom, ainsi que les pharmacies du groupement « Réseau santé », principalement présentes en Bretagne et Pays de la Loire. Des organismes de services à la personne ou hospitaliers intègrent les services connectés pour leurs clients et patients, comme Vivaservices, l'hôpital Foch.
# Łukasz Żal

Łukasz Żal, né le 24 juin 1981 à Koszalin, en Pologne, est un directeur de la photographie polonais.
Il est nommé en 2015 aux Oscars pour le film Ida dans la catégorie meilleure photographie et en 2019 pour le film Cold War, tous deux réalisés par Pawel Pawlikowski.

## Filmographie

* 2011 : Paparazzi - Documentaire de Piotr Bernas
* 2013 : Ida de Paweł Pawlikowski
* 2015 : Le Lendemain de Magnus von Horn
* 2016 : Na granicy de Wojciech Kasperski
* 2017 : La Passion Van Gogh de Dorota Kobiela et Hugh Welchman
* 2018 : Cold War de Paweł Pawlikowski
* 2018 : Dovlatov d'Alexeï Guerman Jr
* 2020 : Je veux juste en finir (I'm Thinking of Ending Things) de Charlie Kaufman
* 2023 : The Zone of Interest de Jonathan Glazer

## Distinctions

* Prix du cinéma européen 2014 : Meilleur directeur de la photographie pour Ida
# Sa fille Pierre

Sa fille Pierre (Seine Tochter ist der Peter) est un film autrichien réalisé par Gustav Fröhlich, sorti en 1955.

## Fiche technique

* Titre : Sa fille Pierre
* Titre original : Seine Tochter ist der Peter
* Réalisation : Gustav Fröhlich
* Scénario : Gustav Fröhlich, Ilse von Gasteiger et Ernst Welisch d'après le roman Und Seine Tochter ist der Peter d'Edith Zellweker
* Musique : Erwin Halletz
* Photographie : Sepp Riff
* Montage : Raimund Warta
* Société de production : Österreichische Film et Schönbrunn-Film
* Pays : Autriche
* Genre : Drame
* Durée : 95 minutes
* Dates de sortie :
** Autriche : 2 septembre 1955
** France : 18 janvier 1956

## Distribution

* Sabine Eggerth : Elisabeth Klaar dite "Peter", la fille garçon manqué de Max
* Wolf Albach-Retty : Max Klaar, un ingénieur divorcé qui élève sa fille seul
* Gretl Schörg : Nora Christian, une actrice célèbre, séparée de Max, la maman d'Elisabeth
* Ruth Johannson : Helga, une étudiante qui sauve Elisabeth de la noyade et qui n'est pas insensible aux charmes de Max
* Josef Meinrad : Felix
* Lucie Englisch : Kathi
# Équivoque

L’équivoque, du latin aequivocus, de aequus : égal, semblable, et vox : voix, parole, est l’expression d’une pensée à double sens, susceptible d’une double interprétation.

## Description

L’équivoque diffère de l’ambiguïté et de l’amphibologie en ce que le sens douteux de celles-ci résulte de l’arrangement des mots et qu’elles produisent autour de la pensée de l’auteur une confusion involontaire.
L’équivoque, qui provient de l’emploi de mots à double entente et mal définis, peut être le fruit d’une certaine habileté à cacher en partie sa pensée véritable, en faisant entrevoir plusieurs idées au lecteur. Elle parait mettre en pratique le mot célèbre de Talleyrand : « La parole a été donnée à l’homme pour déguiser sa pensée ». L’épigramme qui suit, attribuée à Boileau, est connue pour l'équivoque sur laquelle elle repose :
    On dit que l’abbé Roquette
    Prêche les sermons d’autrui ;
    Moi qui sais qu’il les achète,
    Je soutiens qu’ils sont à lui.
Les philosophes mettent l’équivoque, qui est l’arme ordinaire des orateurs ou des écrivains ayant plus de subtilité que de bonne foi, au rang des sophismes.

## Utilisation rhétorique

Le mot d’équivoque revient souvent, au XVIIe siècle, dans les controverses religieuses, principalement dans la querelle entre Pascal et les jésuites, à qui leur redoutable adversaire reproche sans cesse « de corrompre les expressions les plus canoniques par les malicieuses subtilités de leurs nouvelles équivoques ». (les Provinciales, XVI)
Dans l’Antiquité, les oracles rendaient, afin d’avoir raison dans un sens ou dans un autre, quel que fût l’événement, le plus souvent des équivoques. L’exemple le plus connu du caractère équivoque des oracles que rendait la Pythie de Delphes fut celui à Crésus. Lui ayant prédit que s’il devait faire la guerre aux Perses, un grand empire serait détruit. Confiant en la victoire, Crésus fit la guerre aux Perses et vit effectivement un grand empire détruit : le sien.
Il en est encore ainsi des oracles ou des promesses des grands politiques et diplomates qui parlent sans rien dire en enveloppant une science ou une prescience, dont l’équivoque fait les frais, dans les nuages du discours.
Ce terme fut également synonyme de contrepèterie. Après avoir cité « Mais (dist il) équivocquez sur A Beaumont le viconte » du Pantagruel de Rabelais, Jacques Oncial affirme que « L'Equivoque, l'Antistrophe ou la Contrepéterie — tous ces termes sont synonymes, — était née ». Il cite ensuite Étienne Tabourot : « De cette inversion des mots, nos pères ont trouvé une ingénieuse et subtile invention, que les courtisans anciennement appeloient des Equivoques : ne voulans user du mot et jargon des bons compagnons qui les appelloient des Contrepéteries » qu'il commente ainsi : « Nous sommes maintenant fixés, grâce à l'érudition de l'auteur des Bigarrures, sur les origines et la synonymie de ces trois termes équivalents : Equivoque, Antistrophe et Contrepéterie, et nous constatons avec peine la défaveur manifeste dont le dernier était l'objet. »
# Plateau (El Jadida)

Le Plateau est un quartier situé à El Jadida (33° 13′ 55,5″ N, 8° 29′ 57,3″ O ), au Maroc.
# South Wingfield

South Wingfield est une paroisse civile et un village du Derbyshire, en Angleterre.
# Île de la Passe

L'île de la Passe est un îlot rocheux de la baie de Grand Port, à l'est de l'île principale de la république de Maurice, à laquelle il appartient.
Entre le 20 et le 25 août 1810, dans le cadre de la campagne britannique des Mascareignes, l'île de la Passe fut le théâtre d'opérations armées longues et très engagées opposant des frégates françaises et britanniques d'une valeur militaire à peu près comparable.
La bataille est une défaite des Britanniques, unique victoire maritime de la marine napoléonienne : la Royal Navy y perd quatre frégates. Néanmoins, l'une d'elles est tout de même reprise. Par ailleurs, l'escadre militaire française ne parvint pas à empêcher la prise de l'île Maurice, objectif plus large dans lequel s'inscrivait le débarquement britannique.
# Araguaney

Araguaney est un nom de lieu notamment porté au Venezuela par :
* Araguaney, une des quatre paroisses civiles de la municipalité d'Andrés Bello dans l'État de Trujillo ;
* Araguaney, la capitale de la paroisse civile d'Araguaney de la municipalité d'Andrés Bello dans l'État de Trujillo.
Araguaney peut aussi désigner :
# Sa gosse

Sa gosse est un film français réalisé par Henri Desfontaines, sorti en 1919.

## Fiche technique

* Titre : Sa gosse
* Réalisation : Henri Desfontaines
* Scénario : André Legrand
* Photographie : Georges Specht
* Société de production : Royal Films
* Distribution : Ciné-Location Eclipse
* Format : noir et blanc - muet
* Genre : drame
* Durée : 50 minutes
* Date de sortie : 26 septembre 1919

## Distribution

Source : cinema.encyclopedie.films.bifi.fr
* Elmire Vautier : Georgette Diva
* Rolla Norman : Jacques de Villaine
* Odette : l'enfant
* Maurice Schutz
* Hietta Stella
* Henri Desfontaines
# Aile de Cooper

L’aile de Cooper (aussi appelée « interrupteur Dan Cooper » ou « dispositif D.B. Cooper ») est une cale mécanique aérodynamique, qui empêche l’ouverture en vol de la porte-escalier ventrale d’un avion. Aux États-Unis, après 3 tentatives de détournements en 1972, la Federal Aviation Administration (FAA) (agence gouvernementale chargée des réglementations et des contrôles concernant l'aviation civile aux États-Unis) imposa l’ajout d’une aile de Cooper sur les Boeing 727. Le dispositif a été ainsi nommé en référence au détournement par un inconnu surnommé D. B. Cooper ; celui-ci a utilisé l’escalier arrière (situé sur le ventre de l’avion) pour s’échapper d’un Boeing 727 en plein vol, avant de déclencher son parachute.
L’aile de Cooper est un dispositif très simple qui consiste en une palette à ressort reliée à une plaquette. Lorsque l’avion n’est pas en vol, le ressort maintient la palette perpendiculaire au fuselage, la plaquette ne bloque alors pas l’ouverture de l’escalier. Lorsque l’avion décolle, le flux d’air pousse la palette en position parallèle au fuselage, positionnant alors la plaquette en dessous de l’escalier. L’ouverture devient donc impossible. Lorsque le flux d’air diminue à l’atterrissage, la palette à ressort retourne à sa position initiale, permettant à nouveau l’ouverture de l’escalier. Bien que ce dispositif soit destiné à empêcher les détournements sur les Boeing 727 (et autres avions disposant d’un escalier ventral), beaucoup de compagnies aériennes ont décidé de sceller cette ouverture, quitte à ne plus jamais l’utiliser.
Le Douglas DC 9 à ouverture ventrale a également été équipé d’aile Cooper. LE DC 9-21, modèle utilisé pour le saut en parachute, notamment en 2006 lors de la World FreeFall Convention à Rantoul (Illinois, États-Unis), dispose également de l’aile Cooper. Or la porte de la cloison arrière et l’escalier ayant été retirés pour permettre aux parachutistes de sauter rapidement, l’aile Cooper, en place, n'a dans ce cas plus d'utilité.
# Tilva Roš

Tilva Roš (Тилва Рош) est un film serbe réalisé par Nikola Lezaic, sorti en 2010.

## Synopsis

Toda et Stefan, deux amis skaters, vont bientôt être séparés, l'un partant pour l'université à Belgrade et l'autre ne souhaitant pas poursuivre ses études et rester à Bor, une ancienne ville minière. Ils trainent avec Dunja qui revient de France pour les vacances.

## Fiche technique

* Titre : Tilva Roš
* Titre original : Тилва Рош
* Réalisation : Nikola Lezaic
* Scénario : Nikola Lezaic
* Photographie : Milos Jacimovic
* Montage : Nikola Lezaic
* Production : Mina Djukic, Nikola Lezaic et Uros Tomic
* Société de production : Film House Kiselo Dete et Vision Team
* Pays : Serbie
* Genre : Drame et romance
* Durée : 99 minutes
* Dates de sortie :
** Bosnie-Herzégovine : 28 juillet 2010 (festival du film de Sarajevo)
** Serbie : 26 janvier 2011

## Distribution

* Marko Todorovic : Toda
* Stefan Djordjevic : Stefan
* Dunja Kovacevic : Dunja
* Marko Milenkovic : Mare
* Nenad Stanisavljevic : Mekica
* Nenad Ivanovic : Shorty
* Filip Maksimovic : Fica
* Milos Petrovic : Misa
* Nenad Miladinovic : Sone
* Vlatko Ristov : Vlatko
* Nikola Milovanovic : Kina
* Bosko Djordjevic : Bosko
* Aleksandar Pavlovic : Pile
* Milan Radosavljevic : Milan
* Radoje Cupic : le père de Toda
* Dragana Mrkic : la mère de Toda
* Ljubomir Todorovic : le père de Stefan

## Distinctions

Lors du festival du film de Sarajevo, le film a remporté le Cœur de Sarajevo du meilleur film et le Cœur de Sarajevo du meilleur acteur pour Marko Todorovic.
# Île de Kefken

L'île de Kefken (en turc : Kefken Adası), se trouve au large de la côte anatolienne de la mer Noire, à quelques minutes en bateau du village continental de Cebeci dans le district de Kandıra de la province de Kocaeli en Turquie .

## Histoire

À l'époque grecque, romaine et byzantine (pré-turque), l'île s'appelait "Daphnusia" (Δαφνουσία), "Apollonia" (Ἀπολλωνία), "Thynias" (Θυνιάς), "Thyni" (Θυνή), "Thynis" (Θυνη) et "Thyniis" (Θυνη)). Le dernier de ces noms est dérivé du grec ancien Thynos (Θύνος) = thon, et peut-être des Thynii, une tribu d'origine thrace qui vivait dans la Bithynie côtière. Il est mentionné par le géographe Claude Ptolémée (5.14.1) et Pline l'Ancien (5.32), et par Strabon, et aussi dans le Périple du Pont-Euxin. Les noms Thynias et Daphnusia sont tous deux donnés par Ptolémée, Thynias par Pline, Strabon et Stephanus de Byzance. Stephanus de Byzance écrit qu'il est également appelé Thyni, Thynis et Thyniis.
L'île est également mentionnée dans les poèmes épiques grecs Argonautica et Argonautica Orphica. Les deux poèmes parlent des Argonautes.
Bien que la colonie de l'île n'ait jamais atteint le rang de ville, elle devint, à un stade relativement tardif, un diocèse. C'était à un stade relativement tardif, car il n'y en a aucune mention dans le Synekdèmos. Le premier des Notitia episcopatuum dans lequel il apparaît, toujours sous le nom de "Daphnusia", est celui du début du Xe siècle attribué à l'empereur byzantin Léon VI le Sage. L'Église orthodoxe grecque vénère comme évêque martyr de Daphnusia un certain Sabas, dont on ne sait rien d'autre, tandis que les documents existants montrent que Léon a participé au concile de Constantinople (869), où il exprima le repentir d'avoir abandonné Ignace de Constantinople au profit de Photius , et que son successeur Antonius était au concile de Constantinople (879), qui rétablit Photios Ier de Constantinople. Il n'est plus un évêché résidentiel et Daphnusia est aujourd'hui répertorié par l'Église catholique comme siège titulaire.
En 1261, la flotte latine est engagée dans le siège de l'île lorsque l' empereur grec de Nicée, Michel VIII Paléologue, prend Constantinople et met ainsi fin à l'empire latin.
En 1915, il y eut une bataille navale à proximité entre les Russes et les Ottomans qui se termina par une victoire russe.

## Caractéristiques actuelles

Deux longs brise-lames s'étendent de l'île, formant un port sûr pour les navires. Un phare datant du 1er janvier 1879 a une portée de 14 milles marins et il y a un phare plus petit sur chacun des deux brise-lames.
Les murs d'une forteresse des périodes hellénistique et génoise peuvent être vus et quelques puits et citernes d'eau de pluie.
# Pointe de Boveire

La pointe de Boveire, située dans le canton du Valais, est un sommet des Alpes suisses culminant à 3 212 mètres, entre le val de Bagnes et le val d'Entremont.
# Stade Carlos-Miranda

Le stade Carlos-Miranda est un stade de football situé à Comayagua au Honduras.
# Žernovník

Žernovník (en allemand : Scherownik) est une commune du district de Blansko, dans la région de Moravie-du-Sud, en République tchèque. Sa population s'élevait à 259 habitants en 2020.

## Géographie

Žernovník se trouve à 7 km à l'ouest de Rájec-Jestřebí, à 9 km au nord-nord-ouest de Blansko, à 25 km au nord-nord-ouest de Brno et à 169 km à l'est-sud-est de Prague.
La commune est limitée par Býkovice au nord, par Černá Hora à l'est, par Malá Lhota au sud, par Lubě à l'est et par Brťov-Jeneč à l'ouest et au nord-ouest.

## Histoire

La première mention écrite de la localité date de 1351.
# Araguaiana

Araguaiana est une ville brésilienne de l'État du Mato Grosso. Sa population était estimée à 2 904 habitants en 2007. La municipalité s'étend sur 6 415 km$^2$.

## Maires

Liste des maires successifs :
| Période | Période | Identité | Étiquette | Qualité |
| 2009 | 2012 | Pedro Paschoal Rodrigues Alvarez | PMDB | |
# Sa mère

Sa mère (His Mother) est un film américain sorti en 1912, réalisé durant l'été par Sidney Olcott avec Jack J. Clark et Gene Gauntier dans les rôles principaux.

## Fiche technique

* Réalisation : Sidney Olcott
* Scénario : Gene Gauntier
* Production : Kalem
* Directeur de la photo : George K. Hollister
* Longueur : 317 m
* Date de sortie : 3 mai 1912 (Paris)
* Distribution : General Film Company

## Distribution

* Jack J. Clark : Terence, le violoniste
* J.P. McGowan : John Foster, l'Américain
* Gene Gauntier : la fille de John Foster
* Anna Clark : la mère de Terence
* Robert G. Vignola : le prêtre

## Anecdotes

Le film a été tourné près des lacs de Killarney, dans le comté de Kerry durant l'été 1911. Sidney Olcott a installé sa troupe d'acteurs au village de Beaufort. Hollister a aussi planté sa caméra à New York devant le Manhattan Opera House, sur la 134e rue.
Anna Clark est la mère de Jack J. Clark.
Jack J. Clark est un violoniste amateur.
Une copie du film est conservée au EYE Film Instituut Nederland à Amsterdam.
# Aire urbaine de Cosne-Cours-sur-Loire

L'aire urbaine de Cosne-Cours-sur-Loire est une aire urbaine française centrée sur la ville de Cosne-Cours-sur-Loire.

## Caractéristiques

D'après la définition qu'en donne l'INSEE, l'aire urbaine de Cosne-Cours-sur-Loire est composée de 8 communes, situées dans la Nièvre. Ses 15 618 habitants font d'elle la 303e aire urbaine de France.
Une commune de l'aire urbaine est un pôle urbain.
Le tableau suivant détaille la répartition de l'aire urbaine sur le département (les pourcentages s'entendent en proportion du département) :
| Département | Communes | Communes (%) | Superficie (km²) | Superficie (%) | Population (1999) | Population (%) |
| Nièvre | 8 | 2,6 | 176,09 | 2,6 | 15 618 | 6,9 |

## Communes

Voici la liste des communes françaises de l'aire urbaine de Cosne-Cours-sur-Loire.
| Code INSEE | Commune | Type | Département | Superficie (km²) | Population (1999) | Densité (hab./km²) |
| 58002 | Alligny-Cosne | Commune monopolarisée | Nièvre | +0034,41 | +00 000824, | +00023,95 |
| 58044 | La Celle-sur-Loire | Commune monopolarisée | Nièvre | +0021,17 | +00 000798, | +00037,69 |
| 58086 | Cosne-Cours-sur-Loire | Pôle urbain | Nièvre | +0053,3 | +00011 399, | +00213,86 |
| 58187 | Myennes | Commune monopolarisée | Nièvre | +0007,4 | +00 000557, | +00075,27 |
| 58248 | Saint-Laurent-l'Abbaye | Commune monopolarisée | Nièvre | +0001,41 | +00 000207, | +00146,81 |
| 58251 | Saint-Loup | Commune monopolarisée | Nièvre | +0017,28 | +00 000440, | +00025,46 |
| 58256 | Saint-Martin-sur-Nohain | Commune monopolarisée | Nièvre | +0024,03 | +00 000370, | +00015,4 |
| 58261 | Saint-Père | Commune monopolarisée | Nièvre | +0017,09 | +0 0001 023, | +00059,86 |
| | Total | | | +0176,09 | +00015 618, | +00088,69 |
# Tidan

Tidan est une localité de la commune de Skövde dans le comté de Västra Götaland en Suède.
Sa population était de 998 habitants en 2019.
# Tilsit (homonymie)

Tilsit (ou Tilsitt) peut faire référence à :

## Toponyme

* Tilsit (ou Tilsitt) est l’ancien nom de Sovetsk, ville de Russie.

## Histoire

* Les traités de paix de Tilsit sont deux traités de paix signés à Tilsit entre Napoléon Ier et le tsar Alexandre Ier et entre le premier et le roi de Prusse Frédéric-Guillaume III.

## Navires

* Tilsitt (navire, 1810) est un navire de ligne de 80 canons ayant servi dans la marine impériale française puis dans la marine royale néerlandaise.
* Tilsitt (navire, 1854) est un navire de ligne.

## Odonyme

* La rue de Tilsitt à Paris (près de la place de l'Étoile) est nommée en souvenir du traité de paix de Napoléon et le Tsar de Russie Alexandre.
* Le quai Tilsitt à Lyon est nommé en souvenir du traité.

## Divers

* Le Tilsit est un fromage suisse.
* Tilsit Éditions était un éditeur de jeux de société français.
# Tibouchina granulosa

Tibouchina granulosa, la quaresmeira en portugais, est une espèce de plantes à fleurs de la famille des Melastomataceae. C'est un arbre tropical pouvant atteindre 15 m de haut originaire du Brésil et de l'est de la Bolivie très apprécié pour son abondante floraison violette.

## Galerie

* Variété Kathleen.
Sur les autres projets Wikimedia :
* Tibouchina granulosa, sur Wikimedia Commons
* Tibouchina granulosa, sur Wikispecies
# Timber Creek Campground Comfort Station No. 246

La Timber Creek Campground Comfort Station No. 246 est un bâtiment abritant des toilettes publiques dans le comté de Grand, dans le Colorado, aux États-Unis. Située au sein du parc national de Rocky Mountain, elle est elle-même inscrite au Registre national des lieux historiques depuis le 29 janvier 1988.
# Théorème d'interpolation de Craig

En logique mathématique, le théorème d'interpolation de Craig dit que si une formule φ en implique une deuxième ψ, et que φ et ψ partagent au moins un symbole non logique en commun, alors il existe une formule ρ, appelée interpolant, telle que :
* φ implique ρ ;
* ρ implique ψ ;
* tout symbole non logique dans ρ apparaît à la fois dans φ et ψ.

## Exemple

Par exemple, en posant :
    φ = (je prends un K-way ou je prends un parapluie) et je mange une glace ;
    ψ = (s'il pleut alors je prends un K-way) ou (s'il pleut alors je prends un parapluie),
on a φ implique ψ. Les formules φ et ψ partagent « je prends un K-way » et « je prends un parapluie » comme symboles non logiques. La formule (je prends un K-way ou je prends un parapluie) est un interpolant.
Formellement, en logique propositionnelle, en posant :
    φ = (P ∨ R) ∧ Q ;
    ψ = (T → P) ∨ (T → R),
on a φ implique ψ. Les formules φ et ψ partagent P et R comme symboles non logiques. La formule (P ∨ R) est un interpolant.

## Histoire

Il a été démontré par William Craig pour la logique du premier ordre en 1957.

## Démonstrations

En logique du premier ordre, le théorème d'interpolation de Craig s'énonce ainsi :
Théorèmes d'interpolation de Craig — Soit φ, ψ deux formules du premier ordre telle φ et ψ partagent au moins un symbole non logique en commun. Si φ → ψ est valide, alors il existe une formule ρ telle que :
* φ → ρ est valide ;
* ρ → ψ est valide ;
* tout symbole non logique dans ρ apparaît à la fois dans φ et ψ.
Il existe plusieurs façons de démontrer le théorème d'interpolation de Craig :
* via la théorie des modèles (théorème de Robinson) ;
* via le calcul des séquents, par induction sur une preuve. Cette démonstration donne d'ailleurs un algorithme, qui prend en entrée une preuve en calcul des séquents et retourne un interpolant.

## Théorème d'interpolation de Craig-Lyndon

Le théorème d'interpolation de Craig-Lyndon est une extension du théorème d'interpolation de Craig.
# Tim Floyd

Tim Floyd, né le 25 février 1954, à Hattiesburg, au Mississippi, est un joueur et entraîneur américain de basket-ball.