OpenLLM-France/wikimedia huggingface dataset:
# Terminaison d'un algorithme

La terminaison est une propriété fondamentale des algorithmes. Elle stipule que les calculs décrits par l'algorithme s'arrêteront. En général cet arrêt doit avoir lieu quelles que soient les données initiales que l'on fournit à l'algorithme. Si l'on veut insister sur ce point on parle alors souvent de terminaison uniforme, mais le plus généralement « terminaison » couvre aussi bien l'arrêt sur une donnée que l'arrêt sur toutes les données et c'est le contexte qui décide. La terminaison forme avec la correction partielle un des aspects de la correction des algorithmes, la correction partielle et la terminaison forment ce que l'on appelle la correction totale.
Dans le cas spécifique des machines de Turing, la terminaison s'appelle l'arrêt (halting en anglais dans le vocabulaire de Turing). Un cas particulier d'étude de la terminaison est la terminaison d'un système de réécriture.

## Notion de terminaison

Étant donné un algorithme et des valeurs, la question de sa terminaison est de savoir s'il va s'arrêter s'il prend en entrée ces valeurs. Par exemple l'algorithme de pseudo-code :
    tant que i est supérieur à 0 remplacer i par i+1,
ne s’arrêtera sur aucune entrée positive.

## Preuve de terminaison

L'une des méthodes classiques pour prouver la terminaison d'un algorithme est de définir une fonction, parfois appelée fonction de terminaison, qui satisfait les conditions suivantes. Elle a pour variables, les variables du programme, elle décroît pendant l'exécution et elle est à valeur dans un ensemble muni d'un ordre bien fondé, typiquement l'ensemble des entiers ou l'ensemble des couples d'entiers ou l'ensemble des multiensembles sur un ensemble déjà muni d'un ordre bien fondé. Par exemple, on choisira une fonction qui, pour un algorithme itératif décroît à chaque boucle, et pour un programme récursif décroît à chaque appel.

## Problème de l'arrêt

Le problème de l'arrêt consiste, étant donné un algorithme, à décider s'il termine ou pas. Ce problème est indécidable, au sens algorithmique du terme.

## Un concept dual: la sûreté

Dans le cas des processus non déterministes, la sûreté est un concept dual de la terminaison. En effet, au lieu de garantir que tous les calculs s'arrêteront, la sûreté garantit qu'aucun des calculs ne s'arrêtera, si on admet que l'arrêt est un état que l'on cherche à éviter. En revanche si l'arrêt est un état que l'on recherche comme bon, la vivacité est apparentée à la terminaison.
# Ágios Geórgios (Réthymnon)

Ágios Geórgios, en grec moderne : Άγιος Γεώργιος, est un village de montagne du dème d'Ágios Vasílios, de l'ancienne municipalité de Lámpi, dans le district régional de Réthymnon, en Crète, en Grèce. Selon le recensement de 2011, la population d'Ágios Geórgios compte 56 habitants. Le village est situé à une altitude de 260 mètres.
* Les coordonnées de cet article :
* sur OpenStreetMap
* sur Bing Cartes
* au format KML
* sur Mapy en tchèque

## Source de la traduction

* (el) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en grec moderne intitulé « Άγιος Γεώργιος (Μελάμπων) Ρεθύμνης » (voir la liste des auteurs).
# Petra Vogt

* Petra Vogt est une actrice ayant joué dans un segment de La Contestation.
* Petra Kandarr, née Vogt, est une athlète allemande (1950-2017)
# Finger roll

Un finger roll (« roulé sur les doigts ») est une manière d'inscrire un panier au basket-ball. Il s'agit d'une variante du double-pas (layup), qui consiste à amener le ballon vers le panier en le faisant rouler sur le bout des doigts.
Son principal avantage, outre son caractère spectaculaire, est d'emmener le ballon suffisamment haut pour éviter les contres de la part des défenseurs. La rotation du ballon entraînée par le roulement sur les doigts permet de l'envoyer contre le panneau ou directement dans l'arceau.

## Technique

