dancinlab/anima-corpus-5lang-unified huggingface dataset:
Bref historique 
 1974 : le département de la Défense américain s'aperçoit qu’il gaspille énormément d’argent en utilisant grosso modo un langage de programmation par application, et en entretenant des programmes écrits dans des langages obsolètes endémiques ou exotiques. Certaines sources avancent le chiffre de  de programmation employés en ces lieux.Le résultat de cette prise de conscience est l’élaboration, en trois ans, du cahier des charges d’un langage unique, suffisamment souple et puissant pour remplacer tous les autres, que ce soit pour le guidage de missiles ou les travaux sur l’intelligence artificielle en passant par les applications de gestion.
 1977 : le département lance un appel d’offres, remporté par une équipe dirigée par le Français Jean Ichbiah.
 1980 : Jean Ichbiah fonde la compagnie Alsys ().
 1983 : Ada83 est normalisé aux États-Unis par l’ANSI (ANSI/MIL-STD-1815A-1983).
 1987 : Ada83 fait l’objet de la norme internationale ISO 8652:1987.
 1990 : à partir des améliorations apportées par les différents développeurs de compilateurs, l’Ada Joint Program Office lance un projet de révision du langage.
 1991 : Alsys est revendu à Thomson-CSF et devient TSP (Thomson Software Products).
 1992 : un contrat est passé entre le comité de révision (Ada9X Program Office) et l’Université de New York pour le développement d’un compilateur de référence pour le nouveau langage, qui sera librement disponible. Ce compilateur, GNAT, est basé sur la technologie GCC de GNU.
 1994 : la société Ada Core Technologies (aujourd’hui AdaCore) est fondée par les membres du projet GNAT pour poursuivre la maintenance du compilateur et en assurer la commercialisation et le support.
 1995 : la révision tant attendue arrive à son terme, Ada95 voit le jour. Une norme révisée est publiée, ISO/CEI 8652:1995. Ada95 est le premier langage mettant en œuvre la programmation orientée objet à faire l’objet d’une norme ISO. Le compilateur GNAT couvre l’intégralité de la norme Ada95, y compris l’ensemble de ses annexes optionnelles.
 1996 : TSP devient Aonix.
 2000 : l’Ada Conformity Assessment Authority (ACAA) publie un ensemble de corrections mineures accumulées au cours des cinq années précédentes : le Technical Corrigendum 1.
 2003 : un rapport du  prédit la mort du langage Ada malgré sa supériorité sur les autres.
 2007 : l'ISO publie l'Amendement 1 au langage qui introduit de nouvelles fonctions et officialise de nombreuses améliorations proposées initialement par les différents développeurs de compilateurs. Cette version du langage porte le nom d'Ada 2005, année durant laquelle l'Amendement fut figé pour publication par l'ISO.
 2012 : l'ISO publie une nouvelle révision de la norme (Ada 2012), qui apporte notamment des facilités syntaxiques, la programmation par contrat, le support des architectures multi-cœurs, et une extension de la bibliothèque prédéfinie.
 2016 : Parution d'un corrigendum technique à Ada 2012
Liens externes 
  Ada Information Clearinghouse : les documents normatifs et bien d'autres choses encore.
  Ada Conformity Assessment Authority : ce groupe indépendant supervise la vérification de conformité des mises en œuvre du langage (autrefois appelé « validation ») et pilote le processus d’amendement et d’amélioration de la définition du langage.
 Ada France : cette association organise un concours tous les ans avec des prix élevés ( pour le premier prix).
  Les pages libres d’AdaCore : AdaCore propose ici en téléchargement ses outils GPL notamment le compilateur GNAT et l’environnement de développement GPS.
 Developpez : diverses ressources sur Ada.
 un cours Ada95 complet (sauf temps réel)
  MIL-STD-1815A, Ada Programming Language
  Site d'information sur Ada 2012
