OpenLLM-France/wikimedia huggingface dataset:
# Gareth Llewellyn

Gareth Owen Llewellyn, né le 27 février 1969 à Cardiff, est un joueur gallois de rugby à XV jouant au poste de deuxième ligne. International gallois, il détient un temps le record de sélections de son pays, pour être dépassé par Gareth Thomas.
C'est le père du joueur de rugby à XV Max Llewellyn.

## Carrière
### En club

Llewellyn joue pour les clubs de Neath, Harlequins, Neath-Swansea Ospreys, Narbonne, des Bristol Shoguns et devient entraîneur des avants au club de Tonmawr qui sert de pépinière aux Ospreys.

### En équipe nationale

Il joue pour la première fois pour les Gallois le 4 novembre 1989 contre la Nouvelle-Zélande. Il remporte le Tournoi des Cinq Nations 1994 que son pays n'avait plus gagné 1988. Mais ce bon résultat est suivi par une déroute l'année suivante, Cuillère de bois dans le Tournoi et élimination sans gloire lors de la Coupe du monde. Il bat le record de sélections détenu alors par Neil Jenkins (87) lors d'un test-match contre l'Argentine le 12 juin 2004. Il est sept fois capitaine de l'équipe du pays de Galles participe à trois Coupes du monde de rugby en 1995, 1999 et 2003. Il est professionnel de rugby sur trois décennies et a connu huit entraîneurs entraîneurs. À la suite du Grand Chelem gallois en 2005, il annonce sa retraite du rugby professionnel. Son frère, Glyn Llewellyn, est aussi un joueur de rugby pour l'équipe nationale du pays de Galles.

## Palmarès
### En sélection

* Tournoi des Cinq Nations :
** Vainqueur (1) : 1994

### Avec Neath

* Championnat du pays de Galles :
** Champion (2) : 1991 et 1996
* Coupe du pays de Galles :
** Vainqueur (2) : 1989 et 1990
** Finaliste (2) : 1993 et 1996
# (38042) 1998 SA10

(38042) 1998 SA$_{10}$ est un astéroïde de la ceinture principale d'astéroïdes de 12,066 km de diamètre découvert en 1998.

## Description

(38042) 1998 SA$_{10}$ a été découvert le 21 septembre 1998 à la Station Catalina, un observatoire astronomique situé dans les Monts Santa Catalina à environ 29 kilomètres au nord-est de Tucson dans l'Arizona, par le projet Catalina Sky Survey.

### Caractéristiques orbitales

L'orbite de cet astéroïde est caractérisée par un demi-grand axe de 2,86 ua, un périhélie de 2,26 ua, une excentricité de 0,21 et une inclinaison de 34,34° par rapport à l'écliptique. Du fait de ces caractéristiques, à savoir un demi-grand axe compris entre 2 et 3,2 ua et un périhélie supérieur à 1,666 ua, il est classé, selon la JPL Small-Body Database, comme objet de la ceinture principale d'astéroïdes.

### Caractéristiques physiques

(38042) 1998 SA$_{10}$ a une magnitude absolue (H) de 12,3 et un albédo estimé à 0,092, ce qui permet de calculer un diamètre de 12,066 km. Ces résultats ont été obtenus grâce aux observations du Wide-Field Infrared Survey Explorer (WISE), un télescope spatial américain mis en orbite en 2009 et observant l'ensemble du ciel dans l'infrarouge, et publiés en 2011 dans un article présentant les premiers résultats concernant les astéroïdes de la ceinture principale.
# Sara Seye

Sara Seye, née le 26 août 2000 à Gardone Val Trompia (Italie), est une joueuse internationale italienne de rugby à XV et évoluant au poste de pilier. Professionnelle, elle joue en Angleterre, aux Ealing Trailfinders.

## Biographie

