Search

National audience

Après avoir brièvement rappelé la place de la terminologie, à la fois dans les politiques linguistiques, dans le processus de traduction, dans l’évolution des métiers et dans les formations, les éditeurs scientifiques du présent ouvrage présentent les chapitres qu’il contient, répartis en trois parties : « La terminologie dans le monde », « La terminologie dans les centres de formation », « La terminologie dans la profession ».

L’acquisition du lexique d'une langue étrangère passe par l’usage d’un dictionnaire bilingue d'encodage , où l’usager trouvera tous les mots de la langue cible, dont beaucoup exigent, outre une traduction, une description des situations d'emploi. Les dictionnaires hébreu-français souffrent de l’absence de nombreuses unités lexicales de ce genre, problème illustré ici à travers peu /un peu et quelques /plusieurs, à orientation argumentative, et le connecteur pragmatique décidément., In order to learn the vocabulary of a foreign language, the user needs a bilingual dictionary aiming at encoding, where he can find all the words of the target language, some of which need, not only a translation, but also a description ofthe situation in which they should be used. In Hebrew-French dictionaries, many of these lexical items are lacking.This problem is discussed here through peu /un peu, with an argumentative orientation, and quelques /plusieurs, and the pragmatic connector décidément.

This study, as part of the validation of a french Master "Métiers de l’Enseignement, de l’Éducation et de la Formation" 1st degree, deals with the benefits of a teaching/learning encoding device based on verbalisation of strategies through peer-to-peer and student-teacher interactions, on CP pupils’ encoding learning. The objective is to analyse these interactions by identifying what would allow students to progress in learning the alphabetic code. Through my theoretical research, I was able to identify various results regarding teaching/learning encoding in class of CP (teaching practices / student performance), as well as various strategies that students use to encode. Finally, research studies on the role of interactions in school have helped to build this reflection. On this basis, the four stages of my research device were implemented and brought convincing results about the importance of interactions between peers and with the teacher to develop encoding skills.; Cette recherche, dans le cadre de la validation d’un Master « Métiers de l’Enseignement, de l’Éducation et de la Formation » 1er degré, porte sur l’intérêt d’un dispositif d’enseignement-apprentissage de l’encodage faisant appel à la verbalisation de stratégies par l’intermédiaire d’interactions entre pairs et entre l’enseignant et l’élève sur les apprentissages en encodage des élèves de cours préparatoire. L’objectif étant d’analyser ces interactions en identifiant ce qui permettrait aux élèves de progresser dans l’apprentissage du code alphabétique. À travers mes recherches théoriques, j’ai pu recenser divers résultats sur la place de l’enseignement-apprentissage de l’encodage au cours préparatoire (pratiques des enseignants, performances des élèves), ainsi que divers stratégies que les élèves utilisent pour encoder. Enfin, des recherches sur le rôle des interactions à l’école m’ont également aidée à construire cette réflexion. À partir de cela, les quatre étapes de mon dispositif de recherche ont été mises en place et m’ont apporté des résultats convaincants sur l’importance des interactions entre pairs et avec l’enseignant pour développer des compétences en encodage.

Le présent article décrit le projet d’édition électronique d’un ensemble de gloses universitaires du xiiie siècle copiées autour des traités d’Aristote sur la nature dans leurs premières traductions arabo et gréco-latines. Aucune édition de référence n’a pu être réalisée sur ce corpus, bien que des éditions partielles aient été faites. D’un autre côté, les éditions de gloses en général, qu’elles soient sous format papier ou électronique, répondent de diverses manières aux attentes du lecteur : restitution de la complexité de la tradition manuscrite et du lien entre les gloses et le texte, facilité de lecture des gloses marginales et interlinéaires en séquence avec le texte. L’encodage en XML-TEI permet de rendre compte de ces aspects et de produire, via des feuilles de transformation XSLT, une sortie vers les formats papier et électronique, ce dernier autorisant de nouveaux modes de consultation des éditions de sources anciennes. À travers la création d’outils et de méthodologies d’encodage et de transformation, le projet vise la constitution d’un pôle de ressources pour l’édition scientifique. The present paper describes a project aiming at editing University glosses of the thirteenth century copied around the Aristotelian treatises on nature. No reference edition of this corpus has been carried out. Furthermore, editions of glosses in paper or electronic form do not always meet the reader’s needs, among which the rendition of complex manuscript traditions and of the link between the glosses and the text, or a simplified interface for reading the text and the marginal and interlinear glosses sequentially. XML-TEI encoding allows to render these features and to produce outputs to paper and electronic formats, thanks to XSLT transformation sheets. The electronic format enables the editions of ancient sources to be read in new ways. Through the creation of encoding and transforming tools and methodologies, the project seeks the constitution of a resource center for scientific edition.

International audience

Cet article propose une analyse de la « diaspora de Stuart Hall » à partir des propres concepts forgés par le sociologue. Il cherche à travers le modèle du encoding-decoding (codage-décodage) à explorer les significations de la formation diasporique caribéenne et les positionnements théoriques de Stuart Hall. La première partie est consacrée à une comparaison de l’usage de la diaspora au sein des espaces académiques français et britannique en prenant appui sur deux textes exemplaires pour montrer l’hégémonie des normes discursives qui prévalent dans chacun de ces espaces. La « diaspora de Stuart Hall » apparaît alors dépendante de l’historicité des codes qui ont vu le basculement dans le paradigme postmoderne. La seconde partie s’intéresse aux marges depuis lesquelles Stuart Hall a reconfiguré ce basculement avec une « articulation » de son positionnement à la normativité académique et qui mettent au jour autant sa posture théorique critique vis-à-vis du postmodernisme que l’express. This article analyzes “Stuart Hall’s diaspora” using concepts formulated by the sociologist himself. Through the model of “encoding-decoding”, it explores the meanings of the Caribbean diasporic formations and the theoretical positioning of Stuart Hall. The first part adopts a comparative approach on the usages of diaspora within the French and British academic circles, relying on two exemplary texts to demonstrate the hegemony of discursive norms prevalent in each of these spheres. The “diaspora of Stuart Hall” seems to depend on the historicity of codes that witnessed the shift in the post-modern paradigm. The second part is on the margins from which Stuart Hall reconfigured this shift with an “articulation” of his positioning to academic normativity. These margins also bring to light his critical theoretical posture vis-à-vis postmodernism, as well as the unusual expression of his personal motivation that led to the adoption of a discursive approach to diaspora.

