Dans cette thèse, qui s'inscrit dans l'étude de la modélisation géométrique via les méthodes formelles, nous proposons un langage graphique à base de règles dédié à la description des opérations topologiques des cartes généralisées. Notre langage est fondé sur la théorie des transformations de graphes. Dans nos règles, les variables permettent d'abstraire les cellules topologiques (sommets, arêtes, faces, volumes, etc.) manipulées dans les opérations topologiques. Nous avons défini des critères syntaxiques sur les règles assurant que les objets obtenus par application des règles satisfont les contraintes de cohé- rence des cartes généralisées. La conception de ce langage a été motivée par l'étude de la dynamique de l'appareil de Golgi. Il est connu que dans cette organelle, la topologie des compartiments joue un rôle essentiel. Néanmoins, la structure globale de l'appareil de Golgi reste encore méconnue. Plusieurs hypothèses de fonctionnement sont ainsi avancées par les biologistes. Notre langage à base de règles fournit un cadre pour la simulation puis la comparaison de ces différentes hypothèses d'appareil de Golgi.

Néstor Perlongher (1949 Buenos Aires - 1992 Sao Paulo) est l'auteur d'une oeuvre poétique aussi impressionnante par ses thèmes que par son style. Sa poétique est fondée sur des opérations linguistiques variées tels qu'une mixité des niveaux de langue, l'utilisation des jargons et des argots régionaux, l'exaltation du pouvoir suggestif du son, la prolifération des références ambiguës dans le cadre d'une esthétique néobaroque, entre autres. Nous estimons que son oeuvre constitue un des travaux les plus intéressants dans le domaine de l'écriture néo-baroque argentine, tant par la radicalité de son travail avec la matérialité du signe linguistique que par la construction d'une poétique qu'actualise les valeurs esthétiques néo-baroques en les combinant avec des faits historiques et épiques. Cette étude propose de lire l'oeuvre de Néstor Perlongher à la lumière des concepts théoriques en provenance du néo-baroque cubain, ainsi que des ouvrages issus de philosophes poststructuralistes. L'analyse de cette problématique sera faite moyennant l'identification et la description des opérations symboliques et sémantiques que constitue le processus d'artificialisation de l'énoncé et qui finalement permettent l'inscription de ces oeuvres dans le style « néobarroso ». / Néstor Perlongher (1949 Buenos Aires - Sao Paulo in 1992) is the author of a work of impressive themes and tones. His poetry is based on various linguistic operations such as mixing levels of language, the use of jargon and regional slang, the exaltation of the suggestive power of sound, the proliferation of ambiguous references in the context of an aesthetic Neo-Baroque, among others. We believe that his writing is one of the most interesting work in the field of literature Argentine neo-baroque, considering that his work is radical to the materiality of the linguistic sign and build a vision that combines neo-baroque aesthetics with historical facts. This study proposes to read the work of Nestor Perlongher in the light of the theoretical concepts of the Cuban neo-baroque and post-structuralist philosophers. The analysis of this issue is made through the identification and description of the symbolic and semantic operations of artificiality process that allows the inclusion of these works in the style "neobarroso".