Sara Seye est formée au CUS Brescia où elle commence le rugby à XV à l'âge de quatorze ans.
Elle part jouer en Angleterre à l'âge de dix-huit ans : une saison avec le Hove Rugby Club, puis une avec les Wasps (en) écourtée par la pandémie de Covid-19.
En 2020, elle rentre en Italie et joue à Calvisano pendant trois saisons (en réalité deux, toujours à cause du Covid).
Elle débute en équipe d'Italie en 2021 contre l'Écosse, et participe à la qualification de l'équipe pour la Coupe du monde. Elle est conservée dans le groupe et participe à cette Coupe du monde.
À l'intersaison 2023, elle s'engage avec le club londonien des Ealing Trailfinders qui vient d'accéder à la Premiership. Au mois d'août, elle est à nouveau convoquée en équipe nationale pour disputer la première édition du WXV, la nouvelle compétition créée par World Rugby.
Début 2024, elle fait partie des joueuses mises sous contrat par la fédération italienne.
# Rúnar Rúnarsson

Rúnar Rúnarsson est un réalisateur, producteur et scénariste islandais né le 20 janvier 1977 à Reykjavik.

## Biographie

Né en Islande, Rúnar Rúnarsson s'installe au Danemark pour ses études et sort diplômé de l'École nationale de cinéma du Danemark en 2009. Il a vécu en tout huit ans au Danemark et parle couramment danois.
Síðasti bærinn (The Last Farm) est nommé pour l'Oscar du meilleur court métrage en prises de vues réelles à la 78e cérémonie de 2005, puis Smáfuglar (Two Birds) pour la Palme d'or du court métrage au Festival de Cannes 2008 et, la même année, pour les prix du cinéma européen.
Grâce à ses courts et longs métrages, Rúnarsson est lauréat de plus de 90 prix internationaux.
Son long métrage Sparrows remporte la Coquille d'or au festival international du film de Saint-Sébastien 2015.

## Filmographie
### Réalisateur
#### Longs métrages

* 2002 : Leitin að Rajeev, coréalisé avec Birta Frodadottir — également directeur de la photographie
* 2011 : Volcano (Eldfjall) — également scénariste
* 2015 : Sparrows (Þrestir) — également scénariste
* 2019 : Echo (Bergmál)
* 2024 : When the Light Breaks (Ljósbrot)

#### Courts métrages

* 1998 : Oiko logos
* 2004 : Síðasti bærinn (Titre international : The Last Farm) —également scénariste
* 2008 : Smáfuglar (titre international : Two Birds) — également scénariste
* 2009 : Anna — également scénariste
* 2024 : O

### Producteur
#### Longs métrages

* 2002 : Leitin að Rajeev de Birta Frodadottir
* 2012 : Hreint hjarta de Grímur Hákonarson
* 2015 : Sparrows (Þrestir) de lui-même

#### Courts métrages

* 2013 : Le Fjord des baleines de Guðmundur Arnar Guðmundsson
* 2014 : Seven Boats de Hlynur Pálmason
* 2014 : Ártún de Guðmundur Arnar Guðmundsson
# (11168) 1998 FO15

(11168) 1998 FO$_{15}$ est un astéroïde de la ceinture principale d'astéroïdes de 3,831 km de diamètre découvert en 1998.

## Description

(11168) 1998 FO$_{15}$ a été découvert le 21 mars 1998 à Kushiro (Japon) par Seiji Ueda et Hiroshi Kaneda.

### Caractéristiques orbitales

L'orbite de cet astéroïde est caractérisée par un demi-grand axe de 2,42 ua, un périhélie de 2,14 ua, une excentricité de 0,12 et une inclinaison de 2,44° par rapport à l'écliptique. Du fait de ces caractéristiques, à savoir un demi-grand axe compris entre 2 et 3,2 ua et un périhélie supérieur à 1,666 ua, il est classé, selon la JPL Small-Body Database, comme objet de la ceinture principale d'astéroïdes.

### Caractéristiques physiques