Le finger roll est généralement réalisé lorsque l'espace vers le panier est relativement libre. Le joueur saute et maintient le ballon en l'air en le soutenant avec la paume de sa main. Il fait ensuite glisser la balle vers l'avant de sa main, puis fléchit les doigts tout en effectuant un petit mouvement du poignet pour la lancer.
Le finger roll est réputé être très difficile à maîtriser : cette technique s'adresse aux joueurs expérimentés. En outre, dans la mesure où elle est réalisée à une seule main, la balle est moins bien protégée des contres que lors d'un dunk ou d'un double-pas effectué à deux mains.

## Utilisation

Le finger roll a été développé par Wilt Chamberlain dans les années 1960. L'arrière des Spurs de San Antonio George Gervin en fit l'une de ses techniques favorites et la rendit très difficile à défendre : il fut ainsi meilleur marqueur de la saison NBA à quatre reprises.
# Arnegard

La ville d’Arnegard est située dans le comté de McKenzie, dans l’État du Dakota du Nord, aux États-Unis. Sa population s’élevait à 115 habitants lors du recensement de 2010, estimée à 161 habitants en 2018.

## Histoire

Arnegard a été fondée en 1913 et nommée d’après Evan Arnegard, le premier habitant des lieux.

## Démographie

Évolution démographique :
| 1930 | 1940 | 1950 | 1960 | 1970 | 1980 |
| 254 | 222 | 206 | 228 | 141 | 193 |
Évolution démographique, suite (1) :
| 1990 | 2000 | 2010 | - | - | - |
| 122 | 105 | 115 | - | - | - |

## Source