Le passage de l'Afrique du Sud d'un système politique répressif à un système démocratique a ouvert un nouvel espace de parole aux exclus, notamment aux femmes noires à travers les Commissions pour la Vérité. La parole féminine noire libérée suite à la transition politique du pays se reflète aussi dans le développement d'une production littéraire féminine, donnant lieu à l'émergence de nouvelles formes d'écriture romanesque, étudiées dans ce travail qui porte sur dix romans publiés par huit auteures entre 1998 et 2011 : S. Magona, K.L. Molope, K. Matlwa, A.N. Sithebe, A. Makholwa, H.J. Gololai, Z. Wanner et C. Jele. Nous étudions dans un premier temps comment les écrivaines s'approprient le genre romanesque durant la période transitionnelle, s'éloignant d'une écriture réaliste politiquement engagée, courante durant l'apartheid, pour se tourner vers une écriture de l'intime qui met en lumière les traumatismes d'un passé national qui hante le présent. Puis, nous étudions dans les trois parties suivantes comment les auteures émergeant durant la période post-transitionnelle explorent des genres jusqu’ici peu utilisés par les femmes noires sud-africaines : le Bildungsroman, le roman policier et la chick lit, mettant en mots les peurs et les angoisses de la nouvelle Afrique du Sud. Revisitant des genres européens, pour certains populaires, à travers une perspective féminine noire nouvelle, ces auteures continuent d'innover tant dans les thématiques abordées que dans une écriture fondée sur le mélange. Le roman devient un moyen subversif pour critiquer une société patriarcale fortement occidentalisée, qui ne doit pas renier son passé afin de faire face aux nouveaux défis à venir. / The South African political transition from a repressive system to a democratic one opened new spaces to a marginalized part of the population among whom the black woman to express themselves, such as the Truth and Reconciliation hearings. This black feminine voice, made free by the political transition is reflected through the development of a literary female production. It gave way to the emergence of new novelistic forms, analysed in our study through ten novels written by eight different female writers between 1998 and 2011: S. Magona, K.L. Molope, K. Matlwa, A.N. Sithebe, A. Makholwa, H.J. Gololai, Z. Wanner and C. Jele. In a first part, we analyse the way these authors rewrite the novel during the transitional period, moving away from a realistic writing, deeply involved in politics and largely used during the apartheid era, towards a more intimate way of writing which reflect the traumas of a national past haunting the present. Then, we examine in three parts how the writers emerging during the post-transitional period explore new genres, rarely used by black South African women until then, namely the Bildungsroman, detective fiction and chick lit, which reflect their fears in the new South Africa. These authors rewrite these European genres, among which popular ones, through a new feminine perspective, thus innovating the themes they deal with and creating a literature made of mixtures. The European novel becomes a subversive tool to criticise a patriarchal and Europeanised society, which, according to these authors, should not deny the past in order to solve the new challenges coming.

Continuation elleptique du Tristan en prose, qui s’inscrit dans l’interstice séparant la naissance de Tristan du remariage de Méliadus avec la fille du roi Hoël, le Roman de Meliadus [1235-1240] est une œuvre fondamentalement ouverte, de par son inachèvement et de par le dialogue constant qu’il instaure avec les autres romans arthuriens. S’il revendique sa filiation et assume son statut de récit puîné, les réminiscences qu’il exhibe masquent aussi les gauchissements, les infléchissements qui lui permettent de faire du neuf avec du vieux. C’est ce jeu – aux deux sens du terme – que cette étude se propose de mettre en lumière et de voir fonctionner, non seulement dans le Roman de Meliadus proprement dit, mais également dans trois de ses relectures, qui actualisent et renouvellent la signification du roman en profondeur. La première est une continuation qui date de la toute fin du XIIIe ou du début du XIVe siècle et qui est aujourd’hui conservée par le seul manuscrit Ferrell 5. La deuxième actualisation retenue est celle qu’offre Meliadus de Leonnoys, l’imprimé publié en 1528 par Galliot du Pré, puis en 1532 par Denis Janot, fruit d’un minutieux travail de découpage et de remontage. La dernière enfin est l’extrait paru en 1776 dans la Bibliothèque Universelle des Romans sous le titre Méliadus de Léonnois. / An ellipitic continuation of the Prose Tristan, which inscribes itself in the space separating the birth of Tristan from Meliadus’ new marriage with king Hoël’s daughter, the Meliadus’ romance [1235-1240] is essentially an open text on account of its incompleteness and the dialogue it establishes with other arthurian romances. Even asserting filiation status, the reminiscences also show the reshaping and the inflection that allow the text to transform old into new. Analyzing this game is the central purpose of this work; to observe the operation in the Meliadus’ romance, as well as in three of its recuperations that profoundly renew the significance of the novel; beginning with a continuation from the end of the 13th century or the early 14th century, preserved nowadays in only one manuscript [Ferrel 5]; followed by the meticulous work of cutting and reassembling offered by the Meliadus of Leonnoys [printed by Galliot du Pré in 1528 first and again by Denis Janot in 1532] and finally an excerpt published in 1776 in the Bibliothèque Universelle des Romans with the title Méliadus of Leonnois.

