nglaura/hal-summarization huggingface dataset:
La découverte d'un bâtiment antique en bordure d'un fossé en lien avec le cours de l'Ouche, ainsi que d'une meule en roche volcanique similaire à celles découvertes sur plusieurs sites de moulins antiques, permettent de déduire la présence d'un moulin hydraulique antique à Longvic.

The discovery of a Roman building on the banks of a ditch linked to the river Ouche and a millstone made of volcanic rock similar to those found at other Roman mill sites, indicate the existence of a Roman water mill at Longvic.
Le Parc naturel régional du Morvan a été le lieu d'activités minières et métallurgiques dès la protohistoire. Il est important de localiser ces dernières, puis de quantifi er leur impact sur les écosystèmes actuels. C'était l'objectif du programme « Identifi cation et impact des sites miniers abandonnés sur les écosystèmes aquatiques et terrestres actuels », un projet de recherche mené par l'université de Bourgogne-Franche-Comté (2009-2013) qui combinait archéologie, géochimie, écologie et écotoxicologie. Des cartes de potentiel minier ont d'abord été dressées afi n de guider l'archéologue dans ses prospections de terrain. La biodisponibilité des éléments traces métalliques dans les sols a été estimée, de même que leur impact sur la faune et la fl ore. Les eff ets délétères sur les organismes sont toujours observés, bien que les travaux ayant entraîné la contamination remontent souvent à plusieurs centaines, voire milliers d'années.
C'est dans le cadre du projet collectif de recherche " Monastères en Europe occidentale (ve-xe siècle) " - cf. présentation du projet dans ce bulletin -, que nous avons engagé une première campagne de prospections géophysiques à Baume, au mois de février 2010, en collaboration avec Christian Camerlynck - université Pierre et Marie Curie, UMR 7619 Sisyphe, Paris. Les investigations ont porté sur les espaces de l'ancienne abbatiale et du cloître (fig. 1). La méthode utilisée est celle du radar-sol à impulsions électromagnétiques - GPR ou " Ground-Penetring Radar ". Une des attentes majeures, hormis les vestiges du cloître, concernait la question d'une possible avant-nef, mais la présence de neige sur le parvis en pente de l'abbatiale n'a pas permis des prises de mesures correctes. Une nouvelle campagne de prospection est donc projetée en 2011, afin de compléter les manques de cette année et d'étendre la surface étudiée...
Cet article est une version légèrement remaniée de notre communication présentée lors des 4e journées d’études monastiques consacrées à « L’origine des sites monastiques : confrontation entre la terminologie des sources textuelles et les données archéologiques », sous la direction de Sébastien Bully et Christian Sapin, Baume-les-Messieurs, 4 et 5 septembre 2014.
Ces réflexions me sont inspirées par l'expérience que j'ai acquise au cours des quatre années (janvier 2007-janvier 2011) que j'ai effectuées comme son directeur à la tête de l'Unité mixte de recherches (UMR) 5594 Artehis - Archéologie, terre, histoire, société (l'acronyme renvoyant aussi à histoire de l'art, depuis la préhistoire jusqu'au Moyen Âge), ainsi que par les enseignements que j'ai retirés du séminaire interdisciplinaire que j'y ai conduit sur la problématique " nature/culture "...
En 2005, des travaux de restauration de la cathédrale de Saint-Claude avaient révélé le portail gothique, qui permettait l'accès à l'édifice depuis la galerie orientale du cloître. C'est en prévision de nouveaux travaux de restauration que Paul Barnoud (ACMH) a demandé, en 2008, à l'association APAHJ, une étude historique de l'édifice et une analyse d'archéologie du bâti de son mur gouttereau sud. Ce dernier résume en effet la chronologie de la construction dans ses grandes phases et conserve des vestiges - la plupart en négatif - du cloître de l'abbaye détruit à la fin du xviiie siècle. L'objectif de l'étude croisée des archives - en particulier les comptes de fabrique - et de l'analyse archéologique du bâti était donc de déterminer un phasage de la construction et de proposer une restitution du cloître et du portail gothique. Il s'agissait également de constituer une documentation graphique avant des travaux susceptibles de faire disparaître des vestiges intéressant sa construction : zones rubéfiées, encoches de poutre, appareils avec marques de tâcherons, etc. Le relevé a été réalisé à partir de photographies redressées ; les clichés ont ensuite été assemblés grâce à une prise de points par tachéomètre laser. La façade (près de 1 400 m2) a ensuite été redessinée pierre par pierre avec le logiciel Illustrator...
À la suite des recherches menées antérieurement dans la nef et le chœur de l'église, il était indispensable d'évaluer par sondages le potentiel bâti au sud de l'abbatiale. Aucune des constructions médiévales n'existe plus depuis le xviiie siècle à cet endroit, devenu au xixe siècle une voie publique. Ces recherches faites dans le cadre du projet collectif sur les premiers monastères de l'Est de la France - sous la direction de S. Bully et C. Sapin -, ont révélé des maçonneries appartenant au dispositif claustral médiéval et une sépulture. Elles devraient fournir les bases pour un futur programme de fouille, devant s'étendre sur l'ensemble de la surface concernée, afin de reconnaître les divers états de construction et d'occupation jusqu'à l'origine carolingienne du site. En effet, rappelons que le monastère de Gigny apparaît dans les sources textuelles à la fin du ixe siècle et qu'au début du siècle suivant, c'est de ce monastère que part Bernon, son abbé, avec quelques moines, pour assurer la direction de Cluny fondé par Guillaume le Pieux...
La douzième campagne sur le site de Byllis a occupé deux semaines, du 16 au 30 mai 20101. Rappelons que ces travaux s'effectuent sous l'égide de l'ÉfA et du MAE, qui les financent à parité, avec un apport aujourd'hui presque équivalent du Fond québécois pour la recherche scientifique et culturelle et de l'université du Québec à Rimouski, en collaboration avec l'Institut archéologique de Tirana et le Parc archéologique de Byllis...
Une collaboration originale entre des géophysiciens, des archéologues et un spécialiste en architecture a été initiée à l’issue des premières investigations conduites en 2013 à l’emplacement du théâtre antique du Haut du Verger à Autun (Saône-et-Loire). L’analyse combinée des données issues de la photographie aérienne, de la prospection géophysique et de la campagne de fouilles a permis de proposer une restitution du plan de l’édifice faisant la synthèse des données architecturales et planimétriques du monument. Cette synthèse évoque également des particularités géométriques de l’épure de l’édifice, susceptibles de trahir, ou non, des phases de restructuration de l’édifice. Cette restitution, dont le but est d’optimiser l’orientation architecturale de la recherche, semble dégager un principe constructif original du théâtre, et prouve surtout l’intérêt de cette collaboration pluridisciplinaire.

The first investigations undertaken on the site of the antique theatre Haut du Verger at Autun (Saône-et-Loire), in 2013, were followed by an unusual joint effort between an architecture specialist, geophysicians and archaeologists. The analyses of the aerial photography, the geophysical prospecting and the excavation campaign data enabled them to reproduce the building’s plan as a final synthesis of the planimetric and architectural data. This synthesis also shows some geometrical features about the building’s outline that could reveal several stages of restructuration of the building. This reconstruction of the building’s plan aims to optimize the architectural development of the investigation. It seems to highlight an unusual building principle in the theatre and mostly proves the relevance of this multidisciplinary joint effort.
Au cours de prospections géoarchéologiques sur le versant donnant naissance à la source associée au site cultuel d'Essarois (Côte-d'Or), au lieu-dit La Cave, un ex-voto anatomique de pied humain a été découvert dans les dépôts sédimentaires alluviaux. Ce pied, taillé dans le calcaire oolithique local, présente un aspect fruste mais laisse cependant apparaître un nombre inhabituel de six orteils. S'il peut s'agir d'une maladresse ou d'une négligence du sculpteur, ce caractère exceptionnel est susceptible également de témoigner de la réelle volonté d'une représentation d'un cas de polydactylie, malformation connue dans l'Antiquité.