* (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Arnegard, North Dakota » (voir la liste des auteurs).
* ↑ (en) « Population and Housing Unit Estimates » (consulté le 27 juin 2019)
* ↑ (en) « U.S. Decennial Census » [archive du 26 avril 2015], Census.gov (consulté le 25 mai 2014)
* ↑ (en) « Population Estimates », Bureau du recensement des États-Unis (consulté le 27 juin 2019)
* ↑ (en) « Statistiques des États-Unis - Dakota du nord - Profils des comtés de 2010 » (consulté en juin 2021)
# Arnela Odžaković

Arnela Odžaković, née le 5 septembre 1983 à Trebinje, en Yougoslavie, est une karatéka bosnienne.

## Carrière

Aux Jeux méditerranéens de 2005 à Almería, elle remporte la médaille d'or des moins de 65 kg, battant en finale l'Espagnole Gloria Casanova Rodriguez. Elle obtient aux Championnats d'Europe de karaté 2007 à Bratislava la médaille d'argent en plus de 60 kg et la médaille d'argent en kumite par équipe. Aux Championnats d'Europe de karaté 2008 à Tallinn, elle est médaillée d'argent en plus de 60 kg et médaillée de bronze en kumite par équipe. Elle est médaillée de bronze en moins de 68 kg aux Jeux méditerranéens de 2009 à Pescara.
# Argiope anasuja

Argiope anasuja est une espèce d'araignées aranéomorphes de la famille des Araneidae.

## Distribution

Cette espèce se rencontre au Pakistan, en Inde, au Sri Lanka, aux Maldives, aux îles Cocos et aux Seychelles$^,$.

## Description

La femelle reste au centre de sa toile.
# Arrivée du train de Normandie, gare Saint-Lazare

Arrivée du train de Normandie, gare Saint-Lazare – ou encore La Gare Saint-Lazare, le train de Normandie – est un tableau réalisé par le peintre français Claude Monet en 1877. Cette peinture à l'huile sur toile est un paysage urbain impressionniste relevant de la série La Gare Saint-Lazare. Elle représente l'arrivée d'un train provenant de Normandie dans la gare Saint-Lazare, à Paris. Exposée lors de la troisième exposition impressionniste, l'œuvre est léguée en 1933 à l'Art Institute of Chicago, à Chicago, dans l'Illinois, aux États-Unis.
# Artemesía (dème)

Le dème d'Artemesía, en grec moderne : Δήμος Αρτεμισίων / Dímos Artemisíon, est un ancien dème du district régional de Zante, en Grèce. Depuis 2010, il est fusionné au sein du dème de Zante.
Selon le recensement de 2011, la population du dème compte 4 612 habitants.
# Armoiries des Îles Cocos

Les Armoiries des Îles Cocos se blasonnent : écartelé d'azur et d'argent, au premier et au quatrième à un poisson d'argent (la tête en haut et la tête en bas respectivement) posé en barre, au deuxième et au troisième à un oiseau au naturel, à un Z de sable brochant sur le tout en abîme.
# Arrondissement administratif de Tournai

L'arrondissement administratif de Tournai est un ancien arrondissement administratif de la province de Hainaut en Région wallonne (Belgique).
Cet arrondissement administratif fait partie de l'arrondissement judiciaire du Hainaut.

## Histoire

L'arrondissement de Tournai a été créé en 1800 sous l'occupation française comme le premier arrondissement du département de Jemmapes. Il regroupait les cantons d'Antoing, Ath, Celles, Ellezelles, Frasnes, Lessines, Leuze, Péruwelz, Quevaucamps, Templeuve et Tournai.
En 1818, les arrondissements d'Ath et de Soignies furent créés. Le canton de Lessines fut rattaché à l'arrondissement de Soignies. Les cantons de Ath, Ellezelles, Frasnes et Quevaucamps formèrent l'arrondissement d'Ath. Les cantons de Antoing, Celles, Leuze, Péruwelz, Templeuve et Tournai forment l'arrondissemment de Tournai résiduel.
L'arrondissement est fusionné le 1er janvier 2019 avec l'arrondissement administratif de Mouscron pour former l'arrondissement administratif de Tournai-Mouscron par décret du 25 janvier 2018 modifiant des articles relatifs au code de la démocratie locale et de la décentralisation de la région wallonne$^,$.

## Communes et leurs sections
### Communes

* Antoing
* Brunehaut
* Celles
* Estaimpuis
* Leuze-en-Hainaut
* Mont-de-l'Enclus
* Pecq
* Péruwelz
* Rumes
* Tournai

### Sections

* Amougies
* Anserœul
* Antoing
* Bailleul
* Barry
* Baugnies
* Beclers
* Blandain
* Bléharies
* Blicquy
* Bon-Secours
* Braffe
* Brasménil
* Brunehaut
* Bruyelle
* Bury
* Callenelle
* Calonne
* Celles
* Chapelle-à-Oie
* Chapelle-à-Wattines
* Chercq
* Ere
* Escanaffles
* Esplechin
* Esquelmes
* Estaimbourg
* Estaimpuis
* Évregnies
* Fontenoy
* Froidmont
* Froyennes
* Gallaix
* Gaurain-Ramecroix
* Grandmetz
* Guignies
* Havinnes
* Hérinnes
* Hertain
* Hollain
* Howardries
* Jollain-Merlin
* Kain
* La Glanerie
* Lamain
* Laplaigne
* Leers-Nord
* Leuze
* Lesdain
* Marquain
* Maubray
* Maulde
* Melles
* Molenbaix
* Mont-Saint-Aubert
* Mourcourt
* Néchin
* Obigies
* Orcq
* Orroir
* Pecq
* Péronnes-lez-Antoing
* Péruwelz
* Pipaix
* Popuelles
* Pottes
* Quartes
* Ramegnies-Chin
* Rongy
* Roucourt
* Rumes
* Rumillies
* Russeignies
* Saint-Léger
* Saint-Maur
* Taintignies
* Templeuve
* Thieulain
* Thimougies
* Tournai
* Tourpes
* Vaulx
* Velaines
* Vezon
* Warchin
* Warcoing
* Wasmes-Audemez-Briffœil
* Wez-Velvain
* Wiers
* Willaupuis
* Willemeau
# Army Men 3D

Army Men 3D est un jeu vidéo d'action et tir publié en 1999 sur console PlayStation, édité et distribué par The 3DO Company. Il s'agit d'un remake du premier opus de la série des jeux vidéo Army Men.

## Système de jeu

Army Men 3D est un jeu vidéo de guerre et de stratégie en 3D, dans lequel le joueur endosse le rôle de Sarge, un soldat solitaire de type commando, qui se déplace à travers un univers plastique et « réel »$^,$. Le jeu est développé en perspective à la troisième personne. Avant chaque mission, un texte apparait afin de donner les objectifs au joueur. Le joueur possède également une mini-carte situé sur le bas-droit de l'écran, indiquant notamment sa position et celle de ses ennemis. Le joueur possède également un détecteur pouvant tracer les mines.
Sarge fait partie de l'armée Green, qui est en guerre avec les Tan. Le joueur possède un arsenal composé notamment d'un lance-roquettes, d'un lance-flamme et de grenades. Le joueur peut positionner le lancement d'une grenade à l'aide d'un carré jaune. Le joueur peut également se déplacer et écraser d'autres personnages à l'aide de jeeps et de tanks. Lors de missions, le joueur peut se cacher ou s'accroupir derrière des rochers, afin d'esquiver les tirs ennemis.

## Développement

Lors d'une conversation téléphonique datant du 6 avril 1999, The 3DO Company indique à IGNPSX que Sarge's Heroes n'est pas la suite de Army Men 3D, mais un ensemble de jeu publié à la suite.

## Accueil

Le jeu est bien accueilli par l'ensemble de la presse spécialisée. L'agrégateur MobyGames lui attribue une moyenne générale de 73 %, basée sur 12 critiques. Game Revolution attribue au jeu une note de 3 sur 5 expliquant que « traverser le territoire des Tan m'a donné la sensation d'une vraie guerre, une sensation qu'on peut attribuer à la musique 'glauque' du jeu. »
# Aréthuse (opéra)

Aréthuse ou La Vengeance de l'Amour, opéra-ballet en un prologue (pastorale qui se déroule dans les jardins de Marly) et trois entrées (Les Enfers, La Mer, La Terre). La musique est d'André Campra alors que le livret est d'Antoine Danchet, d'après le livre V des Métamorphoses d'Ovide.

## Historique

La partition est éditée chez Christophe Ballard en 1701.
Sous le nom d'Alphée et Aréthuse, l'acte de ballet fut repris à l'Académie royale, le 22 août 1752, précédé du Prologue des Fêtes de l'Été, de l'abbé Pellegrin et Montéclair, et suivi de l'intermède italien nommé Le Joueur (Il Giocatore).
Il n'y eut pas de reprise, mais l'œuvre fut retravaillée par Antoine Dauvergne sous le nom d'Alphée et Aréthuse, dans le cadre des Fêtes d'Euterpe.

## Distribution

| Rôles | Tessiture | Première, le 14 juillet 1701 |
| Le Printemps | | Pichon |
| La Nymphe de la Seine | | M$^{lle}$ Maupin |
| Aréthuse | | M$^{lle}$ Moreau |
| Alphée | basse | Thévenard |
| Pluton | basse | Hardouin |
| Proserpine | | M$^{lle}$ Champenois |
| Endimion | haute-contre | Chopelet |
| Neptune | basse | Dun |
| Thétis | | M$^{lle}$ Maupin |
| Diane | | M$^{lle}$ Desmatins |
| Ismène | | M$^{lle}$ Savigny |
| L'Amour | | M$^{lle}$ Loignon |

## Argument

Selon la mythologie, Alphée poursuit la Néréide Aréthuse de ses feux amoureux. Danchet retrace une histoire de cette poursuite. Cela se passe d'abord dans les enfers où règne une atmosphère des plus galantes puisque les noces de Proserpine et de Pluton vont y être célébrées. Aréthuse réussit à s'enfuir au moment où Proserpine et Pluton font entrer Alphée. Nous la retrouvons sous la mer où Neptune s'apprête à célébrer ses noces avec Thétis. Neptune et Thétis arrangent un rendez-vous au cours duquel Aréthuse avoue à Alphée qu'elle le fuit à cause du vœu de chasteté qu'elle a fait à Diane. Dès lors, on revient sur terre. Aréthuse, convaincue par la passion de Diane pour Endymion, cède à son tour et l'on assiste au triomphe de l'Amour qui a fait rendre les armes à Proserpine, à Thétis, à Diane et, enfin, à Aréthuse.
# Aréthuse (sous-marin)

Trois sous-marins de la marine nationale française ont été baptisés Aréthuse, d'après la figure mythologique du même nom :
* l'Aréthuse (Q97), de classe Clorinde, lancé en 1916 ;
* l'Aréthuse (NN7), de classe Argonaute, lancé en 1929 ;
* l'Aréthuse (S635), navire de tête de la classe Aréthuse, lancé en 1957.
# Ash-Shiraa

Ash-Shiraa (ou Al-Shiraa) (en arabe : الشراع ; La Voile en français) est un magazine hebdomadaire publié au Liban. C'est l'un des plus anciens magazines de ce pays.

## Histoire

Ash-Shiraa a été fondé en 1948. Qualifié d'anti-syrien, son bureau chef se trouve à Beyrouth.
# Asha Gelle Dirie

Asha Gelle Dirie (en somali : Caasha Geelle Diriye, en arabe : آشا جيلي ديري), est une femme politique somalienne et une militante pour les droits des femmes. De 2005 à 2012, elle est ministre de la condition féminine et des affaires familiales de l'État autonome du Pount, dans le nord-est de la Somalie. Asha Gelle Dirie est également la fondatrice et directrice générale de la fondation Asha Gelle (Fondation TAG). Par ailleurs, elle a été la présidente de la commission de révision et de mise en œuvre de la Constitution (en) de la Somalie, entre 2014 et 2015.
# Arthur Demarest

Arthur Demarest est un archéologue mésoaméricaniste américain qui dirige l'Institut d'archéologie mésoaméricaine de l'université Vanderbilt.
# Arrondissement d'Arezzo

L'arrondissement d'Arezzo est un ancien arrondissement français du département de l'Arno. Il fut créé le 30 mai 1808, dans le cadre de la nouvelle organisation administrative mise en place par Napoléon Ier en Italie et supprimé le 30 mai 1814, après la chute de l'Empire.

## Composition

L'arrondissement d'Arezzo comprenait les cantons de
* Anghiari
* Arezzo (deux cantons)
* Bibbiena
* Borgo-San-Sepolcro
* Bucine
* Castel-Focognano
* Castel-San-Niccolo
* Castiglion-Fiorentino
* Civitella
* Cortona
* Figline
* Fojano
* Lucignano
* Monte-San-Savino
* Montevarchi
* Pieve-Santo-Stefano
* Poppi
* Prato-Vecchio
* San Giovanni Valdarno
* Subbiano
* Terra-Nuova.
# Arrondissement d'Arcahaie

L’Arrondissement d'Arcahaie est un arrondissement d'Haïti, subdivision du département de l'Ouest. Il a été créé autour de la ville d'Arcahaie, qui est aujourd'hui son chef-lieu. Il était peuplé par 180 564 habitants en 2009.
La Commune est connue surtout pour la célébration annuelle sur son sol de la fête du Drapeau chaque 18 mai. Cette célébration rassemble les plus hautes autorités du pays ainsi que des membres du Corps diplomatique et consulaire. Elle est également connue pour être parmi les plus grandes productrices de bananes d'Haiti, ainsi que pour ses plages au sable blanc et ses sites historiques et touristiques.
L'arrondissement ne regroupe que deux communes :
* Arcahaie
* Cabaret
# Arthur de Bussières

Arthur de Bussières, (20 janvier 1877 - 7 mai 1913) est un poète québécois.

## Biographie

Né à Montréal de parents pauvres, Arthur de Bussières étudie à l'école Saint-Jean-Baptiste auprès des clercs de Saint-Viateur. Quittant la demeure familiale en 1895, il travaille d'abord comme peintre en bâtiment et décorateur de vitrines de magasin. Ses premiers poèmes sont publiés dans Le Monde illustré dès septembre 1896.
Il devient membre de l'École littéraire de Montréal le 1er octobre 1896 après y avoir présenté trois de ses poèmes. Il est l'ami des poètes Émile Nelligan et Charles Gill. Il quitte cette école en 1900 mais revient en 1910. Il est surtout ami avec Henry Desjardins, à qui il dédie le poème Réminiscences. Cette amitié est réciproque : « Henry Desjardins, profitant d'une absence prolongée de son ami, lit, à la session du 22 avril 1898 de l'École littéraire, une critique des sonnets de A. de Bussières. ». Il était aussi lié avec Joseph Melançon, qui lui dédie le poème Somnium.
Collaborateur aux soirées du Château de Ramezay, sa période littéraire est brève. Trois de ses poèmes sont publiés dans Le Petit Messager du Très Saint-Sacrement édité par Louis Dantin puis repris dans Franges d'autel (1900).
A. de Bussières publie ses poèmes dans plusieurs revues québécoises de son époque : Le Monde illustré (24 poèmes entre le 5 septembre 1896 et le 8 février 1902), Le Passe-temps (20 poèmes entre le 30 octobre 1897 et le 27 septembre 1913), L'Avenir (deux poèmes entre le 4 et 9 novembre 1900), L'Étudiant (un poème le 13 avril 1901), La Revue populaire (six poèmes entre septembre 1908 et juillet 1914), Les Débats (six poèmes entre le 10 décembre 1899 et le 7 avril 1901), L'Alliance nationale (quatre poèmes entre mars 1897 et décembre 1906), Anthologie des poètes canadiens (trois poèmes en 1920).
L'ensemble de ses poèmes sera repris en volume près de vingt ans après sa mort, dans le recueil Les Bengalis, dû à Casimir Hébert, qui a reçu le cahier portant ce même titre des mains de la sœur du poète, Madame Wilfrid Massie. Le recueil compte au total 61 poèmes, dont la production s'échelonne ainsi : six en 1896, dix-huit en 1897, onze en 1898, douze en 1899, neuf en 1900, une en 1910, deux en 1911, deux en 1912.
A. de Bussières excellait dans le sonnet, mais avait plus de difficulté avec la prose, selon le journaliste Olivar Asselin. Poète infortuné, ayant connu sa bohème, il lisait Baudelaire, Hérédia, Leconte de Lisle et Maurice Rollinat.
Décédé en 1913, il reçoit une place dans l'Anthologie des poètes canadiens de Jules Fournier en 1920.
Il est passé dans l'oubli pendant un certain temps, mais il a été redécouvert grâce aux nombreuses études sur Nelligan.

## Publications

* Les Bengalis, avec des textes inédits d'Arthur de Bussières ; présentation, chronologie, bibliographie, notes, par Robert Giroux, Sherbrooke, Cosmos, 1975
# Association OSE

L'association OSE peut désigner :
* l'Organisation des Suisses de l'étranger, fondation de lobby suisse représentant la diaspora helvétique ;
* l'Œuvre de secours aux enfants, association destinée au secours des enfants et à l'assistance médicale aux Juifs persécutés, en France ;
* l'Offensive Syndicale Étudiante, fédération de syndicats étudiants indépendants fonctionnant sur la base de la coopération, fondée en 2011 ;
* OSE, le nouveau sigle de l'Association Neurofibromatoses et Recklinghausen.
# Associação Paulista de Críticos de Arte

L’Associação Paulista de Críticos de Arte (ou APCA, en français « l'association des critiques d'art de São Paulo ») est une association de critiques brésilienne créée en 1956 et basée à São Paulo.
Elle remet chaque année depuis 1972 les Troféu APCA (ou Prêmio APCA), qui récompensent le cinéma, le théâtre, la télévision, la musique, la danse, la littérature et les arts plastiques.

## Catégories de récompense

* Meilleur film (Melhor filme)
# Asavyo

L'Asavyo est un volcan bouclier situé dans la dépression de Danakil dans la région Afar en Éthiopie.
D'une hauteur de 1 200 m, c'est l'un des trois stratovolcans qui se sont formés dans le horst de Danakil. L'Asavyo est vraisemblablement entré en éruption au cours des deux derniers millénaires.
# Aseko

Aseko est un nom de lieu notamment porté en Éthiopie par :
* Aseko, une ville ;
* Aseko, un woreda (subdivision administrative) ;
* Circonscription d'Aseko.
# Asefa Belay

Asefa Belay (Ge'ez: አሰፋ በላይ) est un des 112 membres du Conseil de la Fédération éthiopien. Il est un des 17 conseillers de l'État Amhara et représente le peuple Amhara.
# Atabey

Atabey peut désigner :
* atabey, un synonyme d'atabeg ;
* Atabey, un chef-lieu de district de la province d'Isparta en Turquie.