(11168) 1998 FO$_{15}$ a une magnitude absolue (H) de 14,4 et un albédo estimé à 0,251, ce qui permet de calculer un diamètre de 3,831 km. Ces résultats ont été obtenus grâce aux observations du Wide-Field Infrared Survey Explorer (WISE), un télescope spatial américain mis en orbite en 2009 et observant l'ensemble du ciel dans l'infrarouge, et publiés en 2011 dans un article présentant les premiers résultats concernant les astéroïdes de la ceinture principale.
# Trou de loup (film)

Trou de loup (en kirghize : Бөрү зындан, Volchya yama) est un film policier soviétique réalisé par Bolotbek Chamchiev en 1983.

## Fiche technique

* Titre français : Trou de loup
* Titre original : Волчья яма
* Réalisation : Bolotbek Chamchiev
* Scénario : Bolotbek Chamchiev, Erkan Abishev
* Photographie : Manas Musayev (ru)
* Son : Nikolaï Chary
* Direction artistique : Djoldojbek Kasymaliev, Erkin Saliev
* Compositeur : Viktor Lebedev (ru)
* Musique : Orchestre symphonique d'État de l'URSS pour l'art cinématographique
* Chef d'orchestre : Aleksandr Petoukhov (ru)
* Production : Kirghizfilm
* Pays d'origine : URSS
* Langue : russe
* Format : 35
* Genre : film policier
* Durée : 146 minutes
* Date de sortie : 1983

## Distribution

* Talgat Nigmatulin : Samat Kassymov (voix : Youri Demitch (ru))
* Nikolaï Krioukov : général Nikolaï Timofeïev
* Kenenbai Kozhabekov (ru) : Mussa Sharipov (voix : Armen Djigarkhanian)
* Suimenkul Chokmorov : colonel Turabaev
* Aleksandr Milioutine (uk) : capitaine Balukov
* Viktor Mirochnitchenko (ru) : Khripaty
* Tokhtakhun Bakhtybaev (ru) : Saïd-Lagman
* Venera Nigmatulina (ru) : Maryam
* Musa Doudaïev : épisode
# Circuit du Sud-Ouest

Le Circuit du Sud-Ouest (ou Omloop van het Zuidwesten en néerlandais) est une course cycliste belge, disputée de 1964 à 1982 à Hulste (Harelbeke) dans la province de Flandre-Occidentale.
# Acide 2,3-bisphosphoglycérique

L’acide 2,3-bisphosphoglycérique — ou 2,3-bisphosphoglycérate sous forme déprotonée, abrégée en 2,3-BPG — est un composé organique, isomère de l'acide 1,3-bisphosphoglycérique, un important intermédiaire métabolique de la glycolyse. Il intervient, chez l'espèce humaine, dans la régulation du transport du dioxygène dans le sang, en stabilisant la forme désoxy de l'hémoglobine. Cette stabilisation diminue l'affinité de l'hémoglobine pour le dioxygène, permettant sa libération à proximité des tissus cibles.
Il se forme à partir du 1,3-bisphospho-D-glycérate (1,3-BPG) sous l'action de la bisphosphoglycérate mutase, une enzyme spécifique aux érythrocytes et aux cellules du placenta :
    $\rightleftharpoons$   1,3-BPG 2,3-bisphospho-D-glycérate Bisphosphoglycérate mutase – EC 5.4.2.4
Il est ensuite converti en 3-phospho-D-glycérate (3PG) par la bisphosphoglycérate phosphatase :
    + H$_2$O $\rightleftharpoons$ Pi +  2,3-bisphospho-D-glycérate 3PG Bisphosphoglycérate phosphatase – EC 3.1.3.13