International audience; The authors aim to achieve a complete digital edition of the Greek manuscript XI.1 of the Biblioteca Marciana in Venice (= coll. 452). The first step was to identify as precisely as possible all the texts that appear in the various anthologies and compilations contained in this 14th-century school manuscript. Several of the anthologies are accompanied by grammatical and lexical scholia, known by a well-identified manuscript tradition and mostly used for the elaboration of a lexicon of Attic words. The difficulty of encoding this document in TEI-XML lies in the choice of the tags considered the most appropriate, since in TEI-XML scholia are considered as additions to the text, whereas here they seem to be a central element of the transmitted teaching. The authors propose a schema that allowed them to encode literary texts and scholia in an equivalent way but linked together, with unique identifiers.; Le manuscrit grec XI, 1 de la Biblioteca Marciana de Venise (= coll. 452) fait l’objet d’une édition numérique complète par les auteurs de cet article. La première étape a consisté à référencer aussi finement que possible tous les textes qui composent les diverses anthologies et compilations contenues dans ce manuscrit scolaire du xive siècle. Plusieurs des anthologies sont accompagnées de scholies grammaticales et lexicales, connues par une tradition manuscrite bien identifiée et largement remployée pour l’élaboration d’un lexique de mots attiques. La difficulté de l’encodage en TEI-XML a résidé dans le choix des balises jugées les plus appropriées, étant donné que les scholies sont considérées en TEI-XML comme des adjonctions au texte alors qu’elles apparaissent ici comme un élément central de l’enseignement transmis. Les auteurs proposent donc un schéma qui leur a permis d’encoder textes littéraires et scholies de manière équivalente, mais reliés entre eux, avec des identifiants uniques.

International audience; The authors aim to achieve a complete digital edition of the Greek manuscript XI.1 of the Biblioteca Marciana in Venice (= coll. 452). The first step was to identify as precisely as possible all the texts that appear in the various anthologies and compilations contained in this 14th-century school manuscript. Several of the anthologies are accompanied by grammatical and lexical scholia, known by a well-identified manuscript tradition and mostly used for the elaboration of a lexicon of Attic words. The difficulty of encoding this document in TEI-XML lies in the choice of the tags considered the most appropriate, since in TEI-XML scholia are considered as additions to the text, whereas here they seem to be a central element of the transmitted teaching. The authors propose a schema that allowed them to encode literary texts and scholia in an equivalent way but linked together, with unique identifiers.; Le manuscrit grec XI, 1 de la Biblioteca Marciana de Venise (= coll. 452) fait l’objet d’une édition numérique complète par les auteurs de cet article. La première étape a consisté à référencer aussi finement que possible tous les textes qui composent les diverses anthologies et compilations contenues dans ce manuscrit scolaire du xive siècle. Plusieurs des anthologies sont accompagnées de scholies grammaticales et lexicales, connues par une tradition manuscrite bien identifiée et largement remployée pour l’élaboration d’un lexique de mots attiques. La difficulté de l’encodage en TEI-XML a résidé dans le choix des balises jugées les plus appropriées, étant donné que les scholies sont considérées en TEI-XML comme des adjonctions au texte alors qu’elles apparaissent ici comme un élément central de l’enseignement transmis. Les auteurs proposent donc un schéma qui leur a permis d’encoder textes littéraires et scholies de manière équivalente, mais reliés entre eux, avec des identifiants uniques.

Cet article souligne l’importance de l’approche « gestion des connaissances » dans la numérisation du patrimoine culturel. Nous présentons un système hybride pour l’automatisation du cycle de collecte et de stockage d’informations et de connaissances pour les recherches futures. Ce système composé de plusieurs modules permet le recueil d’informations à partir d’un dictaphone en respectant un système descriptif défini, la transcription automatique de l’oral vers le texte, l’analyse linguistique, l’extraction d’informations et, enfin, le peuplement semi-automatique d’une ontologie de domaine selon un modèle conceptuel prédéfini. L’utilisation d’une extension ontologique est également présentée dans une application basée sur une architecture XML pour valoriser le patrimoine culturel dans le domaine de l’épigraphie grecque et latine. This article highlights the importance of a knowledge management approach for the digitization of cultural heritage. We present a hybrid system automatizing the cycle of information and knowledge collecting and storing for future research. This system is composed of several modules, and enables to gather information from a dictaphone according to a specified descriptive system, automatically transcribe oral information, perform linguistic analysis and information extraction, as well as semi-automatically populate a domain ontology in accordance with a predefined conceptual model. The use of an ontological extension is also presented, through an application based on an XML architecture to valorize cultural heritage in the field of Greek and Latin epigraphy.

The etymological dictionary of the French language by Walther von Wartburg, entitled Französisches Etymologisches Wörterbuch (FEW), is being digitalized. Its 25 volumes spread over 16,000 pages are currently being typed and tagged with semantical XML language using a series of algorithms, in order to create a computerized FEW, able to interact with several external resources. However, the encoding and the display of the data requires appropriate fonts to typeset the whole dictionary, including a series of specific characters for phonetic transcriptions.The purpose of this thesis is to study the material realization of the FEW, and more specifically its typography, starting from the publication of the first articles in 1922 up to their current circulation as an exclusively digital content. The study is based on an analysis of the evolution of the dictionary's layout, taking into account lexicographical but also technical changes. This analysis is completed by a study of a selection of other dictionaries whose typesetting is remarkable. This thesis hence contributes to highlighting the extent to which the FEW is a unique lexicographic object.The concrete result of this thesis consists in a typeface family tailored to the needs of FEW users. These fonts are implemented in two interfaces: the first one is used by FEW editors to structure and write new articles, the second one enables users to consult and interact with the database of the computerized FEW.The result of a collaboration between linguists, computer scientists and designers, this thesis proposes a new model for integrating typographic design within digital humanities; Le dictionnaire étymologique du français de Walther von Wartburg, le Französisches Etymologisches Wörterbuch (FEW), est en cours d’informatisation. Ses 25 volumes, répartis sur plus de 16000 pages, sont saisis puis jalonnés de balises sémantiques XML par une série d’algorithmes afin de permettre la mise en place d’un FEW électronique et son interaction avec différentes ressources extérieures. Or, l’encodage des données saisies ainsi que leur affichage dépendent directement de polices de caractères qui soient en mesure de formater l’ensemble du contenu du FEW, notamment une série de caractères inédits utilisés pour la notation de transcriptions phonétiques.L’objet de cette thèse consiste dans l’étude de la réalisation matérielle du FEW, en particulier sa typographie, des premières publications d’articles en 1922 jusqu’à leur diffusion actuelle sous une forme uniquement numérique. L’étude s’appuie pour cela sur une analyse des évolutions de la présentation du dictionnaire en abordant ses changements, d’ordre lexicographique mais aussi technique. Cette analyse est complétée par l’observation d’une série d’autres dictionnaires dont la mise en forme typographique est remarquable. La thèse participe ainsi à mettre en évidence la manière dont le FEW est un objet lexicographique unique.Le résultat concret de la thèse correspond à la création d’une famille de caractères adaptée aux usages du FEW. Ces polices sont exploitées au sein de deux interfaces: la première accompagne les rédacteurs du FEW lors de l’élaboration de nouveaux articles, la seconde permet aux utilisateurs de consulter et d’interagir avec la base de données du FEW informatisé. Issue d’une collaboration entre linguistes, informaticiens et designers, cette thèse propose un modèle d’intégration du design typographique au sein des humanités numériques