During geo-archaeological research on the slope where the source associated with the Essarois (Côte-d'Or) cult site is located, in the locality of La Cave, an anatomic votive offering of a human foot was discovered in the alluvial sedimentary deposits. Carved from local oolitic limestone, it is rather crude in appearance but it is possible to make out that it has the unusual number of six toes. Although it may have been a blunder or the result of negligence by the sculptor, the phenomenon may equally have been a deliberate representation of a case of polydactyly, a malformation that was known in Antiquity.
Nous avions présenté la plate-forme géomatique1 et son e-Atlas. Nos objectifs ici, sont d'améliorer la progression de l'individu au sein de l'e-Atlas géographique et médicale avec l'aide méthodologique innovante et moderne composée d'un langage graphique de Visualisation des Connaissances Médicales, de pages web dynamiques et interactives orchestrées par des Systèmes de Gestion de Bases de Données Relationnelles, des serveurs web et cartographiques. L'e-Atlas du Nord-Pas-de-Calais offre parmi 3 hôpitaux géoréférencés (Dunkerque, Lille et Valenciennes) leurs statistiques PMSI et cartographies associées. L'e-Atlas est accessible et diffusé grâce à la technologie Web-Mapping avancée et sécurisée. En discussion-conclusion : grâce à l'approche géographique, le langage graphique du Pantin (anatomie-activité hospitalière) et l'architecture SIG moderne, nous avons répondu aux premières évaluations critiques. L'e-Atlas évoluera entièrement en Open Source et fera l'objet de notre prochaine campagne pour le choix médical programmé. Mots Clefs e-Atlas géographique et médicale ; Géomatique en santé ; Système d'informations géographiques (SIG) ; Web-Mapping ; Langage Graphique (VCM)
La ville de La Charité-sur-Loire, inscrite au patrimoine mondial de l'Unesco, est connue pour son prieuré clunisien fondé en 1056. Au xiie siècle, l'église Notre-Dame est la seconde plus grande église de la chrétienté, après Cluny, et plus de 200 moines logent dans les bâtiments, qui s'étendent sur trois hectares...
La découverte fortuite d’une lame de hache en bronze en forêt d’Étaules, dans des conditions douteuses en 2010, a conduit à son étude aussi détaillée que possible et à sa remise en contexte culturel en offrant ainsi un regard actualisé sur le Bronze ancien en Bourgogne. Cette hache à petits rebords est proche du type de Neyruz et datable du milieu du Bronze ancien. Très bien conservée, elle a été soigneusement préparée après sa sortie d’un moule en plusieurs parties ; elle porte les marques d’une utilisation, mais elle est encore tout à fait fonctionnelle. Sa présence, pourtant privée de contexte archéologique à l’endroit même de la découverte, renforce toutefois l’idée d’une occupation humaine bel et bien développée en Bourgogne dès le début du deuxième millénaire avant notre ère

In 2010, in doubtful circumstances, a bronze axe blade was fortuitously discovered in the forest of Étaules. The artefact has been studied as detailed as possible in order to suggest its former cultural context, thus allowing to give a brief review of the Early Bronze Age in Burgundy. This flanged axe, close to the Neyruz type, can be attributed to the mid-Early Bronze Age. In an excellent state of preservation, it was carefully prepared after having been cast in a split mould; although worn by use, it remains fully functional. Despite the lack of the archaeological context at the precise place where it was discovered, its presence strengthens the idea of a developed human occupation in Burgundy at the time of the early second millennium B.C.
Le hameau d'Annegray, sur la commune de la Voivre, est traditionnellement identifié comme le site du monastère d'Anagrates ; la découverte des fondations de l'église romane Saint-Jean-Baptiste et de sarcophages mérovingiens par le docteur Cugnier en 1958 participe à cette identification. Annegray est situé dans la vallée supérieure du Breuchin, pénétrant les premiers contreforts méridionaux du massif vosgien. Le monastère était également à proximité de la cluse de Faucogney, verrouillant la route en direction du col du Mont de Fourche et de la vallée de la Moselle. Ce site est considéré traditionnellement comme la première fondation sur le continent du grand moine irlandais, à la fin du vie siècle. Le récit de la Vie de saint Colomban, écrit par Jonas de Bobbio dans les années 640, relate dans ces termes le choix de l'emplacement du premier établissement : " (...) il y avait alors une vaste solitude appelée Vôge où se trouvait un castrum ruiné que la tradition des anciens nommait Anagrates. Il s'y établit avec les siens (...)".
Après quatre années de campagne de fouilles archéologiques programmées sur une partie du site de Cluny, on peut considérer que le champ des connaissances s'est considérablement accru pour la zone orientale du cloître, qui n'était partiellement connue que par les travaux, maintenant anciens, de K. J. Conant. Ses recherches n'avaient porté que sur une portion d'espace correspondant à ce qu'il appelait " le chevet de Cluny II ", sans inclure son sanctuaire. Les dernières campagnes sur le terrain ont modifié l'interprétation générale du chevet et de sa chronologie. Celui-ci apparaît désormais le fruit de plusieurs étapes étalées entre le milieu du xe siècle et le début du xie siècle. La campagne de 2010, qui a aussi complété les informations sur la zone de l'ancien transept de Cluny II, ne présente pas tout à fait la morphologie jusqu'alors retenue et restituée. Certains passages vers les annexes latérales ne sont pas des accès - du moins à cette altitude -, mais des percements de maçonneries dus à des sépultures. L'absidiole nord doit être restituée comme celle du sud, sans tenir compte des retraits de maçonneries résultant de pierres manquantes. Enfin, un grand mur de chaînage nord-sud accueille l'extrémité des murs et piliers orientaux du transept. Par ailleurs, au sud, dans les bâtiments reconstruits au xviiie siècle, plusieurs états de maçonneries semblent pouvoir correspondre aux latrines médiévales et modernes. La salle du chapitre, fouillée ces dernières années, a vu ses premiers états complétés par les informations recueillies dans la fouille d'une tranchée dans la galerie nord du cloître actuel. La salle du chapitre était jusqu'alors quasiment inconnue et n'apparaissait pas dans les travaux sur l'histoire de Cluny, même si on soupçonnait son existence à cet endroit pour la phase gothique. On peut désormais en restituer de manière explicite l'état du xiiie siècle, avec une division en deux nefs et six travées, un pavement de carreaux vernissés et l'aménagement de bancs monastiques tout autour de la salle. De même, il est aujourd'hui possible de formuler des hypothèses sur les différentes transformations effectuées depuis le xe siècle, aussi bien du point de vue de l'évolution du plan que de la position de la salle dans le monastère. Bâtiment essentiel dans l'organisation du claustrum clunisien, la salle capitulaire constitue également un organe d'articulation entre le cloître et la chapelle Sainte-Marie...
La cinquième campagne s'est déroulée du 8 mai au 13 juin et du 14 au 19 juillet 2010. Elle a permis l'achèvement de la fouille du secteur funéraire au chevet de l'église, au terme de quatre chantiers successifs 1. Nous avons également ouvert deux larges sondages au sud et au nord de l'église - sur la base des résultats de la prospection géophysique réalisée au mois de février 2010 - et débuté la fouille de l'abside centrale de l'église Saint-Pierre. Dans ce secteur, les principales interrogations concernent la datation de la grande église Saint-Pierre et ses origines. C'est sur cette dernière question que la " redécouverte " d'un ex-voto lapidaire, croisée à l'analyse archéologique, permet de proposer de nouvelles hypothèses...
Commandée par le Conseil général de la Côte-d'Or, une couverture LIDAR vient d'être acquise sur l'emprise des fortifications césariennes du site d'Alésia. Le relevé de 27 km 2 permettra d'étudier l'ensemble du site archéologique : la zone décrite par Jules César dans le De Bello Gallico. Son exploitation s'intègre dans une étude sur les données spatiales du site et sa dynamique d'occupation.
Les prospections géophysiques, électriques et surtout magnétiques, réalisées à partir de 2008 dans le cadre du programme « sanctuaires d’Alésia », ont permis d’étudier le rapport entre les différents lieux de culte et la trame urbaine, de découvrir de nouveaux temples, de recaler plus précisément ceux qui n’étaient connus que par la photographie aérienne. À partir de ces nouvelles données, un double plan de synthèse a été réalisé. Le premier propose une interprétation technique, le second une interprétation structurelle et archéologique de l’agglomération. L’apport des prospections et des fouilles récentes (celles des sanctuaires de la Croix Saint-Charles et d’En Surelot) jette – entre autres – une nouvelle lumière sur les phases précoces du sanctuaire d’Apollon Moritasgus en rapport avec les débuts de l’agglomération (de La Tène finale à l’époque julio-claudienne), mais révèle également l’existence d’un vaste espace vide, de 5 ha, au lieu-dit En Surelot. Cette esplanade est bordée de lieux de culte qui pourraient constituer un « quartier religieux » comme on en connaît d’autres en Gaule romaine.

Thanks to geophysical, electric and especially magnetic survey, carried out since 2008 within the programme "Sanctuaires d’Alésia", it has been possible to study the link between the different cult sites and the urban grid/network, to find new temples and to settle more precisely those which were only known by aerial photography. From these new data, a double synthesis plan has been drawn. The first one gives a technical interpretation, the second one a structural and archaeological interpretation of the agglomeration. The contribution of survey and of recent excavations (temples at la Croix Saint-Charles and at En Surelot) highlights the early phases of Apollo Moritasgus’s sanctuary in connection with the beginnings of the agglomeration (from Late La Tene to the Julio-Claudian period) but also the existence of a vast empty space, 5 ha long, at En Surelot. This area is lined with cult buildings that may constitute a "religious quarter" the type of which is already known in Roman Gaul.
L 'APPROVISIONNEMENT en eau durant le siège d'Alésia a été instrumentalisé depuis qu'est née la controverse sur la localisation du site. Tous les détracteurs l'ont abordé à charge contre les assiégés, en s'en tenant à une analyse succincte et orientée, et en méconnaissance totale de la situation. Sur un site aussi vaste, qui englobe le Mont-Auxois, deux vallées, les plateaux alentours et une plaine, une question aussi cruciale demande à être envisagée de manière globale et pluridisciplinaire. Le débat se pose dans des termes bien définis. Quelle était la contrainte hydrogéologique* lors du siège de 52 av. J.-C. ? Le site d'Alise-Sainte-Reine at -il pu répondre aux besoins d'une population confinée dans des conditions extrêmes sur l'oppidum, mais aussi à ceux de l'assiégeant, sans doute plus nombreux et lui aussi soumis au confinement au moins pendant les derniers jours du siège ?
Le travail collectif réalisé depuis 2001 dans le cadre d'un PCR sur la fin du Néolithique et le début de l'âge du Bronze dans le Centre Nord de la France aboutit aujourd'hui à une nouvelle périodisation en huit étapes de l'intervalle compris entre 3600 et 1800 avant J.-C. Bien que certaines lacunes subsistent, en particulier pour les transitions entre le Néolithique moyen et le Néolithique récent d'une part et entre le Néolithique récent et le Néolithique final d'autre part, ce cadre chronologique plus précis permet de synchroniser les principales étapes du Centre Nord de la France avec celles des régions voisines, pour proposer une vision plus dynamique des phénomènes culturels.

The collective work carried out since 2001 within the framework of a Programme Collectif de Recherche (PCR) on the Late Neolithic and the beginning of the Bronze Age in the central part of northern France leads today to a new periodisation in 8 stages for the period between 3600 and 1800 BC. Although several gaps remain, particularly for the transitions between the Middle Neolithic and the Late Neolithic on one hand and between the Late Neolithic and the Final Neolithic on the other hand, this more precise chronological frame allows to synchronize the main stages of the central part of northern France with those of the nearby regions, to propose a more dynamic vision of cultural phenomena.
La notion de cellule souche s'applique à une grande diversité de cellules qui ont en commun une position généalogique : ce sont des cellules à partir desquelles sont générées les cellules plus matures. Mais il existe différents types de cellules souches dans différents tissus, à différents stades du développement et dans différentes espèces. Ces cellules souches diffèrent dans leurs capacités fonctionnelles (leur potentiel de diffé-renciation, par exemple), leurs propriétés moléculaires (les gènes qu'elles expriment) et leur phénotype (leurs marqueurs de surface). Cette diversité questionne l'unicité de l'identité souche. Quel type de propriété est la propriété souche 1 ? À travers une analyse critique, portée par une philosophe des sciences et un méde-cin-chercheur en hématologie, nous montrerons que quatre identités souches peuvent être distinguées et examinerons les conséquences de chacune d'entre elles pour le traitement des cancers. En explorant plus spéci-fiquement le système hématopoïétique, nous interroge-rons la stabilité de l'identité de la propriété souche en contexte pathologique. Vignette (Photo © Inserm-Laboratoire de neurobiologie et transgenèse EA 3143). 1 La traduction française du concept de stemness interroge souvent. Le choix du radical-ité (souchéité) indiquerait une caractéristique alors que le radical-itude (souchitude) indiquerait une abstraction. Toutefois, la dérivation par suffixe se fai-sant à partir des adjectifs et non des noms communs, il est plus légitime de traduire stemness par « propriété souche » ou « caractère souche ».
La moelle osseuse est un tissu complexe peuplé par divers types cellulaires. Elle est le siège de l'hématopoïèse, processus selon lequel les cellules souches hématopoïétiques vont mener à la formation des cellules hautement spécialisées du sang. Comme pour tous les tissus des organismes multicellulaires, les CSH sont très rares mais en renouvellement constant ce qui leur permet une production des cellules hématopoïétiques tout au long de la vie de l'individu. Cette longévité est régulée par des facteurs moléculaires intrinsèques dont les facteurs de transcription et les régulateurs épigénétiques. Cependant, ces propriétés intrinsèques sont largement modulées par différents facteurs issus de leur environnement immédiat et produits à la fois par les cellules hématopoïétiques et non hématopoïétiques. En effet, en plus d'être le siège de l'hématopoïèse, la moelle osseuse abrite une multitude de populations cellulaires très diverses de type mésenchymateux, endothélial, myofibroblastique et nerveux formant des territoires où les CSH sont enclavées. Dans ces territoires, les molécules d'adhérence, les cytokines et les chimiokines déterminent la localisation spatiale des CSH qui se répartissent au niveau de structures anatomiques spécialisées appelés « niches ». Certaines de ces niches hébergent préférentiellement des CSH activées tandis que d'autres maintiennent le pool de CSH dans un état de quiescence. Au travers d'interactions cellules-cellules ou cellules-protéines de la matrice extracellulaire, les propriétés d'autorenouvellement et de différentiation peuvent ainsi perdurer tout au long de la vie de l'individu.
La gestion de manuscrits en tant que document numérique n'a jamais été convenablement traitée : images pour certains, documents textuels pour d'autres. Nous proposons une représentation triple : image/scripto-graphique/textuelle qui permet d'exprimer pleinement les spécificités de l'objet manuscrit. Nous montrons comment cette représentation peut être exploitée pour l'analyse et la navigation dans des corpus de manuscrits littéraires modernes.
Nous proposons de simuler les Systèmes d'Information des Smart Grids afin de vali-der/critiquer les choix de modélisation des experts métier. Nous proposons une approche par points de vue selon deux aspects information et dynamique tout en ajoutant un point de vue inté-gration pour le maintien de cohérence. Nous mettons à contribution les techniques l'Ingénierie Dirigée par les Modèles, en particulier la transformation de modèle. Enfin, nous éprouvons notre démarche sur un cas métier Smart Grid.