De 1941 à 1946 et de 1956 à 2015, la région Auvergne fut également une région administrative française composée des quatre départements de l'Allier, du Cantal, de la Haute-Loire et du Puy-de-Dôme. Sa plus grande ville, Clermont-Ferrand, en était le chef-lieu. Cette région a été supprimée le  par la loi sur l'Acte  de la décentralisation. Les départements qui la composaient font maintenant partie de la nouvelle région Auvergne-Rhône-Alpes.
Avec plus de  d'histoire, l'Auvergne est une des plus anciennes régions de France et une des mieux identifiées. Toutefois, son territoire est perçu de façon variable et le géographe Pierre Bonnaud compte quatre définitions possibles pour les contours de la région. Ainsi, en plus de l’ancienne région administrative, il y a deux Auvergne historiques. La première a existé jusqu'au  et correspond à la cité des Arvernes ou Arvernie qui se perpétua avec le diocèse primitif de Clermont. La constitution du duché de Bourbon confisqua le nord de son territoire et laissa une province plus petite au .
Enfin, dans limaginaire parisien, l'Auvergne apparaît souvent comme une région plus vaste. Au  et au  une vague d'immigration venant d'Auvergne, de l'Aveyron, de la Lozère et de la montagne limousine a submergé la capitale. Elle y a imposé son folklore et a été identifiée comme celle des « Auvergnats de Paris » ou « bougnats ». Il n'est pas rare que toute la partie sud du Massif central soit ainsi assimilée à l'Auvergne. Clin d’œil à l'histoire, cette aire territoriale fait penser à celle des peuples vassaux des Arvernes sous l’Antiquité.
Dénomination et blason 
L'Auvergne tient son nom du peuple des Arvernes, dont le nom est généralement interprété comme « ceux qui vivent devant des terres plantées d'aulnes » par composition du préfixe gaulois are (« près de », « devant ») et de verno ou uerno (« aulnes » ou « aulnaies »). Le nom Auvergne est écrit en roman médiéval ou en auvergnat Arvernha, Auvernha, Auvernhe ou dans le nord de la Lozère Alvernhe. La chaîne évolutive de ce toponyme est Arvernia - Alvernia - Alvernha - Auvernha - Auvergne.
Le blason de l'Auvergne, d’or au gonfanon de gueules bordé de sinople, a été pris par les comtes d'Auvergne depuis au moins le , les sceaux et l'iconographie des comtes  et  présentant déjà le gonfanon pour emblème de l'Auvergne. L'origine de cet emblème n'est pas certaine. Il pourrait s'agir de la bannière de l'abbé d’Aurillac autour de laquelle se rallièrent les chevaliers de la nation d'Auvergne lors de la conquête de Jérusalem ou alors de celle d'Eustache III, aïeul d'Adélaïde de Brabant, la mère du comte. Eustache III avait le titre de comte de Boulogne-sur-Mer et était le frère de Godefroy de Bouillon.
Histoire
Pays des Arvernes 
L'Auvergne doit son nom au peuple gaulois des Arvernes. C'était l'une des tribus les plus puissantes et les plus riches de la Gaule antique. Cette prédominance s’explique par plusieurs raisons. Le territoire arverne donnait à ses occupants une totale autonomie agricole, il se composait au centre de la grande plaine très fertile de la Limagne, de coteaux fruiticoles sur le pourtour et enfin de grandes prairies de moyenne montagne idéales pour l'élevage. Ces zones d'autosubsistance étaient noyées dans un dense massif forestier qui fournissait l'énergie nécessaire à la mise en place d'industries prospères : la céramique et la métallurgie. Lezoux devint à l'époque gallo-romaine un des plus grands centres de production de poteries (en particulier sigillées) d'Europe. Ces poteries font partie du matériel archéologique courant que l'on retrouve partout dans le nord de l'Europe et servent à la datation des lieux fouillés. L'exploitation de nombreuses mines d'or, d'argent et d'autres métaux (exploitées depuis 400  au minimum) permit de faire de la métallurgie, de la forge et de l'orfèvrerie (en particulier du travail du cuivre) une grande spécialité arverne. Dans la Guerre des Gaules de César, Vercingétorix est décrit avec « une grande armure faite de nombreuses pièces d'argent assemblées et reflétant le soleil ». Les Arvernes frappaient leur propre monnaie et multipliaient les échanges commerciaux avec les tribus voisines (moins de  connues pour  gaulois). Ils développèrent au centre du monde gaulois un commerce est-ouest et nord-sud engendrant une grande richesse. La puissance militaire des arvernes était importante, elle s’appuyait sur un territoire difficile à atteindre par les armées adverses car entouré sur quasiment tous ses côtés par des massifs montagneux (seul le nord était ouvert sur les plaines du centre de la Gaule). Enfin, il y avait au sommet du puy de Dôme un sanctuaire d'une importance majeure pour plusieurs nations gauloises qui s'y retrouvaient.
Strabon décrit une royauté arverne puissante qui impose au  son hégémonie sur les peuples gaulois avec notamment les règnes des rois arvernes Luern et Bituit. Si beaucoup d'historiens, dans la ligne de Camille Jullian, ont décrit la Gaule Celtique comme un « empire arverne », on parle plutôt aujourd'hui d'une « hégémonie » similaire à celle de certaines cités grecques classiques, comme celle qu'exercèrent Athènes ou Sparte, c'est-à-dire non pas une structure politique, mais une ascendance diplomatique, militaire, culturelle et économique. La confédération arverne regroupait les Gabales, les Vellaves, les Cadurques, les Rutènes, et son aire d'influence comprenait une partie du Languedoc et de l'Aquitaine.
Vercingétorix prit le titre de roi en 52  Son père, Celtillos, qui avait tenu cette fonction auparavant, fut exécuté par ses compagnons après avoir tenté de rendre le titre héréditaire. Au cours de l'hiver 53/52 , Vercingétorix profita d'une révolte des Carnutes dans Bourges pour constituer une alliance contre les Romains avec la plupart des  celtes des deux tiers nord de la Gaule. Pour la consolider et en gage de fidélité, il réclama et obtient de chaque peuple gaulois des « otages » (fils ou filles de rois).
Beaucoup plus tard, le siège d'Alésia se termina par une victoire romaine et marqua la fin du roi arverne. Pour enfermer les troupes Arvernes dans Alésia, les légionnaires romains construisirent pendant des mois  de pièges (fosses avec pieux entre autres) et de fortifications sur plusieurs centaines de mètres. L'arrivée trop tardive des secours des Gaulois de l'ouest (pourtant fortes de plus de ) fut déterminante dans la défaite. Par deux fois, les troupes gauloises dirigées par plusieurs chefs furent à deux doigts d'établir une jonction avec les assiégés. Ces tentatives menées à la tombée de la nuit permirent à Vercingétorix et ses cavaliers de faire des échappées mais coûtèrent de nombreux morts aux troupes arvernes. Vercingétorix négocia sa reddition contre la vie sauve pour les  d'Alésia. Après le départ des Gaulois de l'ouest, on l'emprisonna à Rome et on le fit figurer au triomphe de César ; après quoi il fut exécuté.
Auvergne romaine 
Après sa victoire sur les Arvernes, César amorce une politique habile qui les ménage et les associe au pouvoir. Les deux siècles qui suivent la colonisation correspondent à une période de paix et de prospérité. L’Auvergne fait partie de la province d’Aquitaine, les quelques Romains qui viennent s’y installer sont rapidement assimilés, les modes de vie arvernes et romains sont peu différents et facilitent l’association. Le latin s’impose tardivement sur la langue gauloise. La capitale gallo-romaine, Augustonemetum, prend le nom d’Arvernis au .
À la fin du  ou au , saint Austremoine évangélise l’Auvergne. À cette époque, la province est menacée par la poussée des peuples germaniques et l'affaiblissement de l'empire. En 469, l’autorité de Rome est toujours reconnue mais la province est encerclée par les Burgondes et les Wisigoths. Ces derniers, menés par le roi Euric, déferlent sur le pays en 471. Sidoine Apollinaire, onzième évêque d'Auvergne, mène alors la résistance et la défense d'Arvernis pendant quatre ans aux côtés d'Ecdicius, son beau-frère. Il fournit un riche témoignage sur l'Auvergne à la fin de l'Antiquité.
Moyen Âge
Haut Moyen Âge 
En 475, et malgré une résistance victorieuse, Rome choisit de céder l'Auvergne aux wisigoths afin de conserver la Provence, plus proche géographiquement et culturellement du cœur de l'Empire. L'Auvergne et sa capitale Clermont sont intégrées au royaume wisigoth d'Euric et en deviennent une pièce majeure. Habilement, le roi wisigoth choisit le catholique arverne Victorius pour devenir comte d'Auvergne et duc des provinces d'Aquitaine. Il libère ensuite Sidoine Apollinaire qui retrouve son siège épiscopal après deux années de captivité. À la suite du décès de Victor, le successeur d'Euric, Alaric II, place Apollinaire (le fils de Sidoine) sur le trône comtal. Ce dernier a la charge d'une part importante de l'armée wisigothique et mène le combat avec de nombreux auvergnats contre les Francs lors de la bataille de Vouillé. Après la chute du royaume wisigoth de Toulouse, l'Auvergne passe sous la domination de Clovis, le roi des Francs. L'aristocratie pro-wisigothe d'Auvergne résiste à cette nouvelle domination comme en témoigne la révolte de Placidina et Arcade. Conquise militairement par Thierry en 536, l'Auvergne est rattachée à l'Austrasie pendant un siècle. Des aristocrates gallo-romains locaux sont nommés comtes et dirigent la province avec les évêques d'Auvergne.
À la fin du  ou au début du , l'Auvergne passe sous l'influence du duché d'Aquitaine. Gouvernée par les ducs d'Aquitaine qui portent également le titre de comte d'Auvergne, elle fait l'objet de convoitises entre francs et aquitains. Durant cette période, ce sont les évêques d'Auvergne qui exercent concrètement le pouvoir. Ils fondent partout en Auvergne de nombreux monastères (Brioude, Manglieu, Thiers ou encore Mozac), qui mènent une grande activité intellectuelle et scolaire et font de l'Auvergne une importante place de la Chrétienté.
À ces troubles politiques, se rajoutent pendant ces siècles de grandes calamités telles que les épidémies au  et les incursions des troupes du califat ommeyade. En 760 Pépin le Bref, dans sa lutte contre le duc d'Aquitaine, fait deux incursions dévastatrices qui détruisent la province et sa capitale. Les normands attaquent la région à partir du . Ils assiègent et incendient la capitale avant d'être chassés de la région par les milices et nobles locaux. Les puissantes familles seigneuriales auvergnates, livrées à elles-mêmes, se mènent des guerres privées incessantes, et pillent la région sans relâche. L'insécurité permanente culmine au .
Moyen Âge central 
Gouvernée jusqu'alors par les ducs d'Aquitaine et d'Auvergne la province connaît un changement politique majeur à la fin du  quand Guy, vicomte de Clermont et d'Auvergne, se proclame comte d'Auvergne et crée la dynastie comtale héréditaire. Les comtes d'Auvergne s'affranchissent de plus en plus de leurs suzerains directs. À mesure que leur autonomie s'affirme, l'Auvergne s'intègre progressivement au royaume de France. Les comtes sont eux-mêmes suzerains de grands seigneurs. À la même époque les évêques d'Auvergne deviennent maîtres de grands domaines centrés sur Clermont qui constituent la « seigneurie épiscopale de Clermont ».
Du fait de la concurrence politique des comtes, une longue rivalité entre Clermont et Montferrand voit le jour. Le comte d'Auvergne n'avait pas un grand réseau de vassaux, sans doute parce qu'il n'était que le descendant d'un modeste vicomte. Il possédait en propre de nombreuses terres en Basse-Auvergne, la majeure partie de la Limagne, des terres en Brivadois mais très peu de choses en Haute-Auvergne. Il n'était pas le maître de la capitale qui appartenait aux évêques qui avaient aussi de nombreux vassaux en Haute-Auvergne. Le domaine de l'Abbaye d'Aurillac était libre et exempt de toute juridiction et ne relevait que du pape (il forma par la suite la vicomté de Carlat).
Les abbayes d'Auvergne voient leur renommée s'étendre très largement dans la Chrétienté et se bâtissent une solide réputation en Occident. Véritables foyers intellectuels, elles sont particulièrement prospères du . Les abbayes d'Aurillac et de la Chaise-Dieu sont les plus célèbres. Gerbert d'Aurillac (926-1003), grand savant et mathématicien favorise l'introduction des chiffres arabes en Occident. Entre 950 et 1150 environ, l'Auvergne se couvre d'admirables églises romanes d'une grande homogénéité de style. C'est la naissance de l'art roman auvergnat.
En 1095 le pape  convoque un concile à Clermont. À la fin du concile, il lance l'appel de Clermont et adjure les chrétiens d’Occident de cesser leurs guerres fratricides et de partir pour la Terre Sainte pour délivrer Jérusalem. Une foule considérable de «pauvres gens » se met en route pour Jérusalem et sera massacrée par les Turcs. Les seigneurs partent à leur tour, de tout le royaume, dont le comte d'Auvergne , et de très nombreux seigneurs auvergnats. Ils prendront Jérusalem en 1099.
En 1147 Robert III d'Auvergne meurt en Terre Sainte. À son retour en Auvergne, son fils Guillaume « le jeune », se trouve dépossédé par son oncle Guillaume « l'Ancien » à qui l'on avait confié les biens et prérogatives pendant l'absence du comte d'Auvergne. Le conflit aboutit à un partage des terres du comté : Guillaume l'Ancien (ou Guillaume VIII) garde la plus grande partie des terres et conserve le nom de comté d'Auvergne ;
Guillaume le Jeune (ou Guillaume VII) conserve Montferrand, la capitale comtale, ainsi que quelques terres autour de Pontgibaud et en Limagne (Dauphiné d'Auvergne).
En 1212 le roi de France Philippe-Auguste envoie une armée en Auvergne et dépouille  de presque tout son comté. L'Auvergne tombe à la suite du siège de Tournoël en 1213. Les territoires confisqués, qui représentent la plus grande partie de l'Auvergne, sont annexés au domaine royal et nommés « Terre d'Auvergne ». Ainsi, à partir du début du , l'ancien comté d'Auvergne se trouve morcelée en quatre entités politiques aux statuts inégaux : Le comté d'Auvergne, petite région centrée sur Vic-le-Comte, le Dauphiné d'Auvergne, région située à l'ouest d'une ligne Clermont-Issoire, la seigneurie épiscopale de Clermont, propriété de l'évêque de Clermont et la Terre d'Auvergne qui devient en 1360 le duché d'Auvergne avec Riom pour capitale .
Moyen Âge tardif 
Au  la province reste dans le giron de la famille capétienne. Elle est donnée en apanage à Alphonse de Poitiers, puis en 1360 comme duché à Jean  de Berry (qui rachète aussi la vicomté de Carlat). Une de ses filles épouse le duc de Bourbon qui devient alors duc d'Auvergne. Tous leurs domaines sont finalement confisqués par  en 1527.
Pendant la guerre de Cent Ans des hommes d'armes français recrutés sur les terres soumises à l'Angleterre et groupés en grandes compagnies pillent et rançonnent les villes auvergnates. Après 1375, les routiers s'implantent solidement en Haute-Auvergne et ne seront chassés que par une forte expédition royale en 1392.
Auvergne des Bourbons 
La maison de Bourbon apparaît au  à Bourbon-l'Archambault. Ses domaines s'agrandissent rapidement et finissent par constituer un duché situé au nord de l'Auvergne. En 1416, les princes de Bourbon parviennent à commander toute la province. Cette situation se prolongera pendant un siècle. Les Bourbons s'opposent régulièrement aux rois de France au cours de cette période. En 1523, spolié par le roi  et sa mère Louise de Savoie, , duc d'Auvergne et de Bourbon se réfugie auprès de l'empereur Charles Quint, qui était également son suzerain pour la principauté des Dombes, et change ainsi de camp pour préserver l'indépendance de ses domaines et la possession de ses biens familiaux. Ses domaines sont finalement confisqués, et l'Auvergne retourne au domaine royal en 1527. Depuis 1012, les comtes d'Auvergne avaient maintenu un petit fief en plein cœur de l’Auvergne à Vic-le-Comte. Catherine de Médicis en hérita par sa mère Madeleine de La Tour d'Auvergne à la mort de sa tante Anne d'Auvergne en 1524. Son mariage en 1533 avec le futur  permit la réunion de ce dernier morceau de l'Auvergne à la couronne de France.
Temps modernes 
Un siècle après la guerre de Cent Ans, l'Auvergne plonge dans les guerres de religion. Des milices calvinistes font des incursions dans le Haut-Pays, et prennent par surprise des châteaux ou des bourgs catholiques qu'ils rendent ensuite en contrepartie d'une rançon, pillant et détruisant les abbayes. Le capitaine Merle en particulier, solidement implanté dans le Gévaudan voisin, rançonne Issoire mais échoue devant Saint-Flour. C'est ainsi que l'année qui suit la destruction de l'Abbaye de Vabres, la ville d'Aurillac est prise en 1569, ses habitants rançonnés, et son abbaye entièrement pillée, ses trésors fondus et emportés à Genève, ses richesses vendues aux enchères, ses archives incendiées et ses bâtiments détruits.
En 1623, Blaise Pascal naît le 19 juin au pied de la Cathédrale de Clermont-Ferrand. Il est le fils d'Étienne Pascal (1588-1651), conseiller du roi pour l'élection de Basse Auvergne, puis second président à la Cour des aides de Montferrand, et passionné par les sciences (ami de Leibnitz, Mersenne, Roberval et Descartes). Il décidera d'éduquer seul ses enfants (dont Blaise), avec la visite régulière de ses amis scientifiques.
En 1665,  instaure temporairement à Clermont et au Puy une cour criminelle d'exception, les Grands jours d'Auvergne, afin de faire droit à de nombreuses plaintes de personnes du peuple victimes des violences et des exactions de certains fonctionnaires ou membres de la noblesse d'Auvergne. La vie des magistrats est relatée par Esprit Fléchier, de nombreuses condamnations à mort et confiscations sont prononcées.
Au , la condition économique de la paysannerie s'améliore considérablement grâce à la politique avisée des intendants et des subdélégués d'Auvergne qui prennent le relais des abbayes et développent l'élevage, la fabrication du fromage, l'agriculture, les verreries, les forges, les routes. Le contrebandier Mandrin marque la région par ses activités. L'Auvergne voit naître à cette période le général révolutionnaire Desaix.
En 1789, les provinces françaises sont supprimées et sont remplacées par les départements. La partie nord de l'Auvergne donne naissance au Puy-de-Dôme. Les représentants de la région de Clermont, comme le franc-maçon Gaultier de Biauzat, craignaient que l'on choisisse Riom comme chef-lieu. Aussi, ils préférèrent que la partie nord de l'ancienne province fasse partie du département de l'Allier. Cela permettait de mettre Clermont-Ferrand au centre du département et lui garantissait ainsi l'assurance d'être siège de la préfecture. Le nouveau département devait s’appeler "département du Mont-Dore" mais les élus locaux craignirent qu'à Paris, on imagine qu'il y avait de l'or dans la région et qu'on la taxe plus que de raison. Ce fut donc le volcan du puy de Dôme qui donna son nom au nouveau département.
Le département du Cantal correspond à l'ancien bailliage des montagnes d'Auvergne agrandi d'une large partie du Cézallier et de l'Artense, ainsi que de la région de Massiac. Les deux villes d'Aurillac et Saint-Flour se disputèrent âprement le siège de la préfecture. Après une période d'alternance, ce fut Aurillac qui l’emporta. La région de Brioude fut associée au Velay pour former le département de la Haute-Loire. Si les limites extérieures des trois départements reposent sur les frontières historiques des provinces, la ligne qui les sépare reste arbitraire.
et
Au ,  fit beaucoup pour l'Auvergne. Il se soignait à Vichy et souhaita en faire la plus belle station thermale de France. Pour cela, il prit modèle sur la station allemande de Baden-Baden. Il fit tracer dans la ville de grandes avenues, fit construire un casino, de grands hôtels, l'église, le chemin de fer et la gare. Il ajouta de grands parcs et installa une digue fluviale sur l'Allier pour former un lac de plaisance. Lui et l'impératrice Eugénie fréquentèrent également la station de Royat. Intéressé par l'Histoire, il encouragea les fouilles de Gergovie et fit connaître Vercingétorix. Il était membre de plusieurs sociétés savantes d'Auvergne comme la Société de la Haute-Auvergne.