Il s'agit d'une voie détournée de la glycolyse, court-circuitant l'étape catalysée par la 3-phosphoglycérate kinase. Le 2,3-BPG agit en augmentant la stabilité de la forme désoxy de l'hémoglobine, induisant par conséquent le passage de la forme oxy à la forme désoxy avec libération du dioxygène.
Il possède effectivement une action hétérotrope négative, c'est-à-dire que le 2,3-BPG inhibe la fixation du dioxygène. Le 2,3-BPG constitue un effecteur allostérique de l'hémoglobine.
C'est donc un régulateur du transport d'oxygène dans le sang, qui rend ce dernier globalement plus efficace et intervient en particulier dans l'adaptation aux altitudes élevées, caractérisées par une pression atmosphérique inférieure, impliquant une pression inspirée en oxygène inférieur à celle du niveau de la mer. Un taux élevé est également retrouvé en cas d'insuffisance cardiaque.
L'augmentation du taux de 2,3-BPG est secondaire à l'activation de l'AMPK érythrocytaire, cette dernière induisant une phosphorylation de la bisphosphoglycérate mutase entraînant une production accrue de 2,3-BPG.
# Toutai Kefu

Toutai Kefu, né le 8 avril 1974 aux Tonga, est un joueur de rugby à XV avec l'international australien. Il joue au poste de troisième ligne centre (1,91 m, 113 kg).

## Biographie

Toutai Kefu est le grand frere de l'international australien Steve Kefu, et de l'international tongien Mafileo Kefu. Leur père, Fatai Kefu, était international tongien.

### Carrière de joueur

Formé au Souths Rugby, Toutai Kefu effectue la majeure partie de sa carrière professionnelle avec la franchise des Queensland Reds en Super 12. Il termine ensuite sa carrière au Japon avec les Kubota Spears, mettant un terme à sa carrière professionnelle en 2010.
Au niveau international, il joue son premier test match avec l'Australie en août 1997 contre l'Afrique du Sud, et son dernier test match en août 2003 contre la Nouvelle-Zélande. Il obtient un total de 60 sélections avec les Wallabies.
Il fait partie de l'équipe qui remporte la Coupe du monde 1999 (4 matchs joués, dont la finale).

### Carrière d'entraîneur
## Palmarès
### En club

* 103 matchs de Super 12 avec les Reds

### En équipe nationale

* 60 sélections avec les Wallabies
* 10 essais (50 points)
* Sélections par année : 1 en 1997, 13 en 1998, 11 en 1999, 8 en 2000, 11 en 2001, 9 en 2002 et 7 en 2003

### Coupe du monde

* 1999 : Champion du monde, 4 sélections (Roumanie, Irlande, Springboks, France).
# Rüschegg

Rüschegg est une commune suisse du canton de Berne, située dans l'arrondissement administratif de Berne-Mittelland.
Une petite station de ski a été aménagée dans la localité d'Eywald.
# K (lettre)

K est la onzième lettre et la 8e consonne de l'alphabet latin.

## Histoire

Évolution probable du graphème :
| Hiéroglyphe égyptien D46 d | K Protosinaïtique | K phénicien | kappa grec | K étrusque | K romain |
Cette lettre de l'alphabet latin vient de l'étrusque ; c'est un descendant du kappa de l'alphabet grec (Κ en majuscule et κ en minuscule).

### Tracé

On trouve couramment trois variantes du « K » (haut-de-casse), par ordre de fréquence :
* la jambe se joint à l’autre diagonale avant d’atteindre le fût (la majorité des polices dont les plus courantes comme Arial) ;
* les deux diagonales se rejoignent au même niveau sur le fût (un certain nombre de polices courantes comme Futura, Gill Sans, etc.) ;
* les deux diagonales forment une jonction horizontale avant le fût (quelques rares polices comme Adam BP, Cordale, etc.).
On retrouve ces mêmes trois variantes pour le « k » (bas-de-casse) avec un quatrième tracé où la diagonale du haut forme une boucle.

## Linguistique

En règle générale, le k note le phonème /k/ en français sauf dans quelques rares mots d'emprunt et dans la transcriptions de certaines langues étrangères : le digramme ‹ kh ›, utilisé pour retranscrire l'arabe ainsi que dans certaines langues slaves, note le phonème /x/ ; le k est muet devant ‹ n › dans quelques mots empruntés à l'anglais, comme knock-out ou know-how.
Bien que rarement utilisé en français et d'autres langues romanes, la lettre est fréquemment utilisée dans de nombreuses créoles à base lexicale française, tels que créole louisianais, créole haïtien et créole réunionnais.