Nous avons constaté que les élèves-professeurs de l’École Normale Supérieure de l’université de Maroua (Cameroun) transformaient la langue française pour se l’approprier et élaborer un sociolecte qui les identifiait. Dans cet article, nous démontrerons que les mots et expressions du français subissent des déviations lexico-sémantiques validées par des procédés linguistiques. L’analyse des différents procédés d’encodage, notamment les figures de style, nous a permis d’identifier des expressions idiomatiques dont l’expressivité réside dans leur association à un sens figuré fortement contextualisé. Pour y parvenir, nous avons effectué la collecte des données en nous conformant au protocole sociolinguistique d’enquête fondé sur l’observation directe et l’observation interactive d’un échantillon du groupe-cible. We have noticed that the students-teachers of the Higher Teacher’s Training College of the University of Maroua (Cameroon) have transformed the French language to appropriate it and work out a sociolecte which identifies them. In this article, we will show that French words and expressions undergo lexico-semantic deviations validated by linguistic processes. Analysis of different encoding techniques, mainly figures of speech, has allowed us to identify idioms whose expressiveness lies in their association with a highly contextualized figurative meaning. In order to achieve our objective, we have gathered data, relying on a sociolinguistic protocol of inquiry based on direct observation of a sample which represents the target-group.

International audience; En vieillissant nos ordinateurs perdent la mémoire. Ils ont beau RAMer, ils oublient.Nos informations, nos données, nos souvenirs sont maintenant stockés sous la forme de bits et peut-être demain de qbits sur des supports dématérialisés locaux ou dans la nébuleuse du cloud. Cette mémoire de demain est fragile et labile, elle s’évanouit au fil du temps et nous ne pouvons plus la relire, prisonniers de la technologie. La question se pose au niveau des États, mais aussi des individus et des familles, comment ce patrimoine peut-il être conservé et transmis ?Pour comprendre ce phénomène, nous reviendrons sur la technologie et ses failles et nous essaierons de faire un tour dans un futur possible peuplé de qbits, de quartz ou d’ADN.

International audience; Dans De fluviis du pseudo-Plutarque, chaque notice est constituée suivant un ordre strict quicorrespond à une grille textuelle sur laquelle l’ensemble du traité a été composé, ce qui en faitun traité mythographique qui ne ressemble formellement à aucun autre. Au contraire, leregroupement des notices semble obéir au hasard : la liste des noms de fleuves ou de régions,qui peut servir de table des matières, ne s’explique par aucune logique, qu’elle soitgéographique ou alphabétique. La communication se donne donc pour objectifs d’évaluer latension à l’œuvre dans le De fluviis entre ordre interne et désordre externe, et de nuancercette tension en faisant intervenir des principes d’organisation typographiquescaractéristiques de l’Antiquité.

Alors que, le 29 mai 1913, le public du tout nouveau théâtre des Champs-Élysées se déchaîne à la première du Sacre du printemps, Proust est probablement chez lui, en train de corriger les placards d’un premier volume qui a failli s’appeler « Le Temps perdu » ou encore « Charles Swann ». L’année suivante, il se flattera, sous couvert d’anonymat, qu’un même critique ait pu distinguer à la fois le Sacre et Du côté de chez Swann, qu’il définit comme faisant partie des « plus curieuses productions...

International audience; Les recherches et les fouilles de la ville antique de Caesarea de Maurétanie, actuelle Cherchel (Algérie), ont produit une documentation considérable qui est aujourd’hui partiellement conservée au Centre Camille Jullian. Ce fonds composé de notes, photographies, relevés, plans, cartes commentées, a fait l’objet d’un inventaire. Grâce à des financements du programme MASA, l’intégralité des négatifs photographiques a pu être numérisée afin de permettre sa valorisation, sa réexploitation et sa conservation. La partie du fonds illustrant l’épigraphie a fait l’objet d’un traitement particulier car elle est actuellement utilisée dans le cadre de la publication du corpus des inscriptions de Cherchel. Après leur indexation et leur archivage dans la photothèque du laboratoire, les clichés constituent l’illustration d’une base de données de recherche construite en accompagnement de l’opération éditoriale. Ce système d’information répond au besoin de gestion et de collecte des données des chercheurs qui travaillent sur le projet, ainsi qu’aux nécessités de questionnement des informations. Une deuxième étape du projet est actuellement engagée pour encoder l’ensemble des données sur les inscriptions avec EpiDoc, sous-ensemble de la TEI.

International audience; Successful dictation of pseudowords depends on proficiency in phonemes-to-graphemes mappings and on the proximity between encoding and testing phases. Reading aloud fosters spelling shapes storage and can help encoding even if its visual character shifts it away from dictation context and processes. However, copying could be a more efficient encoding because of its visual-graphomotor features. This study aims at analyzing both encodings on writing pseudowords under dictation with First Graders at the beginning of the academic year (G1) and Second Graders at the end (G2). Participants wrote simple pseudowords without encoding (T0), after reading aloud (T1), after copying (T2). Second Graders produced also complex pseudowords under T1 and T2. Success ratio, writing durations, number and duration of pauses have been analyzed. Dominance of copying over reading appears only in G2: it seems to be related to a minimal proficiency in phonemes-to-graphemes mappings and to the freeing up of cognitive resources from graphomotor processes in G1 to enhance the orthographic ones.; Les dictées réussies de pseudomots dépendent de conversions phonographémiques maitrisées mais aussi de phases de test et d'encodage proches. La lecture, quoiqu'éloignée du contexte et des processus de la dictée, favorise la mémorisation de formes orthographiques. Toutefois, la copie, encodage visuo-graphomoteur, pourrait être plus efficace. Cette étude vise à analyser l'effet des deux encodages sur les dictées de deux groupes d'apprenants d'école élémentaire, en début de première année (G1) et en fin de deuxième année (G2). Des pseudomots simples ont été produits sans encodage (T0), après lecture oralisée (T1), après copie (T2). Des pseudomots complexes ont aussi été proposés en G2 sous T1 et T2. Ont été analysés réussite, durées d'écriture, nombre et durées des pauses. La supériorité de T2 sur T1 n'apparait qu'en G2 : elle semble soumise à une maitrise minimale des correspondances phonographémiques et à une libération importante, au profit des traitements orthographiques, des ressources cognitives accaparées par les traitements graphomoteurs en G1.