Nous avons tenté dans ce travail de mettre en évidence le sens et l’utilité des réécritures dans la littérature comparée. Pourquoi et comment les écrivains s’emparent-ils d’une œuvre ou d’un texte en général (un texte sacré par exemple) et les transforment-ils ? Les écrivains francophones (ou imprégnés de culture française) des XXe et XXIe siècles s’inspirent de certains modèles de réécritures présents dans la littérature classique européenne ; ils apportent cependant une richesse supplémentaire aux hypotextes sur plusieurs plans : culturel, philosophique et esthétique. Un parallèle entre les arts du verbe et de l’image est établi, les seconds étant censés jeter un éclairage sur les premiers, aider à mieux saisir comment se réalise le passage d’une œuvre de création à une autre dans la continuité et la rupture. Plusieurs auteurs ― dont Maryse Condé, Assia Djebar, Nedim Gürsel et Abdelwahab Meddeb ― usent de la réécriture ― qui peut être interprétation ou travail esthétique sur l’écriture même (pastiche, parodie, etc.) ― pour exprimer leurs pensées et faire passer plus amplement leurs messages. Notre thèse se propose de dévoiler ces pensées et ces messages et d’essayer de les interpréter en faisant ressortir les mobiles ou les motifs des écrivains. Les œuvres sont à la fois des signaux (c’est-à-dire le sens voulu par les auteurs, ce qu’ils souhaitent consciemment exprimer, leur projet intentionnel) et des symptômes (ce que les œuvres révèlent en plus au lecteur). / In this work, we have attempted to highlight the meaning and usefulness of rewriting in comparative literature, whether this literature is European or is derived from French-speaking countries in other parts of the world. Why and how do writers seize a work or text in general (sacred text, for example) and transform it ? We recall that the French-speaking (or inhabited by French) writers of the 20th and 21st centuries are inspired by models of rewriting present in classical literature; they nevertheless bring hypotexts to a great wealth on several levels: cultural, philosophical and aesthetic. A parallel between the arts of the verb and the image is established, the latter being supposed to shed light on the first, to help better grasp the passage from one work of creation to another in continuity and rupture. Several authors - including Maryse Condé, Assia Djebar, Nedim Gürsel and Abdelwahab Meddeb - use rewriting - which can be interpretation or aesthetic work on writing itself (pastiche, parody) - to express their thoughts and pass messages that matter to them. It is these thoughts and messages that our thesis proposes to unveil and try to understand by bringing out the motives of writers.

Le but de ce travail, consacré à la poésie de Christina Rossetti, est de s’éloigner du prisme interprétatif biographique qui est devenu la norme depuis sa mort en 1894. Cette étude, qui repose sur un examen des choix prosodiques et formels, montre que la voix poétique est avant tout une construction. Identifier le miroir à l’intérieur du texte dévoile des éléments essentiels pour comprendre la relation complexe qui se joue entre identité et altérité et qui, à maints égards, définit le style de Rossetti. L’étude des voix qui se font entendre dans son oeuvre poétique, qu’elles soient intertextuelles ou fictionnelles, révèle comment Rossetti parvient, par un usage unique de la répétition, à créer une voix harmonieuse et intemporelle à partir de la diversité et de la contradiction. Mais malgré une première impression de régularité, le principe répétitif est une source de redéfinition permanente qui nie la notion d’origine ou de version définitive. La re-présentation, la différance, et les réécritures incessantes offrent au lecteur un texte qui lui échappe sans cesse. Ce refus de la finitude pointe vers une autre ambition, celle d’atteindre un au-delà non plus religieux — nombre de ses poèmes expriment le désir de ne faire qu’un avec le divin — mais poétique : à travers la relation intime entre Dieu, le poète, et le texte ; par la manipulation de la forme, que le traitement du sonnet illustre ; et enfin grâce à un usage renouvelé des mots. Anglaise aux origines italiennes, Rossetti introduit au sein de la voix poétique un bilinguisme source d’interactions qui aboutissent à une langue hybride et à un rapport aux mots débarrassé de tout automatisme pour acquérir une expressivité nouvelle. / The purpose of this work, which is dedicated to Christina Rossetti’s poetry, is to step away from the biographical bias which has been the norm in the criticism about Christina Rossetti since her death in 1894. This study, based on the close analysis of the prosodic and formal choices, shows that the poetical voice is above all a construction. Finding the mirror within the text reveals important elements to understand the complex relationship between identity and alterity which, in many ways, defines Rossetti’s style. The examination of the voices that can be heard within her poems, may they be intertextual or fictional, shows how Rossetti manages to create a harmonious and timeless voice out of what strikes as diverse and contradictory. However, despite its apparent regularity, the work, through repetition, undergoes a constant self-redefinition negating the notion of origin or definite version: re-presentation, différance, and perpetual re-writing give the reader a text that keeps eluding him/her. This refusal of finitude hints at another ambition, that of reaching a “beyondˮ which is no longer religious — many of her poems express a wish to make one with the divine — but poetical: through an intimate relationship between God, the poet and the text; through the manipulation of the form, which Rossetti’s treatment of the sonnet examplifies; and finally through the poet’s renewed use of words. As an English poet with Italian origins, Rossetti inserts her bilingualism within the poetical voice and thereby creates interactions that result in a hybrid language and a relationship to words freed from habit and automatic reflex to reach enhanced expressivity.