## Codage
### Informatique

| Lettre | K | K | k | k |
| Nom Unicode | Lettre capitale latine K | Lettre capitale latine K | Lettre minuscule latine K | Lettre minuscule latine K |
| Encodage | décimal | hexadécimal | décimal | hexadécimal |
| ASCII, ISO 8859, Unicode | 75 | 4B | 107 | 6B |
| EBCDIC | 210 | D2 | 146 | 92 |

### Radio

* Épellation alphabet radio :
** international : Kilo ;
** allemand : Kaufmann ;
** police des États-Unis : King.
* En alphabet morse, la lettre K vaut « -·- ».

### Autres

| Signalisation | Signalisation | Langue des signes | Langue des signes | Écriture Braille |
| Pavillon | Sémaphore | française | québécoise | Écriture Braille |
# (34185) 2000 QP47

(34185) 2000 QP$_{47}$ est un astéroïde de la ceinture principale d'astéroïdes de 4,616 km de diamètre découvert en 2000.

## Description

(34185) 2000 QP$_{47}$ a été découvert le 24 août 2000 à l'observatoire Magdalena Ridge, situé dans le comté de Socorro, au Nouveau-Mexique (États-Unis), par le projet Lincoln Near-Earth Asteroid Research (LINEAR).

### Caractéristiques orbitales

L'orbite de cet astéroïde est caractérisée par un demi-grand axe de 3,1 ua, un périhélie de 2,74 ua, une excentricité de 0,09 et une inclinaison de 10,95° par rapport à l'écliptique. Du fait de ces caractéristiques, à savoir un demi-grand axe compris entre 2 et 3,2 ua et un périhélie supérieur à 1,666 ua, il est classé, selon la JPL Small-Body Database, comme objet de la ceinture principale d'astéroïdes.

### Caractéristiques physiques

(34185) 2000 QP$_{47}$ a une magnitude absolue (H) de 13,8 et un albédo estimé à 0,250, ce qui permet de calculer un diamètre de 4,616 km. Ces résultats ont été obtenus grâce aux observations du Wide-field Infrared Survey Explorer (WISE), un télescope spatial américain mis en orbite en 2009 et observant l'ensemble du ciel dans l'infrarouge, et publiés en 2011 dans un article présentant les premiers résultats concernant les astéroïdes de la ceinture principale.
# Mère Marie

Mère Marie (Мать Мария, Mat Mariya) est un film soviétique réalisé par Sergueï Kolossov, sorti en 1982. Le film raconte l'histoire tragique de Marie Skobtsova, une poétesse et membre de la résistance française, devenue religieuse orthodoxe lors de la Seconde Guerre mondiale.

## Fiche technique

* Titre : Mère Marie
* Titre original : Мать Мария (Mat Mariya)
* Réalisation : Sergueï Kolossov
* Scénario : Sergueï Kolossov et Elena Mikoulina
* Photographie : Valentin Zhelezniakov
* Compositeur : Alexeï Rybnikov
* Direction artistique : Mikhaïl Kartachov
* Son : Vladlen Charoune
* Caméra : Boris Zoline
* Pays d'origine : URSS
* Studio : Mosfilm
* Langue : russe
* Genre : film historique, drame
* Durée : 100 minutes
* Date de sortie : 1982

## Distribution

* Ludmila Kassatkina : Marie Skobtsova
* Leonid Markov : Danila Skobtsov
* Igor Gorbatchev : Ilia Fondaminski
* Veronika Polonskaïa : Sofia Pilenko
* Evguenia Khanaïeva : Mme Lange
* Wacław Dworzecki : Boris Nikolaevski
* Alexandre Timochkine : Ioura
* Natalia Bondartchouk : Nina
* Alexandre Lebedev : Anatoli
* Valery Zolotoukhine : prisonnier
* Ģirts Jakovļevs : Gaston
* Youri Katine-Iartsev : prince
* Pēteris Gaudiņš : Boris Vildé
* Vladimir Sochalski : ouvrier
* Viktor Choulguine : ouvrier
* Tamara Yarenko : princesse
* Mikhaïl Neganov : prisonnier
* Alla Maïkova : Anette
# Rai Cinema