Introduit par Novak (1979), la notion de carte conceptuelle a rencontré un important succès dans les milieux de l’éducation. En dépit de cette popularité, il existe en psychologie assez peu d’études expérimentales sur le sujet. L’étude de Grimaldi, Poston et Karpicke (2015) s’intéresse aux processus d’encodage impliqué par la tâche d’élaboration de la carte conceptuelle. La nature organisationnelle de la tâche suppose un processus de mise en relation dans lequel les apprenants doivent évaluer les relations existant entre chacun des concepts considérés. Selon les promoteurs de ce type d’approche pédagogique, cette mise en relation constitue la principale explication de l’effet facilitateur des cartes conceptuelles dans l’apprentissage (Fraser, 1993; Novak et Canas, 2006).

Atelier SIIM 2015, Rennes, 29 Juin 2015 - En conjonction avec la conférence Ingénierie des Connaissances, Plateforme Intelligence Artificielle 2015; International audience; L'analyse des forums de santé est un enjeu important car ces espaces particuliers de discussions abordent, de façon novatrice, la connaissance médicale et le ressenti des patients. L'enjeu consiste également à proposer des outils facilitateurs pour contextualiser l'accès aux informations du forum en prenant en compte différents profils utilisateurs. Mais avant de tester quels indices caractérisant les discussions contenues dans les forums nous permettront de proposer ces outils avancés, nous avons besoin d'un cadre de référence pour re présenter tant les informations directement contenues dans les forums que celles que nous pouvons déduire de leur analyse. Nous présentons ici le travail effectué pour élaborer ce cadre de référence s'appuyant sur les recommandations TEI (text encoding initiative). Les pages web des forums sont standardisées sous forme de documents XML et associées à des fichiers d'annotations contenant les indices émotionnels, discursifs, contextuels retenus. Enfin, nous abordons les perspectives qu'offrent ces travaux.

Certains élèves du cycle 2 présentent des difficultés persistantes dans les apprentissages de la lecture et de l’écriture. Lire et écrire sont deux apprentissages fondamentaux interdisciplinaires. Comment l’écriture pourrait être au service de la lecture ? Cette entrée plus active pourrait-elle répondre aux besoins éducatifs particuliers de ces élèves ? Quelles pourraient être les aides, les adaptations à apporter afin de les amener à franchir les obstacles d’entrée dans la langue écrite ?

International audience

International audience

Power consumption for Systems-on-Chip induces strong constraints on their design. Power consumption affects the system reliability, cooling cost, and battery lifetime for Systems-on-Chips powered by battery. With the pace of semiconductor technology, power optimization has become a tremendous challenging issue together with Silicon area and/or performance optimization, especially for mobile applications. Video codec chips are used in various applications ranging for video conferencing, security and monitoring systems, but also entertainment applications. To meet the performance and power consumptions constraints encountered for mobile applications, video codecs are favorably preferred to be implemented in hardware rather than in software. This hardware implementation will lead to better power efficiency and real-time requirements. Nowadays, one of the most efficient standards for video applications is the H.264 Advanced Video Coding (H.264/AVC) which provides better video quality at a lower bit-rate than the previous standards. To bring the standard into commercial products, especially for hand-held devices, designers need to apply design approaches dedicated to low-power circuits. They also need to implement mechanisms to control the circuit power consumption. This PhD thesis is conducted in the framework of the VENGME H.264/AVC hardware encoder design. The platform is split in several modules and the VENGME Entropy Coder and bytestream Network Abstraction Layer data packer (EC-NAL) module has been designed during this PhD thesis, taking into account and combining several state-of-the-art solutions to minimise the power consumption. From simulation results, it has been seen that the EC-NAL module presents better power figures than the already published solutions. Then, the VENGME H.264 encoder architecture has been analyzed and power estimations at RTL level have been performed to extract the platform power figures. Then, from these power figures, it has been decided to implement power control on the EC-NAL module. This latter contains a FIFO whose level can be controlled via an appropriate scaling of the clock frequency on the NAL side, which leads to the implementation of a Dynamic Frequency Scaling (DFS) approach based on the control of the FIFO occupancy level. The control law has been implemented in hardware (full-custom) and the closed-loop system stability has been studied. Simulation results show the effectiveness of the proposed DVS strategy that should be extended to the whole H.264 encoder platform., La consommation d'énergie des systèmes sur puces induit des contraintes fortes lors de leur conception. Elle affecte la fiabilité du système, le coût du refroidissement de la plateforme, et la durée de vie de la batterie lorsque le circuit est alimenté par des batteries. En fait, avec la diminution de la tailles de la technologie des semi-conducteurs, l'optimisation de la puissance consommée est devenue un enjeu majeur, au même titre que le coût lié à la surface silicium et l'optimisation des performances, en particulier pour les applications mobiles. Des puces codec vidéo dédiées ont été utilisés dans diverses applications telles que les systèmes de vidéoconférence, de sécurité et de surveillance, ou encore et des applications de divertissement. Pour répondre aux contraintes des applications mobiles en termes de performance et de consommation énergétique, le codec vidéo est généralement implémenté en matériel plutôt qu'en logiciel, ce qui permet de garantir les contraintes d'efficacité énergétique et de traitement en temps réel. L'une des normes les plus efficaces pour les applications vidéo est aujourd'hui la norme H.264 Encodage Vidéo Avancé (H.264/AVC), qui offre une meilleure qualité vidéo à un débit binaire plus bas que les normes précédentes. Pour pouvoir effectivement intégrer cette norme dans des produits commerciaux, en particulier pour les appareils mobiles, lors de la conception du codec vidéo en matériel, les concepteurs devront utiliser des approches spécifiques de conception de circuits basse consommation et implanter des mécanismes de contrôle de la consommation. Cette thèse de doctorat s'est déroulée dans le cadre de la conception de l'encoder matériel au format H.264, appelé plateforme VENGME. La plateforme est découpée en différents modules et le module EC-NAL a été développé durant la thèse, en prenant en compte différentes solutions apparues dans la littérature pour minimiser la consommation de ce module. Les résultats en simulation montrent que le module EC-NAL présente de meilleurs résultats d'un point de vue consommation que ses concurrents de la littérature. L'architecture de la plateforme VENGME a ensuite été analysée, et des simulations au niveau RTL ont été menées pour évaluer sa consommation globale. Il en est ressorti une possibilité de diminuer encore plus la consommation de la plateforme matérielle en contrôlant la fréquence de certains modules. Cette approche a été appliquée au module EC-NAL qui possède en interne une FIFO. Dont le niveau peut être contrôlé en ajustant la fréquence d'horloge du côté du sous-module NAL. Cela a donc conduit à implémenter une approche d'adaptation automatique de la fréquence en fonction du niveau de remplissage de la FIFO. Le contrôleur a été implémenté en matériel et la stabilité du système bouclé a été étudiée. Les résultats en simulation montrent l'intérêt de la démarche adoptée qui devra être étendue à l'ensemble de la plateforme.