Cette thèse traite de la conception de méthodes automatisées ou semi-automatisées pour détecter et identifier des algorithmes cryptographiques dans des programmes compilés en langage machine. La première méthode proposée a pour but l'identification de primitives symétriques. L'implémentation en langage machine d'une primitive symétrique, assimilée à une suite d'instructions, est représentée par un graphe. Sous cette forme, le code est modifié à l'aide de règles de réécriture tout en préservant une certaine notion de sémantique lors d'une phase dite de normalisation. L'objectif est de faire émerger des expressions communes à différentes implémentations d'une même primitive. Ces expressions servent alors de base à la création de signatures efficaces. La recherche de ces signatures s'effectue à l'aide d'un algorithme énumérant les isomorphismes de sous-graphe. La seconde méthode, conçue en complément de la première, produit une représentation synthétique facilitant l'identification des modes opératoires. Cette représentation se définit comme le plus petit sous-graphe préservant les distances entre des sous-ensembles de nœuds précédemment identifiés comme étant les paramètres d'entrée et de sortie des primitives impliquées. / This thesis is about the design of automatic or semi-automatic methods to detect and identify cryptographic algorithms inside programs compiled into machine code. Two methods are presented. The objective of the first method is to identify cryptographic primitives. A machine code implementation of a cryptographic primitive, regarded as a sequence of instructions, is represented by a graph structure. During a normalization phase, a set of rewrite rules is used to modify this graph representation while preserving a specific notion of semantics. The goal is to converge towards expressions which are shared across several implementations of the same primitive. We use these expressions as a basis to create efficient signatures. A subgraph isomorphism enumeration algorithm is used to search for signatures. The second method is built on top of the first one. It produces a synthetic representation designed to help in the identification of modes of operation. This synthetic representation is defined as the smallest subgraph which preserve distances between sets of vertices previously identified as the input and output parameters of the primitives involved within the mode of operation.

Aucun manuscrit d’Ogier le Danois en prose ne nous est parvenu. Nous en conservons néanmoins les trois premiers imprimés : Lyon, Jean de Vingle, 1496 ; Paris, « pour » Antoine Vérard, s.d. ; Paris, Le Petit Laurens, s.d. L’objectif de la thèse est de fournir la première édition critique de cette prose, à partir de l’exemplaire de Paris de l’édition « pour » Vérard, conservé à la BnF. Le texte édité est assorti des variantes offertes par les deux autres témoins, de notes, d’un glossaire détaillé, d’un index des noms propres et d’une liste des expressions proverbiales. La lecture du texte est préparée par une introduction qui traite les points suivants : étude des trois premiers imprimés (description, classement, choix de l’imprimé de base) ; Antoine Vérard ; sources de la prose ; postérité de la prose, à savoir les éditions du XVIe siècle (présentation et classement) et les éditions et traductions ultérieures ; établissement du texte ; étude de la langue (phonétique et graphies, morphologie, syntaxe, lexique), caractéristique du moyen français et marquée par quelques traits dialectaux du Nord et de l’Est ; analyse du texte ; enfin, étude littéraire visant notamment à évaluer le travail de réécriture opéré par le prosateur à partir de sa source (le remaniement en alexandrins daté du milieu du XIVe siècle) et à analyser le style de l’auteur, typique de l’« écriture flamboyante » du XVe siècle. / No manuscript of Ogier le Danois in prose became known to us. However, we conserve the three first printed editions : Lyon, Jean de Vingle, 1496 ; Paris, « pour » Antoine Vérard, s.d. ; Paris, Le Petit Laurens, s.d. The aim of the thesis is to provide the first critical edition of this prose from the exemplary of Paris from Vérard’s edition, preserved in the BnF. The revised text is presented with variants given by the other two printed editions, notes, a glossary, an index of proper nouns and a list of proverbial phrases. The reading of the texte is preparing by an introduction that deals with these following points : study of the three first printed editions (description, classification, selection of one exemplary, revision of the text) ; Antoine Vérard ; prose’s sources ; prose’s posterity with the editions dating from the XVIth century (presentation and classification) and the later editions and traductions ; revision of the text ; linguistic study (phonetic and written forms, morphology, syntax, vocabulary), charactéristic of middle french, with some dialectal traits from the North and the East ; analysis of the story ; finally, literary study aiming in particular at assessing the rewriting work made by the prose writer from the source (the poem in alexandrine dating from the XIVth century) and the style of the author, typical of the flamboyant writing of the XVIth century.