Rai Cinema est une société italienne de production, de distribution et d'achat cinématographique appartenant au groupe Rai. Elle est présente aussi bien sur le marché des droits TV national que sur celui international.

## 01 Distribution

Pour assurer le maximum de visibilité à ses films, le groupe RAI s'investit dans la distribution à travers 01 Distribution, qui est devenu en seulement quelques années, une des principales maisons de distribution cinématographiques du pays. En outre, cela permet de soutenir le cinéma italien de qualité.

## Quelques films produits

* Amore Amore, film de Francesco Henderson Pepe.
* I più grandi di tutti, film de Carlo Virzì.
* 2017 : Soldado de Stefano Sollima
* 2019 : Pinocchio de Matteo Garrone
* 2022 : Occhiali neri de Dario Argento
* 2023 : The Palace de Roman Polanski
* 2024 : The Return d'Uberto Pasolini
* 2024 : Vermiglio ou La Mariée des montagnes de Maura Delpero

## Quelques films distribués

* Le Loup de Wall Street de Martin Scorsese
* Need for Speed de Scott Waugh

## Prix les plus notables

* Gomorra de Matteo Garone : Grand Prix du festival de Cannes (2008)
* The Tree of Life de Terrence Malick : Palme d'or du festival de Cannes (2011)
* Hugo Cabret de Martin Scorsese : Oscars pour la meilleure photographie, meilleure direction artistique, meilleurs effets visuels, meilleur montage sonore et meilleur mixage son
# Pascal Bazani

Pascal Bazani (né le 4 juillet 1978 à Créteil, dans le Val-de-Marne) est un joueur et entraîneur français de rugby à XV qui évolue au poste d'arrière ou ailier (1,80 m pour 82 kg).

## Biographie

Après sa carrière de joueur, il devient entraîneur des trois-quarts de l'équipe féminine du Rugby Club La Valette Le Revest La Garde Le Pradet. En 2020, le club accède à la première division en terminant premier de l'Élite 2.

## Carrière
### Clubs successifs

* Jusqu'en 2000 : RC Toulon
* 2000-2001 : SU Agen
* 2001-2004 : RC Narbonne
* 2004-2005 : RC Toulon
* 2006-2013 : US La Seyne

## Palmarès
### En club

* Champion de France de Pro D2 : 2005

### En équipe nationale

* Équipe de France Amateur
# Championnats des États brésiliens de football

Les Championnats des États brésiliens (en portugais : Campeonatos Estaduais) sont des compétitions de football se déroulant dans chaque État du Brésil entre janvier et avril pour les régions du Nord-Est, du Centre-Ouest, du Sud-Est et du Sud . Dans certains États de la région du Nord, elle a cependant lieu en mai ou en juin$^,$. La plus ancienne ligue de la compatition, le Championnat de São Paulo, débute en 1902.
Ces compétitions étant relativement anciennes, elles sont très prisées par les supporters et sont quasiment aussi populaires que les championnats nationaux. Chaque État, y compris le district fédéral, possède son propre championnat, qui lui-même comporte plusieurs divisions. Ci-dessous la liste des championnats :

## Championnats