We address survivability considerations for telecommunication networks where a part of the network may fail. We focus on single arc failures in multicast networks, with or without network coding. The problem is to compute a routing such that, if any single arc failure occurs, the remaining throughput is as large as possible. In the case of multicast routing without network coding, two ways for computing the impact of an arc failure are considered. Either the throughput of entire Steiner trees containing that arc vanishes, or only the throughput of subtrees, starting from that arc to terminals, is discarded. In the case of multicast with network coding, since the total throughput is computed as the minimum of single max-flow values from the source to any terminal, we consider that a failure of an arc implies that the throughput of all paths containing that arc vanishes. The three obtained models are formulated as linear problems. We solve these problems either directly or by use of column generation. Further, the survivable network coding gain is defined as the ratio of maximal throughput with - over without - network coding, when arc failures can occur. We show that this ratio is unbounded for unitary combination digraphs and hence for any directed networks. We also show that this ratio is equal to one for bidirected graphs with uniform capacities. Finally, some numerical results are carried out on randomly generated networks showing that the gain ratio is equal to one for almost 98 percent of the instances. However, we observe that routing with network coding requires much less redundancy in order to achieve the optimal throughput.

Jusqu'à récemment, les patients souffrant d'épilepsie réfractaire aux traitements médicamenteux étaient destinés à un avenir incertain. Le recours à la chirurgie comme traitement alternatif offre l'espoir de mener un jour une vie normale. Pour déterminer si un patient peut bénéficier d’une intervention chirurgicale, une évaluation complète est cruciale. Les méthodes d’évaluation préchirurgicale ont connu des progrès importants au cours des dernières décennies avec le perfectionnement des techniques d’imagerie cérébrale. Parmi ces techniques, la spectroscopie proche infrarouge (SPIR), aussi connue sous le nom d’imagerie optique, présente de nombreux avantages (coût, mobilité du participant, résolution spatiale et temporelle, etc.). L’objectif principal de cette étude est de développer un protocole d'évaluation préchirurgicale de la mémoire. Une tâche de mémoire verbale incluant l’encodage, le rappel immédiat et le rappel différé de listes de mots a été administrée à dix adultes sains lors d’un enregistrement en imagerie optique. Les résultats obtenus suggèrent l’activation bilatérale des aires préfrontales antérieures et dorsolatérales ainsi que des aires temporales antérieures et moyennes. Les aires préfrontales et temporales antérieures semblent modulées par les différents processus mnésiques et la position du rappel dans le temps. La première fois qu’une liste est rappelée, l’activité hémodynamique est plus élevée que lors des rappels subséquents, et ce, davantage dans l’hémisphère gauche que dans l’hémisphère droit. Cette étude constitue la première étape dans le processus de validation du protocole à des fins cliniques auprès de patients épileptiques., Until recently, patients with epilepsy refractory to drug treatments were intended to an uncertain future. Surgery as an alternative treatment offers hope to, one day, lead a normal life. In order to determine if a patient may benefit from a surgical intervention, a complete evaluation is essential. With the advancements in brain imagery techniques over the last few decades, preoperative evaluation methods have seen important progress. Among these techniques, near infrared spectroscopy (NIRS), also known as optical imaging, presents numerous advantages (cost, participant mobility, spatial and temporal resolution, etc.). The purpose of this study is to develop a preoperative evaluation protocol for memory assessment. During a NIRS recording, a verbal memory task including encoding, immediate and delayed free-recall of a list of words was administered to ten healthy adults. The results obtained revealed bilateral activation of anterior and dorsolateral prefrontal areas as well as anterior and median temporal areas. Prefrontal and anterior temporal areas seemed to be regulated by different memory processes and the recall location in time. The first time that a list is recalled, increased hemodynamic activity is observed in comparison to subsequent recalls, with a greater activity in the left hemisphere than in the right hemisphere. This study constitutes the first step in the validation process of the protocol for clinical needs among epileptic patients.

Cet article s’appuie sur une recherche en cours centrée sur l’entrée dans l’écrit d’élèves de CP. Lors de cette recherche, 156 enfants ont été observés en entretien individuel, quatre fois dans l’année (novembre, janvier, mars et juin). Afin de bien comparer les données recueillies, les quatre entretiens se sont strictement déroulés de la même façon : même tâche d’écriture inventée, même tâche de lecture, même questionnement sur la lectureécriture. L’objectif de cet article est d’établir des liens à partir de la première observation entre les réponses fournies par les sujets lors de la tâche d’écriture et celles qu’ils fournissent lors de la tâche de lecture., Lempens Isabelle. Encodage/décodage au début de l’apprentissage de l’écrit. In: Spirale. Revue de recherches en éducation, n°23, 1999. Apprendre l’écrit - Les valeurs en formation et en éducation (3) sous la direction de Dominique-Guy Brassart et Yves Reuter. pp. 153-164.