Dans le monde du Web, on retrouve les formats RSS et Atom (feeds) qui sont, sans doute, les formats XML les plus populaires et les plus utilisés. Ces formats permettent aux, entre autres, communautés Web, industriels, et services web de publier et d’échanger des documents XML. En outre, ils permettent à un utilisateur de consulter librement des données/informations sans avoir à basculer d’un site à un autre, et cela à l'aide d’applications logicielles. Dans ce cas, l'utilisateur enregistre ses fournisseurs de flux favoris, chaque fournisseur diffuse la liste des nouveaux éléments qui ont été modifiés depuis le dernier téléchargement. Cependant, l'enregistrement d'un certain nombre de sources de flux dans un agrégateur de flux engendre à la fois des problèmes d'hétérogénéité (à cause des différences structurelles et de contenu) et des problèmes de surcharges d’information. Par ailleurs, aucun des agrégateurs de flux existants n’offre une approche qui intègre (ou fusionne) les flux en tenant compte de leurs similarités, du contexte de l’utilisateur et de ses préférences. Dans cette thèse, nous proposons un framework formel qui permet de traiter l'hétérogénéité, l'intégration et l'interrogation des flux d’actualités. Ce framework est fondé sur une représentation arborescente d'un flux et possède trois éléments principaux qui sont les suivants: comparateur de flux, intégrateur de flux, et processeur de requêtes. Le comparateur de flux permet de mesurer le degré de similarité entre deux éléments/flux en utilisant une base de connaissance intégrant une approche ascendante et progressive. Nous proposons une mesure de similarité à base de concept capable de calculer la similarité entre les flux selon le nombre de leurs concepts communs (et différents) et leurs proximités sémantiques. Nous montrons également comment définir et identifier la relation exclusive entre deux textes ou éléments. L’intégrateur de flux permet de fusionner plusieurs flux provenant de différentes sources tout en tenant compte du contexte de l’utilisateur. Nous montrons dans notre étude comment représenter le contexte d’utilisateur ainsi que ses préférences. Nous fournissons un ensemble prédéfini de règles de fusion qui peuvent être enrichies et adaptées par chaque utilisateur. Quant au processeur de requêtes, il se base sur une étude formelle et plus précisément sur une algèbre dédiée à la fusion des flux continus d’actualités que nous proposons ici. Les opérateurs proposés dans cette algèbre sont aidés par des fonctions à base de similarité. Nous catégorisons les opérateurs de flux selon trois catégories: opérateurs d'extraction, opérateurs ensemblistes et opérateur de fusion. Nous montrons que l’opérateur de fusion généralise l’opération de jointure et les opérateurs ensemblistes. Nous fournissons également un ensemble de règles de réécriture et d'équivalence de requêtes pour la simplification et l’optimisation des requêtes. Enfin, nous présentons un prototype nommé «Easy RSS Manager» (EasyRSSManager). Ce prototype est un lecteur sémantique de flux et un composant sémantique pour l’interrogation des fenêtres de flux. EasyRSSManager a été utilisé pour valider, démontrer et tester la faisabilité des différentes propositions de notre étude. En particulier, nous avons testé la complexité en temps et la pertinence de nos approches en utilisant à la fois des données réelles et syntaxiques. / In the Web, RSS and Atom (feeds) are probably the most popular and highly utilized XML formats which allow web communities, publishing industries, web services, etc. to publish and exchange XML documents. In addition, they allow a user to consume data/information easily without roaming from site to site using software applications. Here, the user registers her favorite feed providers; and each provider sends the list of news items changed since the last download. However, registering a number of feed sources in feed aggregators cause both heterogeneity and information overloading problems. Besides, none of the existing RSS/feed aggregators provide an approach that integrates (merges) feeds from different sources considering similarity, user contexts and preferences. In this research, we provide a formal framework that handles the heterogeneity, integration and querying feeds. The framework is based a tree representation of a feed and has three main components: feed comparator, merger and query processor. The feed comparator addresses the issue of measuring the relatedness between news items using a Knowledge Base, a bottom-up and incremental approaches. We proposed a concept-based similarity measure based on the function of the number of shared and different concepts in their global semantic neighborhoods. Here, we use the concept similarity value and relationship as a building block for texts, simple elements and items relatedness algorithms. We show also how to define and identify the exclusive relationship between any two texts and elements. The feed merger addresses the issue of integrating news items from different sources considering a user context. We show here how to represent a user context and her preferences. Also, we provide a set of predefined set of merging rules that can be extended and adapted by a user. The query processor is based on a formal study on RSS query algebra that uses the notion of semantic similarity over dynamic content. The operators are supported by a set of similarity-based helper functions. We categorize the RSS operators into extraction, set membership and merge operators. The merge operator generalizes the join and the set membership operators. We also provide a set of query rewriting and equivalence rules that would be used during query simplification and optimization. Finally, we present a desktop prototype called Easy RSS Manager (EasyRSSManager) having a semanticaware RSS Reader, and semantic-aware and window-based RSS query components. It is designed to validate, demonstrate and test the practicability of the different proposals of this research. In particular, we test the timing complexity and the relevance of our approaches using both a real and syntactic dataset.