We propose to simulate the Information Systems of Smart Grids to validate / criticize the modeling choices of domain experts. We propose a viewpoint based approach regarding two aspects : information and dynamics. We add an integration viewpoint to maintain consistency and we use Model Driven Engineering techniques. Finally, we experience our approach on a Smart Grid use case.
La quantité d'information médicale disponible de nos jours et la multitude de sources diverses poussent les utilisateurs à utiliser les ontologies pour des besoins d'interopérabilité sémantique. L'utilisation combinée de plusieurs ontologies est nécessaire de par la taille du domaine médical mais n'est possible qu'à travers la définition de relations sémantiques (ou mappings) entre leurs éléments. Cependant, les connaissances médicales évoluent, ce qui entraîne une révision constante des ontologies et, par conséquent, fragilise la cohérence des mappings ayant pu être établis. Cet article propose une méthode pour identifier les informations décrivant les concepts dans les ontologies sur lesquelles repose la définition des mappings. Cette approche s'appuie sur l'utilisation de la similarité lexicale et est évaluée sur la base des terminologies SNOMED CT, CIM-9 et les mappings officiels existants entre ces deux ressources.
Dans cet article, nous proposons une nouvelle approche semi supervisée de labellisation des événements du réseau électrique français. Après une première labellisation partielle par un système expert, nous utilisons un réseau de neurones siamois pour explorer et étendre les labels sur des données nonlabellisés. En appliquant notre approche aux données du système électrique de la région de Lyon sur l'année 2017, les résultats de la métrique créée par le réseau approchent ceux obtenus sur la DTW et nous ouvrent la possibilité d'extension à de plus gros volumes de données à labelliser, tout en intégrant une expertise opérationnelle.
Les essaims de robots mobiles permettent de réaliser des tâches collaboratives complexes par assemblage de tâches plus simples accomplies individuellement par chaque robot. Néanmoins, leur nature massivement distribuée rend la preuve de correction d’un algorithme très difficile. De plus, il existe de nombreuses variantes du modèle en fonction des capacités de perception des robots, de l’espace et de sa topologie, des hypothèses de synchronisation, etc. Nous proposons Pactole, un cadre formel pour l’assistant à la preuve Coq, dans lequel tous ces modèles peuvent être simultanément exprimés. Nous illustrons ce formalisme sur plusieurs études de cas.
En imagerie TEP, les études multicentriques sont limitées car les mesures effectuées sur les images (SUV et autres index radiomiques) sont sensibles aux protocoles d’acquisition et de reconstruction. Notre but est de valider l’utilisation de la méthode d’harmonisation ComBat afin de supprimer l’« effet centre » dans les études multicentriques rétrospectives.
Le prix Nobel de chimie a été décernée le 3 octobre 2018 pour moitié à Frances H. Arnold (California Institute of technology, Pasadena, États-Unis) et pour l’autre moitié conjointement à Georges P. Smith (University of Missouri, Columbia, États-Unis) et Sir Greg P. Winter (Medical Research Council et Laboratory of molecular Biology, Cambridge, Royaume-Uni). Ces trois chercheurs ont joué un rôle déterminant dans la genèse puis le développement d’un ensemble d’approches originales que l’on regroupe aujourd’hui sous l’expression « évolution dirigée des protéines ».
Cet article décrit une approche d'étude de la diagnosticabilité des défauts d'un système automatique par caractérisation de son comportement observable. Les systèmes automatiques sont des systèmes complexes comprenant une multitude de composants interagissant les uns avec les autres. Des défauts peuvent y apparaitre avec un impact néfaste sur leur environnement ou leur propre intégrité. Il est donc important de compléter ces systèmes de dispositifs de diagnostic permettant de détecter et d'identifier ces défauts, le plus précisément et le plus tôt possible. Ceci nécessite au préalable de s'assurer de la diagnosticabilité des défauts c'est-à-dire de déterminer dès la phase de conception s'ils seront bien détectés et discriminés par le dispositif de diagnostic. Dans ce document, nous présentons une approche permettant d'identifier et d'intégrer des défauts dans un modèle d'un système. Ces modèles sont ensuite exploités pour l'étude de la diagnosticabilité des défauts.
La production, l'importation et la commercialisation d'amiante sont interdites depuis le premier janvier 1997 en France. Cependant, il en reste des millions de tonnes disséminés dans les usines, les im-meubles, les établissements scolaires, ou encore les hôpitaux. Dans cet article nous proposons une méthode de prédiction de présence d'amiante basée sur des données temporelles décrivant la probabilité de présence d'amiante dans des produits commercialisés pour calculer une probabilité d'existence de produits amiantés dans les bâtiments. Pour atteindre notre but, nous proposons une ontologie amiante qui va être peuplée en utilisant les données issues de ressources externes. Ensuite, ces informations sont utilisées pour calculer la probabilité d'amiante pour les éléments constituant un bâtiment donné. Notre approche a été expérimentée sur des données synthétiques décrivant 120 bâtiments en s'ap-puyant sur les 704 produits amiantés de l'INRS et l'ANDEVA.
Les simulations à base d'agents (MABS) ont été utilisées avec succès pour modéliser des systèmes complexes dans de nombreux domaines. Néanmoins, un problème des MABS est que leur complexité augmente avec le nombre d'agents et de types de comportements différents considérés dans les modèles. Pour des systèmes de taille moyenne à grande, il est impossible de valider, voire même d'observer simplement les trajectoires des agents individuels lors d'une simulation. Les approches de validation classiques, où seuls des indicateurs globaux sont calculés, sont trop simplistes pour permettre d'évaluer le modèle de simulation avec un degré de confiance suffisant. Il est alors nécessaire d'introduire des niveaux intermédiaires de validation et d'observation. Dans cet article, nous proposons l'utilisation de la classification automatique de données (clustering) combinée à la caractérisation automatisée de clusters pour construire, décrire et suivre l'évolution de groupes d'agents en simulation. La description de clusters est utilisée pour générer des profils d'agents qui sont réintroduits dans les simulations avec l'objectif d'étudier la stabilité des descriptions et des structures des clusters sur plusieurs simulations et de décider de leur capacité à décrire les phénomènes modélisés. Ces outils permettent au modélisateur d'avoir un point de vue intermédiaire sur l'évolution du modèle. Ils sont suffisamment flexibles pour être appliqués à la fois hors ligne et en ligne comme le montrent les analyses réalisées à la fois sur des simulations Netlogo et sur des logs de simulations.