International audience; And if prices were not always numerals in the consumer’s head ? The role of the mental number line The article emphasizes the importance of a form of price memorization by consumers : semantic (or relative) knowledge. Based on the notion of mental number line, a unified conceptual frame is proposed in order to account for this kind of knowledge. The resulting innovative approach helps to understand multiple concepts relative to prices, such as price-images and internal reference prices. Through an experiment, tools for measuring semantic knowledge relating to prices were tested and a first validation of the proposed conceptual model was provided. Several marketing implications of these findings are finally drawn.; L’article met en évidence l’importance d’une forme particulière de mémorisation des prix par les consommateurs : les connaissances sémantiques (ou relatives). En s’appuyant sur la notion de ligne numérique mentale, un cadre conceptuel unifié est proposé pour rendre compte de ces connaissances. L’approche novatrice qui en découle permet d’appréhender de multiples connaissances relatives se rapportant aux prix telles que les images-prix ou les prix de référence internes. Une expérimentation permet, d’une part, de tester des outils de mesure des connaissances sémantiques se rapportant aux prix et d’autre part, d’apporter une première validation du modèle conceptuel proposé. Plusieurs implications marketing de ces résultats sont tirées.

International audience; Since the concept of spatial cognitive map appeared, it has been shown that different parameters play a role in how spatial representations are encoded within ego- or allocentered frames of reference. The main influences seem to come on the one hand from the variations of the subject's activity and, on the other hand, from the nature of the configuration to be learned. Because we necessarily perceive space from our current position and orientation (ego), abstraction of this information into a more global bird's eye view (allo) involves cognitive processes. By this respect, moving and locating requires the subject to mentally connect different pieces of information built either within an ego or an allocentric spatial frame of reference. Some researchers have suggested that these two kinds of spatial frames of reference are used in parallel but nowadays, even if some studies have identified the specific influences of these different parameters, their coordination mechanisms still pose questions.

In this thesis, we study several cryptographic primitives of use in Diffie-Hellman like protocols. We first study Diffie-Hellman protocols on commutative or noncommutative structures. We propose an unified wording of such protocols and bring out on which supposedly hard problem both constructions rely on. The first part is devoted to the study of pseudo-parameterization of algebraic curves in deterministic constant time, with application to hash function into curves. Algebraic curves are indeed particularly interesting for Diffie-Hellman like protocols. These protocols often use hash functions which directly hash into the curve. We propose new encoding functions toward elliptic curves and toward large classes of hyperelliptic curves. We then show how the study of the geometry of flex tangent of elliptic curves unifies the encoding functions as proposed in the litterature and in this thesis. In the third part, we are interested in a new instantiation of the Diffie-Hellman key exchange. It relies on the difficulty of factoring in a non-commutative polynomial ring. We show how to reduce a Diffie-Hellman decomposition problem over a noncommutative group to a simple linear algebra problem, provided that group elements can be represented by matrices. Although this is not directly relevant to the skew polynomial ring because they have no inverse, we use the divisibility to circumvent this difficulty. Finally, we show it's possible to solve the Diffie-Hellman problem on skew polynomials with polynomial complexity., L'objet de cette thèse est l'étude de diverses primitives cryptographiques utiles dans des protocoles Diffie-Hellman. Nous étudions tout d'abord les protocoles Diffie-Helmman sur des structures commutatives ou non. Nous en proposons une formulation unifiée et mettons en évidence les différents problèmes difficiles associés dans les deux contextes. La première partie est consacrée à l'étude de pseudo-paramétrisations de courbes algébriques en temps constant déterministe, avec application aux fonctions de hachage vers les courbes. Les propriétés des courbes algébriques en font une structure de choix pour l'instanciation de protocoles reposant sur le problème Diffie-Hellman. En particulier, ces protocoles utilisent des fonctions qui hachent directement un message vers la courbe. Nous proposons de nouvelles fonctions d'encodage vers les courbes elliptiques et pour de larges classes de fonctions hyperelliptiques. Nous montrons ensuite comment l'étude de la géométrie des tangentes aux points d'inflexion des courbes elliptiques permet d'unifier les fonctions proposées tant dans la littérature que dans cette thèse. Dans la troisième partie, nous nous intéressons à une nouvelle instanciation de l'échange Diffie-Hellman. Elle repose sur la difficulté de résoudre un problème de factorisation dans un anneau de polynômes non-commutatifs. Nous montrons comment un problème de décomposition Diffie-Hellman sur un groupe non-commutatif peut se ramener à un simple problème d'algèbre linéaire pourvu que les éléments du groupe admettent une représentation par des matrices. Bien qu'elle ne soit pas applicable directement au cas des polynômes tordus puisqu'ils n'ont pas d'inverse, nous profitons de l'existence d'une notion de divisibilité pour contourner cette difficulté. Finalement, nous montrons qu'il est possible de résoudre le problème Diffie-Hellman sur les polynômes tordus avec complexité polynomiale.

National audience; Depuis une vingtaine d'années, les protocoles proposant d'évaluer les compétences des élèves se sont multipliés. Dans le domaine de la langue écrite, et face à la multitude des épreuves, nous nous sommes plus particulièrement attachées aux épreuves évaluant les compétences de scripteur à l'entrée au CP. La contribution propose l'analyse d'un corpus de 78 épreuves d'évaluation diagnostique à disposition des enseignants conçues par des équipes de circonscription départementales ou locales, consultables sur internet. En nous appuyant sur les recherches en psycholinguistique montrant que les tentatives d'encodage de l'élève révèlent les connaissances déjà construites du système écrit, nous interrogerons la nature des épreuves proposées et les consignes de traitement des réponses. Celles-ci témoignent des représentations des concepteurs sur les tâches d'écriture et nous semblent de nature à induire, chez les enseignants, des conceptions de l'écriture et de son apprentissage.

