OpenLLM-France/wikimedia huggingface dataset:
# Haplorhus peruviana

Haplorhus peruviana est une espèce de plante du genre Haplorhus de la famille des Anacardiaceae.

## Lien externe

* (en) Référence UICN : espèce Haplorhus peruviana (consulté le 1er septembre 2020)
Sur les autres projets Wikimedia :
* Haplorhus peruviana, sur Wikimedia Commons
# Harada Nobutane

Harada Nobutane (原田 信種, 1560-1598) est un samouraï de la période Sengoku et de l'époque Azuchi Momoyama au service du clan Akizuki du Kyūshū. Son titre de cour est Shimotsuke no kami (下野守). Fils de Kusano Chikanaga, il est adopté comme héritier de la famille Harada. Il devient vassal de Toyotomi Hideyoshi à la suite de l'invasion de Kyūshū par ce dernier. Harada sert ensuite comme yoriki sous Sassa Narimasa et Katō Kiyomasa. Il rejoint les forces de Katō Kiyomasa en Corée et meurt au siège d'Ulsan.

## Source de la traduction

* (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Harada Nobutane » (voir la liste des auteurs).
# Hedda Andersson

Hedda Albertina Andersson, née le 24 avril 1861 à Malmö et morte le 7 septembre 1950, est une femme médecin suédoise.

## Biographie

Hedda Albertina Andersson naît le 24 avril 1861 à Malmö.
Commençant ses études en 1880 à l'université de Lund, elle est la première femme à fréquenter cet établissement. Elle devient la deuxième femme médecin en Suède en 1892.
Hedda Albertina Andersson meurt le 7 septembre 1950.
# Heliopolis Open 2005

L'Heliopolis Open 2005 est l'édition 2005 de l'Heliopolis Open qui se déroule au Caire du 6 au 12 septembre.
Le tournoi rassemble 16 joueurs dont 8 têtes de série et une wild card Ramy Ashour.
Amr Shabana remporte le titre en s'imposant face à Karim Darwish qui abandonne sur blessure au 2e jeu.

## Têtes de série

* Amr Shabana (champion)
* Karim Darwish (finale)
* Graham Ryding (1er tour)
* Olli Tuominen (demi-finale)
* Adrian Grant (1er tour)
* Mohammed Abbas (quart de finale)
* Bradley Ball (1er tour)
* Wael El Hindi (quart de finale)

## Tableau final

| Premier tour | Premier tour | Premier tour | Premier tour | Premier tour | Premier tour | Quart de finale | Quart de finale | Quart de finale | Quart de finale | Quart de finale | Quart de finale | Quart de finale | Demi-finale | Demi-finale | Demi-finale | Demi-finale | Demi-finale | Demi-finale | Finale | Finale | Finale | Finale | Finale |
| 1 | Amr Shabana | 11 | 11 | 12 | |
| Q | Hisham Mohd Ashour | 8 | 5 | 10 | | 1 | Amr Shabana | 11 | 5 | 11 | 11 | |
| | Renan Lavigne | 4 | 6 | 7 | | 8 | Wael El Hindi | 9 | 11 | 3 | 8 | |
| 8 | Wael El Hindi | 11 | 11 | 11 | | | | | | | | | 1 | Amr Shabana | 11 | 11 | 14 | |
| 5 | Adrian Grant | 5 | 8 | 6 | | | | | | | | | 4 | Olli Tuominen | 3 | 7 | 12 | |
| Q | Jonathan Kemp | 11 | 11 | 11 | | Q | Jonathan Kemp | 8 | 11 | 11 | 3 | 4 | | | | | | |
| WC | Ramy Ashour | 13 | 12 | 9 | 12 | 4 | Olli Tuominen | 11 | 6 | 3 | 11 | 11 | | | | | | |
| 4 | Olli Tuominen | 11 | 14 | 11 | 14 | | | | | | | | | | | | | | 1 | Amr Shabana | 12 | 2 | |
| 3 | Graham Ryding | 4 | 9 | 11 | 6 | | | | | | | | | | | | | | 2 | Karim Darwish | 10 | 0 | r |
| Q | Laurens Jan Anjema | 11 | 11 | 4 | 11 | Q | Laurens Jan Anjema | 11 | 11 | 1 | 11 | | | | | | | |
| Q | Sherif Moustafa | 3 | 2 | 5 | | 6 | Mohammed Abbas | 8 | 8 | 11 | 9 | | | | | | | |
| 6 | Mohammed Abbas | 11 | 11 | 11 | | | | | | | | | Q | Laurens Jan Anjema | 11 | 5 | 4 | 5 |
| 7 | Bradley Ball | 11 | 6 | 3 | | | | | | | | | 2 | Karim Darwish | 8 | 11 | 11 | 11 |
| | Peter Barker | 13 | 11 | 11 | | | Peter Barker | 9 | 5 | 5 | | | | | | | | |
| | Joey Barrington | 9 | 5 | 5 | | 2 | Karim Darwish | 11 | 11 | 11 | | |
| 2 | Karim Darwish | 11 | 11 | 11 | | | | | | | | |
# Henrykowice

Henrykowice est un village polonais situé dans le voïvodie de basse-silésie, et plus précisément dans la commune de Milicz, composant la région administrative de Milicz.
# Henryków

En Pologne, Henryków peut désigner :
# Henryków (Basse-Silésie)

Henryków (allemand : Heinrichau) est un village de la commune de Ziębice, dans le powiat de Ząbkowice Śląskie, Voïvodie de Basse-Silésie, au Sud-Ouest de la Pologne. Avant 1945, ce village était en Allemagne.
Il se situe à environ 7 km au nord de Ziębice, 16 km au nord-est de Ząbkowice Śląskie, et 53 au sud de Wrocław. Le village a une population de 1 400 habitants.
Une chronique en latin, le Livre d'Henryków, compilé à l'abbaye d'Henryków au XIIIe siècle, contient la première phrase connue écrite en langue polonaise. Le complexe de l'abbaye cistercienne de Henryków est ouvert aux visiteurs.

## Environs

Sur les autres projets Wikimedia :
* Henryków (Basse-Silésie), sur Wikimedia Commons
* Château de Gola Dzierżoniowska
* Arboretum de Wojsławice
* Place du Moyen Âge de Niemcza

## Histoire

De 1742 à 1945, Heinrichau fait partie de l'arrondissement de Münsterberg puis à partir de 1932, de l'arrondissement de Frankenstein-en-Silésie dans le district de Breslau au sein de la province de Silésie.
# Heidelberger Platz (métro de Berlin)

Heidelberger Platz est une station de la ligne 3 du métro de Berlin, située dans le quartier de Wilmersdorf.

## Situation

La station est située entre Fehrbelliner Platz au nord, en direction de Nollendorfplatz et Rüdesheimer Platz au sud, en direction de Krumme Lanke.
Elle est établie sous le carrefour de la Mecklenburgische Straße et de la Rudolstädter Straße, qui longe les rails du Ringbahn et de la Bundesautobahn 100, juste au nord de la Heidelberger Platz qui lui donne son nom. Elle est reliée à la gare homonyme du S-Bahn par ascenseur. Elle comprend deux voies de circulation encadrant un quai central.

## Histoire

Construite à partir de 1910, la station entre en service le 12 octobre 1913. Comme pour les autres stations de la région, la ville de Wilmersdorf voulait à l'époque exprimer sa prospérité et a mis un budget important dans les matériaux utilisés pour la construction. L'architecte Wilhelm Leitgebel a pu concevoir une station avec de grands piliers en pierres et les voûtes en arc-de-cloître du haut plafond avec des lanternes élaborées sont là pour rappeler la majesté des cathédrales. Les matériaux utilisés et la forme de la voûte offre une acoustique remarquable. Les affiches aux murs présentent des photographies de la ville de Heidelberg.

## Heidelberger Platz dans la fiction

* Une des premières scènes du film Démons (1985) de Lamberto Bava se déroule dans la station de métro.
* Deux courtes scènes du film allemand Zones humides (2013) y prennent également place.

## Service des voyageurs
### Accueil et accès

La station possède quatre bouches ainsi qu'un accès par ascenseur depuis la gare du S-Bahn.

### Intermodalité

La station est en correspondance avec les lignes S41, S42 et S46 du S-Bahn de Berlin et les lignes d'autobus n$^o$ 249 et 310 de la BVG.
# Hendry Thomas

Hendry Thomas est un footballeur international hondurien né le 23 février 1985 à La Ceiba au Honduras évoluant au poste de milieu défensif.

## Palmarès

* CD Olimpia
** Championnat du Honduras
*** Ouverture (2) : 2002, 2005
*** Clôture (5) : 2004, 2005, 2006, 2008, 2009
# Havnaholmen

Havnaholmen est une île norvégienne du comté de Hordaland appartenant administrativement à Bergen.

## Description

Rocheuse et couverte d'arbres, elle s'étend sur environ 170 m de longueur pour une largeur approximative de 116 m.
# Heptateuque

Le terme Heptateuque (ἑπτάτευχος, littéralement sept parties) désigne un ensemble à sept parties. Il est principalement employé chez les commentateurs ou traducteurs de la Bible, et quelques fois dans le vocabulaire de l'université médiévale.

## Usage dans la culture biblique

On appelle parfois ainsi les sept premiers livres de l’Ancien Testament (ou de la Bible hébraïque), à savoir :
* Livre de la Genèse,
* Livre de l'Exode,
* Lévitique,
* Livre des Nombres,
* Deutéronome,
* Livre de Josué,
* Livre des Juges.
Cette appellation est moins fréquente que celle qui tient compte de l'usage juif, où les cinq premiers livres forment un ensemble, la Torah, aussi appelé Pentateuque. D'autres variantes existent encore, par défaut, comme le Tétrateuque, ou par excès, comme l’Hexateuque pour les six premiers livres, l’Octateuque si l'on ajoute le livre de Ruth à ceux nommés ci-dessus, et l'Ennéateuque, si l'on ajoute les Livres de Samuel et les Livres des Rois à ceux qui sont nommés ci-dessus (chaque paire de livres étant comptée pour un seul, sans inclure le livre de Ruth).
L'appellation se trouve en particulier chez les Pères de l'Eglise, comme Augustin d'Hippone (Quaestiones in Heptateuchum).
Certains manuscrits médiévaux attestent l'appellation, telle la traduction de l'Heptateuque en vieil anglais, initiée par Ælfric d'Eynsham.
Le terme peut apparaître comme jargon de certains exégètes modernes qui s'interrogent sur l'étendue des documents qu’ils reconstruisent derrière le texte du Pentateuque: le style du document sacerdotal se retrouve-t-il dans le livre de Josué, celui des Juges ?
Enfin, il existe des textes magiques attribués à Moïse, qui ont été diffusés comme Sixième, Septième, voire Huitième livres de Moïse, ce qui cependant n'a aucun rapport avec les usages du terme Heptateuque.

## Usage médiéval universitaire

Le terme Heptateuque est aussi employé à l'époque médiévale pour désigner des écrits recouvrant les sept arts libéraux de l'antiquité, par exemple chez Thierry de Chartres au xiie siècle.
# Hella Guth

Helena Guthova, dite Hella Guth (née le 16 février 1908 à Kirchenbirk en Bohême sous l'empire austro-hongrois et morte le 16 octobre 1992), est une peintre et graveuse originaire de la Bohême occidentale en Tchéquie. Elle a travaillé à Londres et Paris.

## Biographie
### Jeunesse et formation

Hella (Helena) Guth est la seconde d'une fratrie de trois enfants de parents juifs convertis au protestantisme.
Elève de Trude Sandmann alors qu'elle était encore au lycée, puis de Joseph Hofmann à l'école des arts et métiers du Musée autrichien d'art et d'industrie de Vienne de 1926 à 1929. Elle s'installe à Prague en 1930 et fait partie du groupe d'avant-garde Manès, elle est alors classée comme trotskyste. 1930–1932, elle étudie avec Willi Nowak à l'Académie des Arts de Prague. Elle gagne sa vie comme dessinatrice publicitaire pour les journaux.

### La Seconde Guerre mondiale

Après l'arrivée au pouvoir des nazis en Allemagne, elle prend la défense des artistes allemands réfugiés à Prague. Ses dessins et gravures sur bois de la période praguoise, qui illustrent la vie du café de Prague, sont aujourd'hui dans les collections de la Kunsthalle Kiel. En 1932, elle illustre l'Opéra de quatre sous de Brecht, tant elle est impressionnée par la première viennoise. En 1933, elle se rend à Moscou avec un groupe de théâtre et travaille dans le groupe de théâtre antifasciste "STUDIO 34", que Hedda Zinner a co-fondé. En 1939, elle réussit à rejoindre l'Angleterre via la Pologne; presque tout son travail artistique est resté à Prague et est considéré comme perdu. Après un bref premier mariage avec Zvi Eisner écrivain tchèque d'expression allemande, elle épouse l'historien de l'art Frank Popper à Londres en 1945. Lors d'un voyage en 1947 en Autriche, elle apprend que sa mère est morte à Auschwitz et sa sœur à Lodz.

### Paris

En 1951, elle s'installe à Paris, 34 boulevard de Clichy, dans un petit atelier où elle vécut jusqu'à sa mort. Puis le couple se sépare. À Paris, elle passe de la peinture figurative à la peinture non figurative. Elle expose au Salon des Réalités Nouvelles à Paris de 1954 à 1959, puis à la galerie Colette Allendy. Après une phase réussie avec de nombreuses expositions, elle est appréciée par le poète écossais Edwin Muir, le critique d'art Herbert Read et Michel Seuphor, elle n'expose plus, tombant gravement malade dans les années 1970. D'un tempérament engagé, femme de caractère, parlant sans ambages, elle « s'attirait de profondes inimités notamment parmi les galeristes et les critiques d'art. ». Son œuvre n'a été redécouverte que dans les années 1990 après sa mort, survenue en 1992. En 2008, le musée Juif de Prague lui consacre une rétrospective.

## Expositions
### Expositions personnelles

* 1953 : Galerie Arnaud, Paris
* 1955 : Galerie Colette Allendy, Paris

### Expositions collectives

* 1960 : Peintres abstraits de Paris - Élie Borgrave, Georges Breuil, Hella Guth, Jean Miotte, Galerie Günar, Dusseldorf

## Collections publiques

* Musée juif de Prague
* Ludwig Museum, Aix-la-Chapelle
* Kunsthalle Kiel, Kiel
# Flavine adénine dinucléotide

La flavine adénine dinucléotide (FAD) est une coenzyme d'oxydo-réduction dérivant de la riboflavine (vitamine B2). Il est associé aux enzymes de la classe des oxydo-réductases auxquelles il est lié par une liaison covalente : c'est un groupement prosthétique.
Ce coenzyme est notamment utilisé par les flavoprotéines du complexe II de la chaîne respiratoire mitochondriale : glycérol 3-P déshydrogénase, acylCoA déshydrogénase, succinate déshydrogénase. Au niveau de cette chaine respiratoire mitochondriale, le FAD permet la formation de 2ATP grâce au pompage de 6 protons dans l'espace inter-membranaire.
Le couple rédox est le suivant : ${\text{FAD}}\leftrightarrow {\text{FADH}}_{2}$
Le FAD intervient également dans la β-oxydation des acides gras lors de l'oxydation de l'acylCoA en TransΔ2-3 énoylCoA via l'acylCoA déshydrogénase. Cette réaction est essentielle à la progression de la β-oxydation mais peut être shunté dans certains cas : acide gras insaturé avec une double liaison sur un carbone impaire de type (Δ5, Δ9 ...).

## Structure-

Flavine - Ribitol - Phosphate - Phosphate - Ribose - Adénine
NB : Noyau Flavine (dérive de l'isoalloxazine)
Ribitol (ose linéaire en C5)
# Tegenaria gainesteros

Tegenaria gainesteros est une espèce d'araignées aranéomorphes de la famille des Agelenidae.

## Distribution

Cette espèce est endémique d'Israël. Elle se rencontre dans un tunnel à En Sarig dans les monts de Judée.

## Description

Le mâle holotype mesure 6,78 mm, le mâle paratype 6,83 mm et la femelle paratype 8,02 mm.
Cette araignée possède des yeux réduits.

## Systématique et taxinomie

Cette espèce a été décrite par Aharon et Gavish-Regev en 2023.

## Étymologie

Cette espèce est nommée en l'honneur de Guilherme Gainett et Jesús Ballesteros.

## Publication originale

* Aharon, Ballesteros, Gainett, Hawlena, Sharma & Gavish-Regev, 2023 : « In the land of the blind: exceptional subterranean speciation of cryptic troglobitic spiders of the genus Tegenaria (Araneae: Agelenidae) in Israel. » Molecular Phylogenetics and Evolution, vol. 183, n$^o$ 107705, p. 1-28.
# Hinako Sugiura

Hinako Sugiura (杉浦 日向子, Hinako Sugiura) née Junko Suzugi (鈴木 順子, Suzugi Junko) le 30 novembre 1958 à Tokyo au Japon, morte le 22 juillet 2005, est une mangaka et une historienne japonaise. En tant qu'historienne, elle était spécialisée dans la vie et les coutumes du Japon de l'ère Edo.

## Biographie

Hinako Sugiura naît le 30 novembre 1958 dans le quartier de Minato-ku à Tokyo au Japon. Elle grandit dans une famille de fabricants de kimonos. Elle s'intéresse beaucoup à l'histoire et aux traditions. Après sa scolarité, elle interrompt ses études pour aller travailler auprès de Shisei Inagaki, écrivain bien établi et consultant sur le Japon de l'époque d'Edo. En 1980, Hinako Sugiura publie son premier manga, Tsugen Muro no Ume, dans la revue Garo : son histoire se déroule à cette époque. En 1984, elle reçoit le Japan Cartoonists' Association Award. En 1988, elle se marie, mais cette tentative se solde par un divorce six mois plus tard. Sugiura poursuit son œuvre de mangaka. En 1988, elle reçoit le Bunshun Manga Award.
En 1993, elle met fin à sa carrière de mangaka et se consacre à l'écriture de livres sur la période Edo. Elle apparaît aussi régulièrement dans les médias japonais comme consultante sur ce sujet.
Elle meurt le 22 juillet 2005.
# Huîtrier

Haematopus
Haematopus, l’Huîtrier, est un genre d’oiseaux, le seul de la famille des Hematopodidae (ou Hématopodidés). Il comporte 12 espèces. Ce sont des limicoles de taille moyenne (de 40 à 51 cm), au plumage noir ou blanc et noir, à pattes rosâtres et long bec rouge-orangé. Ils sont cosmopolites, mais absents des régions polaires et faiblement représentés dans les parties tropicales d'Afrique et d'Asie. Ils fréquentent principalement le littoral, mais on les trouve également à l'intérieur des terres en Eurasie et en Nouvelle-Zélande.

## Position systématique

Cette famille a temporairement été considérée, dans la phylogénie de Sibley et Monroe, comme une tribu (Haematopodini) appartenant à la famille des charadriidés (dans la sous-famille des Recurvirostrinae avec les avocettes et les échasses).

## Liste des espèces

D'après la classification de référence (version 14.1, 2024)de l'Union internationale des ornithologues, il y a 18 espèces de Haematopodidae réparties en 1 genre (ordre philogénique) :
* Haematopus leucopodus Garnot, 1826 – Huîtrier de Garnot ;
* Haematopus ater Vieillot, 1825 – Huîtrier noir ;
* Haematopus bachmani Audubon, 1838 – Huîtrier de Bachman ;
* Haematopus palliatus Temminck, 1820 – Huîtrier d'Amérique ;
* † Haematopus meadewaldoi Bannerman, 1913 – Huîtrier des Canaries ;
* Haematopus moquini Bonaparte, 1856 – Huîtrier de Moquin ;
* Haematopus ostralegus Linnaeus, 1758 – Huîtrier pie ;
* Haematopus finschi Martens, GH, 1897 – Huîtrier de Finsch ;
* Haematopus longirostris Vieillot, 1817 – Huîtrier à long bec ;
* Haematopus unicolor Forster, JR, 1844 – Huîtrier variable ;
* Haematopus chathamensis Hartert, EJO, 1927 – Huîtrier des Chatham ;
* Haematopus fuliginosus Gould, 1845 – Huîtrier fuligineux.
Espèce éteinte :
* Huîtrier des Canaries — †Haematopus meadewaldoi Bannerman, 1913
# Bae Ga-ram

Bae Ga-ram (né en 1992 à Séoul) est un gymnaste sud-coréen.

## Carrière

Il se classe 14e du concours général des Championnats du monde de gymnastique artistique 2017.

## Lien externe

* Fédération internationale de gymnastique
# Ford UK Trucks

Ford UK Trucks était la filiale anglaise du groupe automobile américain Ford, spécialisée dans la construction de camions légers et de moyen tonnage.
Implanté à Trafford Park à Manchester en 1911 pour fabriquer des camions légers American Ford TT, Ford UK s'appela successivement Fordson entre 1933 et 1939, Fordson Thames jusqu'en 1957 et Ford Thames jusqu'en 1965 et enfin Ford UK jusqu'en 1986.
Cette unité a été rachetée et intégrée dans le groupe italien Fiat-IVECO en 1986 qui commercialisa ses propres modèles sous le label Iveco avec en plus le logo Ford sur la calandre.
Ford UK a bâti sa réputation avec sa gamme Cargo, camion moyen porteur qui est encore fabriqué en Inde sous licence par Ashok Leyland. Il est aussi fabriqué en Turquie par OTOSAN ,les modèles camion porteur et tracteur.
Le site de Ford UK a été fermé en octobre 1997.

## Article connexe

* Fordson
# Forfar Farmington Football Club

Le Forfar Farmington Football Club est un club écossais de football féminin, basé à Forfar dans la région de l'Angus. Le club participe à la première division du championnat d'Écosse de football féminin depuis 2018. L'équipe dispute des matchs au Station Park.

## Histoire

Le Forfar Farmington a été promu en première division écossaise pour la première fois en 2005 ce qui en fait avec le Glasgow City Football Club un des plus anciens club du championnat. Après une année en deuxième division le club réintègre l'élite écossaise pour la saison 2018

## Palmarès

* Championnat d'Écosse deuxième division
** Vainqueur en 2017
# Formule (mathématiques)

En logique et en mathématiques, une formule est une suite finie d'objets, dotée de propriétés particulières qui rendent possible la syntaxe dans tous ces domaines.

## Définition

Étant donné un ensemble E et une fonction de poids p: E →N, une formule est un mot extrait de E obtenu par les deux règles de construction suivantes :
* un seul élément de E de poids 0 est une formule ;
* si t est un élément de poids n, pour toute suite de n formules F1, F2, ...., Fn, le mot concaténé tF1F2....Fn est une formule.
On reconnaît les « mots significatifs » qui forment un sous-ensemble du monoïde libre Lo(E) construit sur E$^,$.
La notation théorique introduite ici est celle dite de Łukasiewicz ou « notation polonaise » ; mais la notation communément utilisée en algèbre et en analyse est celle à parenthèses t(F2, ...., Fn) ; si t est de poids 2, on écrit (F1)t(F2) au lieu de tF1F2, et
[r(F1, ...., Fm)] t [s(G1, ...., Gn)] au lieu de trF1 ....FmsG1....Gn.
Étant donné une formule F, tout intervalle de F qui est une formule en est une sous-formule. Ainsi, F1, rF1....Fm, sG1....Gn sont des sous-formules de trF1 ....FmsG1....Gn.
Si F = tF1F2....Fn, les Fi 1≤i≤n sont les sous-formules immédiates de F.
Dans tout ensemble de formules, la relation binaire « F est une sous-formule de G » est une relation d'ordre : réflexive, antisymétrique et transitive.

## Propriétés

* Si F est une formule et M un mot non vide, alors FM n’est pas une formule.
* Corollaire - Si F1, F2, …., Fm, G1, G2, …., Gn sont des formules et si F1F2…Fm = G1G2…Gn, alors m = n et pour tout i ≤ n, Fi = Gi.
    En effet, d’après le théorème précédent, on ne peut avoir Fi = GiM ou Gi = FiM à moins que M ne soit vide.
* Soient F une formule et t un signe de poids p ; alors les signes qui suivent t dans F se répartissent de façon unique en un nombre m≥p d’occurrences de sous-formules consécutives et disjointes.
* Étant donné deux occurrences de sous-formules de F, ou bien elles sont disjointes, ou bien l’une est incluse dans l’autre.
De tout cela il résulte que la relation d’inclusion sur les occurrences de sous-formules d’une formule, est un ordre ramifié, ou arbre syntaxique, dans lequel, pour tout élément, les éléments antérieurs sont tous comparables.
Les formules sont définies relativement à un langage formel, qui est une collection de symboles constants, de symboles de fonction et de symboles de relation, où chacun des symboles de fonctions et de relation vient avec une arité qui indique le nombre d'arguments qu'elle prend.
Ensuite on définit récursivement un terme comme
* Une variable,
* Un symbole constant, ou
* f(t$_1$, …, t$_n$), où f est un symbole n-aire de fonction, et t$_1$, …, t$_n$ sont des termes.
Finalement, une formule revêt l'une des formes suivantes :
* t$_1$ = t$_2$, où t$_1$ et t$_2$ sont des termes, ou
* R(t$_1$, …, t$_n$), où R est un symbole de relation n-aire, et t$_1$, …, t$_n$ sont des termes, ou
* (¬φ), où φ est une formule, ou
* (φ∧ψ), où φ et ψ sont des formules, ou
* (∃x)(φ), où x est une variable et φ est formule.
On appelle les deux premiers cas des formules atomiques.
# Fondation Centaure

La fondation de coopération scientifique Centaure est un réseau de Recherche dans le domaine des Sciences de la transplantation. Labellisé Réseau Thématique de Recherche et de Soins (RTRS), le réseau a été créée en 2007 sous l'impulsion des Professeurs Jean-Michel Dubernard et Jean-Paul Soulillou, rapidement rejoints par le Professeur Christophe Legendre.
Ce réseau fédère les trois centres de Lyon, Nantes et Necker.

## Missions de la fondation

* Animer le réseau de recherche en transplantation : stimuler la coopération et le transfert de connaissances entre les chercheurs des différents centres,
* Soutenir les projets développés par les équipes par l'achat de matériel ou encore le recrutement direct de chercheurs par la Fondation,
* Mettre en place des outils communs permettant d'améliorer l'efficacité de la recherche et le transfert de ses bénéfices vers le patient.

## Principaux axes de recherche

* la prolongation de la survie des greffons et l'amélioration des traitements,
* l'augmentation des greffes de pancréas pour soigner les patients diabétiques,
* le développement des greffes de tissus composites (mains, bras, visage…).

## Sept membres fondateurs

* l'INSERM,
* Les Hospices Civils de Lyon,
* l'Assistance publique-Hôpitaux de Paris,
* Le CHU de Nantes,
* L'Université de Nantes,
* l'Université Paris-Descartes,
* l'Université Claude Bernard (Lyon).