Multi agent based simulations (MABS) have been successfully exploited to model complex systems in different areas. Nevertheless a pitfall of MABS is that their complexity increases with the number of agents and the number of different types of behaviours considered in the model. For average and large systems it is impossible to validate the trajectories of single agents in a simulation. The classical validation approaches, where only global indicators are evaluated, are too simplistic to give enough confidence on the simulation’s model. It is then necessary to introduce intermediate levels of validation. In this paper we propose the use of data clustering and automated characterization of clusters in order to build, describe and follow the evolution of groups of agents in simulations. The description of clusters is used to generate profiles of agents that are reintroduced in simulations in order to study the stability of the descriptions and structures of clusters over several simulations and decide their capability to describe the modelled phenomena. These tools provides the modeller with an intermediate point of view on the evolution of the model. They are flexible enough to be applied both offline and online, and we illustrate it with both a NetLogo and a CSV-simulation log example.
Nous étudions le protocole de collecte de données du projet ZebraNet, dans le modèle des protocoles de population. Dans ce projet des capteurs sont attachés à une population de zèbres, en Afrique Centrale, et fournissent des données aux biologistes qui étudient leurs structures migratoires et comportementales. Nous montrons qu'un protocole voisin de celui utilisé dans ce projet ne se termine pas. Cela entraîne que le protocole originel ne se termine pas non plus. Aussi proposons nous une modification qui fournit la terminaison. Nous prouvons la correction de ce protocole modifié et nous analysons sa complexité en temps au pire, dans le modèle des protocoles de population avec temps de couverture. La comparaison de cette complexité avec celle du protocole optimal est très défavorable. Le protocole de collecte de données de ZebraNet a fait l'objet de simulations, mais c'est la première fois, à notre connaissance, qu'est réalisée une étude purement analytique.
Le projet de recherche industrielle BWare (ANR-12-INSE-0010) est financé pour 4 ans par le programme " Ingénierie Numérique & Sécurité " (INS) de l'Agence Nationale de la Recherche (ANR) et a débuté en septembre 2012 (voir le site web du projet : http://bware.lri.fr). Le consortium du projet BWare associe les partenaires académiques Cedric, LRI, et Inria, ainsi que les partenaires industriels Mitsubishi Electric R&D Centre Europe (MERCE), ClearSy, et OCamlPro.
Dans cet article, nous étudions l'évolution d'un réseau social dans lequel des agents réalisent des prêts bilatéraux guidés par leurs préférences intertemporelles. Nous étudions l'évolution du graphe et de variables macroéconomiques et montrons notamment que le taux d'intérêt converge malgré une instabilité locale du graphe. Puis nous nous intéressons au bien être global de l'économie dans le cas où les agents disposent d'une stratégie pour déterminer leurs liens sociaux et montrons en particulier, dans le cas ou les agents sont mortels, que la diversité des stratégies conduit à un accroissement du bien être collectif.
Les simulations à base d'agents sont de plus en plus utilisées pour réaliser des études en sciences sociales. Toutefois, peu de méthodolo- gies existent pour guider ces études. De nom- breux problèmes cruciaux restent ouverts, tels que la détermination du nombre de simulations à effectuer ou la validation des résultats obte- nus. Dans cet article, nous décrivons un outil et sa méthode de conception permettant de géné- rer automatiquement de nouvelles simulations jusqu'à ce que les résultats obtenus et analy- sés automatiquement soient statistiquement va- lides. Les interdépendances entre variables sont analysées a l'aide du test du Chi-deux, néces- sitant un minimum d'hypothèses. Le modèle dé- crit est générique et l'outil-application présenté peut être appliqué à n'importe quelle simula- tion utilisant la plateforme RePast. Un exemple d'application à une simulation du marché du travail académique français est présenté.