Project title The possible second volumes for Flaubert's unfinished novel Bouvard et Pécuchet Challenges and objectives The aim was to use the online publication of the preparatory documents left by the author to explore possible endings for this unfinished novel. The BOUVARD project made it possible to publish a fragile and complex patrimonial set (combining manuscripts, printed and mixed materials) of high scientific and cultural significance on a dedicated website (http://dossiers-flaubert.ish-lyon.cnrs.fr/). This set is comprised of the documentation files that Flaubert gathered to write his last novel. These 2400 sheets are now kept at the Rouen library in the form of eight collections of various documents and two additional collections dedicated to the Dictionnaire des idées reçues. The online availability (through images and transcriptions) of a corpus that used to be very hard to access is accompanied by noteworthy scientific enrichments (search engine, metadata, annotations, and libraries). Its main asset is an original computing device producing configurable arrangements of quotations extracted from the published documents. Among other arrangements, web users can produce hypothetical reconstructions of Bouvard et Pécuchet's second volume. Flaubert had partially planned this volume and started to gather material, but death prevented him from completing the work. Methods or technologies Thanks to the full XML-TEI encoding of the corpus, the site offers both a multi-format online edition and a tool producing arrangements of quotations. The corpus has been transcribed by the scientific project team and then encoded in XML-TEI, a free and open computer language that seeks to describe the logical structure of documents and to identify there different components. Thanks to this choice, the edition site offers several ways of visualizing each document from a single digital file. The site also offers a technical solution for the other part of the project geared toward the hypothetical reconstructions of the second volume of Bouvard et Pécuchet: it allowed to cut virtually the corpus into autonomous text fragments (according to the logic that Flaubert had already partially implemented when he began to write his "critical and farcical encyclopedia"), while ensuring that each fragment is connected both to the image area which it transcribes, and to the different textual units to which it belongs, such as the page where the fragment appears. Stored in a relational database, fragments can be gathered and organized according to various research hypotheses. The resulting arrangements of quotations (possible second volumes) may be exported in XML or PDF. Major results Bouvard et Pécuchet documentary files (text and images) are fully available on a dedicated website. Besides several tools (search engine and libraries), the site provides access to a corpus of 2400 pages transcribed in four formats: ultra-diplomatic, diplomatic, normalized and enriched. It also allows readers to produce arrangements of quotations on demand, including possible second volumes of Flaubert's unfinished novel. As a composition and structuring tool of the published work itself, this project seeks to extend the benefits of a critical edition to fragmentary textual contents. Scientific production Five conferences (organized in France, Italy and Japan) took place during the project which was also the source of more than 50 publications. Results are available to the scientific community at large (articles are deposited in the open access archive HAL, free data access is offered on the project's website) and attention was paid to sustainability and interoperability of corpus data through the use of the international, free and open encoding standard XML-TEI. Factual information The BOUVARD project is a basic research project completed by an international team of scientists and scholars under the leadership of Stéphanie Dord-Crouslé, a researcher in the UMR 5611 LIRE (Literature, Ideologies and Representations in the 18th and 19th centuries). Its technical implementation was carried out by the ISH (Institute for Human Sciences). The project began in January 2008 and lasted 54 months. It was supported by an ANR grant in the amount of 150 000 Euros for a full cost of about 900 000 Euros.; Titre du projet Les seconds volumes possibles de Bouvard et Pécuchet, roman inachevé de Flaubert Enjeux et objectifs L'objectif était de construire, à partir de l'édition des documents préparatoires laissés par l'auteur, des fins possibles pour ce roman inachevé. La réalisation du projet BOUVARD a permis d'éditer sur un site dédié (http://dossiers-flaubert.ish-lyon.cnrs.fr/) un ensemble patrimonial fragile et complexe (mélangeant les supports manuscrits, imprimés et mixtes), d'importance scientifique et culturelle reconnue : les dossiers documentaires constitués par Flaubert en vue de la rédaction de son dernier roman, conservés aujourd'hui à la bibliothèque municipale de Rouen sous la forme de huit recueils de documents divers auxquels s'ajoutent deux recueils concernant le Dictionnaire des idées reçues, soit 2400 feuillets. La mise à disposition sur Internet (sous forme d'images et de transcriptions) de ce corpus auparavant très difficile d'accès s'accompagne d'un enrichissement scientifique conséquent (moteur de recherche, métadonnées, annotations et bibliothèques) dont le point d'orgue est un dispositif informatique original permettant de créer des agencements paramétrables de citations extraites des documents édités. Les internautes peuvent ainsi produire, entre autres agencements, des reconstitutions conjecturales du second volume de Bouvard et Pécuchet, un volume dont Flaubert avait partiellement conçu le plan et commencé à réunir la matière mais que la mort l'a empêché de rédiger. Méthodes ou technologies utilisées Grâce à l'encodage XML-TEI intégral du corpus, le site propose à la fois une édition en ligne multi-format et un outil de production d'agencement de citations. Transcrit par l'équipe scientifique du projet, le corpus a été encodé en XML-TEI, un langage informatique libre et ouvert qui s'attache à décrire la structure logique des documents et à en identifier les différents éléments constitutifs. Ce choix permet de proposer sur le site d'édition, à partir d'un même fichier numérique, plusieurs types de visualisation pour chaque document. Il offre aussi une réponse technique à l'autre versant du projet visant à produire des reconstitutions conjecturales du second volume de Bouvard et Pécuchet : il a permis de découper virtuellement le corpus en fragments textuels autonomes (selon la logique que Flaubert avait déjà partiellement mise en œuvre en vue de la rédaction de son " encyclopédie critique en farce "), tout en veillant à ce que chaque fragment reste relié à la fois à la zone d'image dont il présente la transcription et aux différentes unités textuelles dont il est partie prenante (comme la page où se situe le fragment). Stockés dans une base de données relationnelle, les fragments peuvent être convoqués et organisés selon diverses hypothèses de recherche. Les agencements de citations produits (les seconds volumes possibles) sont exportables au format XML ou PDF. Résultats majeurs Le corpus des dossiers documentaires de Bouvard et Pécuchet (texte et images) est intégralement disponible sur un site web dédié. Accompagné de plusieurs outils (moteur de recherche et bibliothèques), le site donne accès à la transcription des 2400 pages du corpus sous quatre formats : ultra-diplomatique, diplomatique, normalisé et enrichi. Il permet aussi de produire des agencements de citations à la demande, dont des seconds volumes possibles pour le roman inachevé de Flaubert. Outil de composition et de structuration de l'œuvre éditée elle-même, cette réalisation présente une tentative pour étendre le champ de l'édition critique aux contenus textuels fragmentaires. Production scientifique La réalisation du projet s'est accompagnée de la tenue de cinq colloques (organisés en France, Italie et Japon) et est à l'origine de plus de 50 publications diverses. Les résultats sont à la disposition de la communauté scientifique (dépôt des articles dans l'archive ouverte HAL, accès libre aux données sur le site web du projet) et on a veillé à la pérennité et à l'interopérabilité des données produites en utilisant pour l'encodage du corpus le standard international, libre et ouvert, XML-TEI. Informations factuelles Le projet BOUVARD est un projet de recherche fondamentale réalisé par une équipe scientifique internationale sous la direction de Stéphanie Dord-Crouslé, chargée de recherche dans l'UMR 5611 LIRE (Littérature, Idéologies, Représentations, XVIIIe-XIXe siècles). Sa mise en œuvre technique a été opérée par l'ISH (Institut des Sciences de l'Homme). Le projet a commencé en janvier 2008 et a duré 54 mois. Il a bénéficié de la part de l'ANR d'une aide de 150 000 euros pour un coût complet de l'ordre de 900 000 euros.

National audience; La stéganographie est l'art de la communication secrète [1]. Depuis l'avènement de la stéganographie moderne, dans les années 2000, de nombreuses approches basées sur les codes correcteurs d'erreurs (Hamming, BCH, RS...) ont été proposés pour réduire le nombre de modifications du support de couverture tout en insérant le maximum de bits. Les travaux de Jessica Fridrich ont montré que les codes à matrices creuses approchent le mieux la limite théorique d'efficacité d'insertion. Nos travaux de recherches sont dans la continuité de ceux sur les codes à faible densité (LDGM) proposés par T. Filler en 2007. Dans cet article nous proposons une nouvelle approche avec l'utilisation des codes correcteurs LDPC plutôt que les codes LDGM. La complexité de notre approche est bien moindre que celle de T. Filler ce qui la rend utilisable en pratique.

This thesis comes within the domain of proofs of programs by deductive verification. The deductive verification generates from a program source and its specification a mathematical formula whose validity proves that the program follows its specification. The program source describes what the program does and its specification represents what the program should do. The validity of the formula is mainly verified by automatic provers. During the last ten years separation logic has shown to be an elegant way to deal with programs which use data-structures with pointers. However it requires a specific logical language, provers, and specific reasoning techniques.This thesis introduces a technique to express ideas from separation logic in the traditional framework of deductive verification. Unfortunately the mathematical formulas produced are not in the same first-order logic than the ones of provers. Thus this work defines new conversions between the polymorphic first-order logic and the many-sorted logic used by most proves.The first part of this thesis leads to an implementation in the Jessietool. The second part results in an important participation to the writing of the Why3 tool, in particular in the architecture and writing of the transformations which implement these conversions.; Cette thèse s'inscrit dans la démarche de preuve de programmes à l'aide de vérification déductive. La vérification déductive consiste à produire, à partir des sources d'un programme, c'est-à-dire ce qu'il fait, et de sa spécification, c'est-à-dire ce qu'il est sensé faire, une conjecture qui si elle est vraie alors le programme et sa spécification concordent. On utilise principalement des démonstrateurs automatiques pour montrer la validité de ces formules. Quand ons'intéresse à la preuve de programmes qui utilisent des structures de données allouées en mémoire, il est élégant et efficace de spécifier son programme en utilisant la logique de séparation qui est apparu il y a une dizaine d'année. Cela implique de prouver des conjectures comportant les connectives de la logique de séparation, or les démonstrateurs automatiques ont surtout fait des progrès dans la logique du premier ordre qui ne les contient pas.Ce travail de thèse propose des techniques pour que les idées de la logique de séparation puissent apparaître dans les spécifications tout en conservant la possibilité d'utiliser des démonstrateurs pour la logique du premier ordre. Cependant les conjectures que l'ont produit ne sont pas dans la même logique du premier ordre que celles des démonstrateurs. Pour permettre une plus grande automatisation, ce travail de thèse a également défini de nouvelles conversions entre la logique polymorphe du premier ordre et la logique multi-sortée dupremier ordre utilisé par la plupart des démonstrateurs.La première partie a donné lieu à une implémentation dans l'outil Jessie, la seconde a donné lieu à une participation conséquente à l'écriture de l'outil Why3 et particulièrement dans l'architecture et écriture des transformations qui implémentent ces simplifications et conversions.

This thesis comes within the domain of proofs of programs by deductive verification. The deductive verification generates from a program source and its specification a mathematical formula whose validity proves that the program follows its specification. The program source describes what the program does and its specification represents what the program should do. The validity of the formula is mainly verified by automatic provers. During the last ten years separation logic has shown to be an elegant way to deal with programs which use data-structures with pointers. However it requires a specific logical language, provers, and specific reasoning techniques.This thesis introduces a technique to express ideas from separation logic in the traditional framework of deductive verification. Unfortunately the mathematical formulas produced are not in the same first-order logic than the ones of provers. Thus this work defines new conversions between the polymorphic first-order logic and the many-sorted logic used by most proves.The first part of this thesis leads to an implementation in the Jessietool. The second part results in an important participation to the writing of the Why3 tool, in particular in the architecture and writing of the transformations which implement these conversions.; Cette thèse s'inscrit dans la démarche de preuve de programmes à l'aide de vérification déductive. La vérification déductive consiste à produire, à partir des sources d'un programme, c'est-à-dire ce qu'il fait, et de sa spécification, c'est-à-dire ce qu'il est sensé faire, une conjecture qui si elle est vraie alors le programme et sa spécification concordent. On utilise principalement des démonstrateurs automatiques pour montrer la validité de ces formules. Quand ons'intéresse à la preuve de programmes qui utilisent des structures de données allouées en mémoire, il est élégant et efficace de spécifier son programme en utilisant la logique de séparation qui est apparu il y a une dizaine d'année. Cela implique de prouver des conjectures comportant les connectives de la logique de séparation, or les démonstrateurs automatiques ont surtout fait des progrès dans la logique du premier ordre qui ne les contient pas.Ce travail de thèse propose des techniques pour que les idées de la logique de séparation puissent apparaître dans les spécifications tout en conservant la possibilité d'utiliser des démonstrateurs pour la logique du premier ordre. Cependant les conjectures que l'ont produit ne sont pas dans la même logique du premier ordre que celles des démonstrateurs. Pour permettre une plus grande automatisation, ce travail de thèse a également défini de nouvelles conversions entre la logique polymorphe du premier ordre et la logique multi-sortée dupremier ordre utilisé par la plupart des démonstrateurs.La première partie a donné lieu à une implémentation dans l'outil Jessie, la seconde a donné lieu à une participation conséquente à l'écriture de l'outil Why3 et particulièrement dans l'architecture et écriture des transformations qui implémentent ces simplifications et conversions.

National audience; Réflexion sur les développements possibles et les caractères d'un projet d' "édition intelligente' à partir des résultats de la base de données en mode image, enrichie (notices , bibliographies, articles, etc.) : "Routes du livre italien ancien" http://www.unicaen.fr/recherche/mrsh/rdl/index

Compte-rendu des journées "la TEI en France", Lyon, 9-11 juin 2010