* Championnat de l'Acre de football
* Championnat de l'Alagoas de football
* Championnat de l'Amapá de football
* Championnat de l'Amazonas de football
* Championnat de Bahia de football
* Championnat de Brasilia de football
* Championnat du Ceará de football
* Championnat de l'Espírito Santo de football
* Championnat du Goiás de football
* Championnat du Maranhão de football
* Championnat du Mato Grosso de football
* Championnat du Mato Grosso do Sul de football
* Championnat du Minas Gerais de football
* Championnat du Pará de football
* Championnat de la Paraíba de football
* Championnat du Paraná de football
* Championnat du Pernambouc de football
* Championnat du Piauí de football
* Championnat de Rio de Janeiro de football
* Championnat du Rio Grande do Norte de football
* Championnat du Rio Grande do Sul de football
* Championnat du Rondônia de football
* Championnat du Roraima de football
* Championnat de Santa Catarina de football
* Championnat de São Paulo de football
* Championnat du Sergipe de football
* Championnat du Tocantins de football
# Raisonnement automatisé

Le raisonnement automatisé est un domaine de l'informatique consacré à la compréhension des différents aspects du raisonnement avec pour objectif la création de logiciels qui permettraient aux ordinateurs de « raisonner » de manière automatique, ou presque. Il est considéré habituellement comme un sous-domaine de l'intelligence artificielle, mais possède aussi de fortes connexions avec l'Informatique théorique et même avec la philosophie.
Les sous-domaines les plus développés du raisonnement automatisé sont probablement l'assistant de preuve (qui en pratique se trouve être plus pragmatique mais moins automatisé que sa théorie), la démonstration automatique de théorèmes et la vérification de preuve (procédé qui garantit un raisonnement correct en se basant sur l'axiome selon lequel les hypothèses fournies sont justes). Récemment, l'on a proposé le raisonnement continu pour réduire la complexité nécessaire pour analyser des systèmes de large échelle. Cependant, un travail énorme a été fourni dans le raisonnement par analogie, induction et abduction. D'autres sujets importants sont aussi le raisonnement sous les contraintes de l'incertitude et le raisonnement non-monotone. Une partie importante du raisonnement sous la contrainte de l'incertitude est l'argumentation, sous des contraintes de minimalité et de cohérence, appliquée au sommet des déductions automatisées tout ce qu'il y a de plus standard. Le système d'Oscar de John Pollock (en) est un exemple d'argumentation automatisée bien plus spécifique qu'un « simple » assistant de preuve de théorème. L'argumentation formelle est un sous-domaine de l'intelligence artificielle.
Les outils et techniques du raisonnement automatisé incluent les logiques et les calculs classiques de la preuve automatique de théorème, mais aussi la logique floue, l'inférence bayésienne, le raisonnement par le principe d'entropie maximale et un grand nombre de techniques ad-hoc moins formelles.
# (38424) 1999 RU228

(38424) 1999 RU$_{228}$ est un astéroïde de la ceinture principale d'astéroïdes de 8,670 km de diamètre découvert en 1999.

## Description

(38424) 1999 RU$_{228}$ a été découvert le 5 septembre 1999 à la Station Catalina, un observatoire astronomique situé dans les Monts Santa Catalina à environ 29 kilomètres au nord-est de Tucson dans l'Arizona, par le projet Catalina Sky Survey.

### Caractéristiques orbitales

L'orbite de cet astéroïde est caractérisée par un demi-grand axe de 3,18 ua, un périhélie de 3,11 ua, une excentricité de 0,02 et une inclinaison de 21,12° par rapport à l'écliptique. Du fait de ces caractéristiques, à savoir un demi-grand axe compris entre 2 et 3,2 ua et un périhélie supérieur à 1,666 ua, il est classé, selon la JPL Small-Body Database, comme objet de la ceinture principale d'astéroïdes.

### Caractéristiques physiques

(38424) 1999 RU$_{228}$ a une magnitude absolue (H) de 13,9 et un albédo estimé à 0,085, ce qui permet de calculer un diamètre de 8,670 km. Ces résultats ont été obtenus grâce aux observations du Wide-Field Infrared Survey Explorer (WISE), un télescope spatial américain mis en orbite en 2009 et observant l'ensemble du ciel dans l'infrarouge, et publiés en 2011 dans un article présentant les premiers résultats concernant les astéroïdes de la ceinture principale.