Multi-agent based simulation (MABS) is increa- singly used for social science studies. However, few methodologies exist. A strong issue is the choice of the number of simulation runs and the validation of the results by statistical methods. In this article, we propose a method to auto- matically generate and run new simulations un- til the results are statistically valid using a chi- square test. The choice of the test conﬁguration allows both a general overview of the variable links and a more speciﬁc independence analysis. We present a generic tool for any RePast-based simulation and apply it on an Academic Labor Market economic simulation.
Le nombre nécessairement limité de données ne permet pas de distinguer sûrement entre les régularités réelles et les régularités accidentelles lorsque les données sont décrites par un grand nombre d’attributs. Nous présentons ici une méthode radicalement nouvelle de recodage des données qui consiste à chercher des motifs fréquents (avec un taux de couver- ture faible) dans les données et à les utiliser pour coder les entrées. Cette méthode a été testée dans le cadre d’une application de classification de scènes naturelles. Une partie des images disponibles a été utilisée pour identifier 1000 motifs fréquents, grâce à un algorithme spéciale- ment adapté. Ces motifs ont ensuite été employés pour coder les images. La classification des images restantes a alors été réalisée par une méthode de classification par plus proches voisins. Les résultats obtenus sur cette tâche sont très nettement supérieurs à ceux obtenus jusque là par une méthode neuronale à base de fonctions radiales.
L'analyse sémantique latente (LSA - Latent Semantic Analysis) est une méthode statistique qui peut être utilisée pour des tâches de classification de textes. La quantité des données textuelles (taille des documents à classer) est souvent un critère déterminant pour de telles tâches. Ainsi, cet article propose une méthode d'expansion des phrases des textes afin d'enrichir les données textuelles et améliorer les méthodes de classification. Les résultats expérimentaux obtenus à partir d'un corpus de dépêches d'actualité ont permis de caractériser les types de textes pour lesquels notre méthode améliore LSA.
Dans cet article, nous présentons le système MatrixEx-plorer destiné à explorer des réseaux sociaux. Il a été conçu pour des chercheurs en sciences sociales – socio-logues et historiens – et propose une démarche itérative reposant sur des vues multiples. MatrixExplorer est issu d'interviews avec des cher-cheurs et d'une session de conception participative qui ont permis de mettre en évidence des besoins tant en ce qui concerne les visualisations souhaitées que le proces-sus d'exploration. MatrixExplorer fournit deux repré-sentations pour les graphes : matricielle et en nœuds et liens. L'exploration part de la représentation matricielle qui reste toujours exploitable et offre une démarche ité-rative qui permet de filtrer et organiser le graphe afin d'en dégager une structure et une abstraction qui peut éventuellement se visualiser convenablement sous forme de nœuds et liens.
Nous présentons une expérience qui vise à certifier un compilateur de manière la plus automatique possible. Nous avons mené cette expérience en utilisant l'environnement de preuve de programme Why3, ce qui nous permet de décharger les obligations de preuve à l'aide de prouveurs, notamment automatiques. Nous avons étudié deux approches différentes. La première, une approche directe, s'est montrée peu satisfaisante car très manuelle. Si l'on voit la preuve d'un compilateur comme la vérification que le code généré satisfait une spécification (dérivée du code source), on peut ramener la correction du compilateur à la correction du code qu'il produit. Notre deuxième approche consiste donc à exploiter des méthodes de preuve de programmes, proches de celles employées par Why3 lui-même, au niveau du code généré. Une telle méthode rend la preuve du compilateur quasi-automatique.
Nous proposons dans cette étude des méthodes d'optimisation efficaces pour la recherche de valeurs de seuils dans une file d'attente multi-serveur hystérésis. Il s'agit de minimiser un coût global prenant en compte les performances et l'utilisation des ressources et se calculant comme une fonction de coût sur la distribution stationnaire. Ce coût global étant une fonction non convexe, la recherche de la valeur optimale est complexe. Nous proposons deux types de méthodes d'optimisation : l'une est basée sur des heuristiques, couplées à de l'agrégation de chaînes de Markov pour réduire les temps d'exécution et l'autre est une méta-heuristique plus précisément le recuit simulé
La stratégie pour un marché unique numérique, adoptée par la Commission européenne le 6 mai 2015, a annoncé une initiative législative sur des règles harmonisées applicables à la fourniture de contenus numériques et à la vente en ligne de biens afin d'appréhender l'évolution des modes de communication de ces nouveaux services. Dans ce contexte, la proposition de directive " sur certains aspects des contrats de fourniture de contenu numérique " du 9 décembre 2015 a notamment pour objectif de permettre, en cas de résiliation du contrat, aux consommateurs de pouvoir récupérer les données fournies et produites par suite de l'utilisation d'un contenu numérique. Au regard des réformes issues du règlement général sur la protection des données et de la loi pour une République numérique, tous deux adoptés cette année, il semble que cette proposition de directive consacre un nouveau droit à la portabilité des données (I) dont la portée mérite d'être explicitée (II).
Ce texte est un document de travail qui, à partir d'une recherche en cours sur la restauration des enregistrements sonores , se concentrera sur un aspect de celle-ci, à savoir le transfert de support. Nous procéderons par comparaison avec le domaine de la restauration en peinture, non pour y trouver une ressource normative mais pour tenter d'en faire émerger la spécificité du domaine sonore. Étant un domaine établi et institué, la restauration des peintures offre ainsi un écart, qui peut faire office de révélateur, avec la restauration du son.
De nouvelles médecines alternatives, regroupées sous l’appellation « décodage biologique », reposent sur une conception psychosomatique du cancer. Elles sont apparues en Europe dans les années 1990. Dans une perspective critique, l’article tente de comprendre la diffusion de ces nouvelles thérapies. S’inspirant du travail de D. Fassin sur les réseaux de l’ethnopsychiatrie, il analyse la construction d’une légitimation du décodage biologique et de ses praticiens, en décrivant les réseaux qui diffusent les théories et favorisent l’adoption de la pratique. L’article montre l’enracinement de ces nouvelles thérapies dans des représentations sociales et des modèles culturels de l’étiologie du cancer et du “faire face” à la maladie qui permettent ou renforcent l’adoption et l’appropriation de la pensée psychosomatique alternative.