Cette thèse se donne pour but de réfléchir aux œuvres poétiques de deux hommes originaires du sud-ouest de l’Angleterre : Thomas Hardy (1840-1928), plus souvent connu pour ses romans, et l’intérêt certain qu’il porte pour les travaux du philologue contemporain William Barnes (1801-1886), lui-même poète. Ainsi, le précieux rapprochement avec Barnes, souvent tombé dans l’oubli des chercheurs qui étudient Hardy, vise à donner de l’envergure au sujet traité. La considération du glossaire de Barnes A Glossary of the Dorset Dialect with a Grammar, ainsi que ses autres œuvres en prose sert de support de référence à l'argumentation dans l'étude du langage hardyen. Toutefois, même si ces deux poètes sont profondément ancrés dans leur région, leurs poésies ne se limitent pas au patois du Dorset. Nous nous intéressons également aux divers registres de langue, et à l’interface entre la langue (anglo-) saxonne et les formes linguistiques plus tardives, qui, ensemble, constituent la richesse de la langue anglaise. Etant donné leurs possibles convergences, il semble fructueux de voir quel était l’impact des préoccupations philologiques et dialectales de Barnes sur la poésie de Hardy, sans oublier de puiser des exemples dans son œuvre romanesque. / The aim of this thesis is to compare the poetical works of two men born in the South-West of England : Thomas Hardy (1840-1928), more often known as a novelist, and his deep interest in the works of his contemporary, the philologist William Barnes (1801-1886), who also happened to be a poet. In this way, the valuable connection with Barnes, often consigned to oblivion among Hardy scholars, aims at giving more prominence to our subject. A thorough study of Barnes’s Glossary of the Dorset Dialect with a Grammar, as well as his other works in prose is the referential linchpin of our exploration of the latter’s language. Nevertheless, even though those two poets’ lives were deeply embedded in their region, their poetries are not restricted to the Dorset dialect. Our interest also lies in the various language registers and the interface between the (Anglo)-Saxon language and later varieties, which, put together, make up the wealth of English. Given their likely convergences, it seems profitable to see to what extent Barnes’ philological research (including his native dialect) impacted upon Hardy’s poetry, without forgetting to cull examples from the latter’s novels.