New alternative therapy called « bio-decoding » based on a psychosomatic perception of cancer appeared in the 1990s. Using a critical approach, the article aims to understand the therapy’s growth. Drawing on D. Fassin’s work about ethnopsychiatric networks, this paper analyses the construction of bio-decoding and bio-therapist legitimacy, by unravelling the networks which allow for theory dissemination and enable the practice’s growth. The article shows that these new therapies are deeply rooted in social and cultural models of cancer etiology and coping, which allow or reinforce approval and appropriation of alternative psychosomatic thought.
La notion de liang, commune aux langues tai, renvoie à une multiplicité de pratiques : nourrir, élever des animaux et des enfants, adopter, prendre soin de ses parents âgés et rendre un culte. Dans un premier temps, cet article propose d’explorer dans le contexte d’un village de riziculteurs t’ai dam du Nord Laos, le champ sémantique et les différentes pratiques auxquelles renvoie cette notion. Qu’il s’agisse des animaux, des humains ou des esprits, d’élevage, de soin ou de culte, liang implique toujours l’institution et le maintien d’une relation fondée sur le don, réel ou symbolique, de nourriture et appelant une certaine forme de réciprocité. La deuxième partie de l’article, consacré à trois études de cas relatant la difficulté à concevoir et à garder en vie des enfants, montrera que liang relève à la fois d’une aptitude, donnée ou acquise, et d’une valeur qui sont essentielles à la reproduction et bon déroulement du cycle de vie.

The notion of liang, common to all tai languages, denotes a multiplicity of practices : feeding, raising animals and children, adopting, taking care of one’s elders, worshiping spirits. Firstly, this article proposes to explore, in the context if a rice-growing t’ai dam village of Northern Laos, the semantic field and variety of practices concerned by this notion. Whichever the beneficiary (animal, human or spirit) and whatever the action (raising, taking care or worshiping), liang always imply the initiation and the preservation of a relationship founded on the gift, real of symbolic, of food. Besides, it requires one sort of another of reciprocity. The second part of the article will be devoted to three case studies narrating difficulties encountered in the conception and raising of children. It will show that liang is all at once a given or achieved aptitude and a value essential to the reproduction and to the continuation of the life cycle.
À partir d’une enquête par entretiens menée en 2010 auprès de trente-trois pères séparés ou divorcés, cet article interroge sous l’angle du genre la redéfinition des rôles parentaux, dans le contexte de la résidence quotidienne au domicile paternel et de la résidence alternée. À partir d’un groupe socialement très diversifié, il montre que ces formes d’organisation résidentielle conduisent dans tous les milieux à la reformulation de la paternité. Ces situations font cependant l’objet d’interprétations socialement différenciées au regard de la notion de coparentalité, construisant d’un côté une paternité solitaire associée à la disqualification de la maternité, de l’autre une relation plus égalitaire, actualisable dans la résidence alternée.

Basedon 33 interviews with separated and divorced fathers, realised in 2010, this article interrogates the gendered redefinitions of the parental roles, in the context of the daily residence in father’s house, and in the context of shared residence. From a very socially diversified group, it shows that these forms of residential organization lead in all social classes to the reformulation of fatherhood. However, these situations are differently related to the notion of “shared parenting” showing on one side a solitary fatherhood associated with a disqualified motherhood, and on the other a more egalitarian relation, occurring more often in shared residence