Cette étude analyse la place que les femmes occupent au cœur du phénomène de résurgence que le mythe arthurien va connaître à partir de la seconde moitié du XXe siècle. A l'origine de cette résurgence, nous évoquons l'influence considérable du Seigneur des Anneaux de J.R.R. Tolkien et nous établissons un parallèle entre cet ouvrage et la légende arthurienne.Nous analysons ensuite des réécritures arthuriennes d'auteures féminines et contemporaines, d'origine française, anglaise ou américaine. D'une part, nous nous penchons sur les œuvres qui restent proches de la tradition arthurienne ; d'autre part sur celles qui sont en rupture avec cette tradition.Enfin, nous étudions les similitudes et les divergences entre les réécritures proposées par des femmes et celles de leurs homologues masculins. Nous abordons évidemment la question du féminisme et celle de la féminisation d'une matière essentiellement masculine à l'origine. Différents points liés à la question féminine seront alors abordés, comme la littérature de jeunesse, le recours aux sciences, le rôle des religions et la figure de la femme tentatrice développée par les auteurs masculins, en opposition à la valorisation du corps féminin dans les œuvres de femmes.Ce travail de comparaison entre des réécritures masculines et féminines du mythe d'Arthur a pour but de déterminer la place que les femmes ont su prendre dans la résurgence de cette légende, mais aussi de s'interroger sur la pertinence d'une sexuation systématique de l'écriture des mythes. / This study analyses women's place in the resurgence phenomenon that the Arthurian myth has known from the second part of the twentieth century onwards. At the root of this resurgence, we mention the significant influence of The Lord of the Rings by J.R.R. Tolkien and we parallel this novel with the Arthurian legend.Then, we analyse Arthurian rewriting by female French, English or American contemporary authors. On the one hand, we look into works which stay close to the Arthurian tradition; on the other hand, into those which are at odds with this tradition.Finally, we study similarities and divergences between rewritings offered by women and the ones of their male counterparts. We obviously deal with the feminism issue and the one of the feminisation of an essentially and originally masculine topic.Different points related to the feminine question are then tackled, like youth literature, the resort to sciences, the role of religions, and the case of the temptress developed by male authors, in opposition to the valorisation of the feminine body in women's novels.This comparative work between masculine and feminine rewritings of the Arthurian myth aims at determining the place that women have managed to take in the resurgence of this legend and also to question the significance of the systematic sexuation in the myth writings.

Lʼobjectif de cette étude est de saisir le but dʼun discours hagiographique, en fondant lʼanalyse sur la tradition, lʼauteur, le style et le public de certains textes de l'Antiquité tardive. Les auteurs de ces textes, écrits en prose grecque et illustrés par lʼÉloge de Saint Anastase de Georges de Pisidie, suivaient les préceptes de la rhétorique et réélaboraient les canons de la littérature hagiographique. La thèse est divisée en cinq chapitres. Le premier trace une histoire de la réécriture et montre lʼévolution de la technique paraphrastique entre le sixième et le septième siècle après J.-C. Lʼanalyse se prolonge jusqu'aux soixante-dix Miracles de Cyr et Jean par Sophrone de Jérusalem et à lʼÉloge de Saint Anastase par Georges de Pisidie, une métaphrase des actes du martyre, dont le but était de propager les victoires de lʼEmpire chrétien contre la Perse. Dès le deuxième chapitre, lʼattention se concentre uniquement sur lʼÉloge, dont une première traduction italienne est proposée. Le troisième chapitre traite de la diffusion du culte de Saint Anastase après son martyre, advenu le 22 janvier 628 après J.-C. Le quatrième chapitre se focalise sur la technique utilisée par Georges pour réécrire les actes du martyre de Saint Anastase. Le dernier chapitre analyse la structure de lʼÉloge, en essayant de montrer les points où la prose de Georges suit les préceptes de la rhétorique ancienne tardive. Ce travail espère ainsi souligner lʼimportance de lʼÉloge dans la production panégyrique de Georges, dans le contexte de lʼhistoire littéraire du septième siècle après J.-C. et, plus généralement, de lʼAntiquité tardive. / The aim of the thesis is to understand the purpose of an hagiographic discourse, basing the analysis on the tradition, the author, the style and the public of certain texts. These texts (exemplified by the Encomium of Saint Anastasius by George of Pisidia) were written in Greek prose during the period of Late Antiquity and Early Byzantium. Their authors increasingly tended to follow the precepts of rhetoric and to rework the canons of hagiographic literature. The thesis is divided into five chapters. The first traces the history of rewriting and shows the evolution of the paraphrastic technique between the sixth and seventh centuries AD. The analysis extends up to the seventy Miracles of Cyrus and John by Sophronius of Jerusalem and to the Encomium of Saint Anastasius by George of Pisidia, a metaphrase of the acts of martyrdom, whose aim was to propagate the victories of the Christian Empire against Persia. From the second chapter, the attention is focused only on the Encomium, of which is offered a first Italian translation. The third chapter is a discussion on the spread of the cult of Saint Anastasius, after his martyrdom on January 22, 628 AD. The fourth chapter focuses on the technique used by George to rewrite the acts of the martyrdom of Saint Anastasius. The last chapter analyzes the structure of the Encomium, trying to highlight the points where the prose of George seems to follow more closely the dictates of late antique rhetoric. It is hoped with this to emphasize the importance of a text as the Encomium, within the panegyric production of George of Pisidia, but also the literary history of the seventh century AD and, more generally, of Late Antiquity.

Lire la poésie de Pétrarque sous l'angle de la métamorphose est en soi une approche originale, d’autant plus que la métamorphose s'y présente sous de multiples formes : élément narratif explicite, transformation implicite par la métaphore, allusion à des mythes ovidiens, mutatio extérieure et intérieure des personnages de la fabula lyrique autobiographique, transformation des textes et de la poétique de l'auteur au fil du passage du temps, lui-même métamorphosant. Cette thèse aborde la poétique de Pétrarque en-dehors des sentiers battus, en étudiant d'abord la tradition médiévale des commentaires allégoriques des trois mythes ovidiens, Daphné, Méduse, Narcisse, qui sont fondamentaux dans les Rerum Vulgarium Fragmenta, afin de déterminer ensuite les points de contact ou de divergence avec les poésies du livre. C’est également par une démarche nouvelle que ces trois mythes principaux, auxquels s'ajoutent des fables secondaires, sont appréhendés d’après la chronologie réelle de l'écriture et ses interférences avec la construction progressive du livre-canzoniere. La thématique métamorphique d’ascendance ovidienne est ainsi confrontée à la problématique de la mutatio animi augustinienne. Enfin, la double présence des mythes métamorphiques et de la métamorphose comme réécriture, autobiographique ou métapoétique, est élargie aux Triomphes et à la poésie latine (Epystole, Africa, Bucolicum Carmen), jamais étudiés dans cette perspective. / Reading Petrarch's poetry from the angle of metamorphosis is in itself an original approach, all the more since metamorphosis takes there many different forms : a narrative explicit component, implicit transformation by metaphor, allusion to ovidian myths, external and internal mutatio of the characters of the lyric and autobiographical fabula, transformation of the texts and the author's poetics with the passing of time, which has itself a metamorphosing action. This thesis approaches Petrarch's poetics geting off the beaten paths, by studying first the medieval tradition of allegorical commentaries, particularly those concerning three ovidian myths, Daphne, Medusa, Narcissus, which are fundamental in the Rerum Vulgarium Fragmenta, with the purpose to determine then common features and divergences with the poems of the book. These three main myths, completed by secondary fables, are also studied by means of a new method, that is according to the chronology of writing and its implications with the progressive construction of the canzoniere. The metamorphic theme, of ovidian origin, is in this way confronted to the problematic of the augustinian mutatio animi. Lastly, the double presence of metamorphic myths and of metamorphosis as rewriting, autobiographical or metapoetical, is extended to the Triumphs and to latin poetry (Epystole, Africa, Bucolicum Carmen), never analysed from that viewpoint.

Le seul consensus autour de la poésie féminine contemporaine est celui d’une grande diversité. Sur le plan thématique et formel, autant que du point de vue de l’origine des poètes, il semble difficile de réunir sous un paradigme unique les œuvres écrites par des femmes. C’est également l’un des aspects que soulignent l’ensemble des ouvrages consacrés à l’humour : le terme renvoie à des phénomènes si différents qu’il est presque impossible de le réduire à une définition qui recouvre l’ensemble de ses manifestations. C’est pourtant précisément en raison de cette difficulté définitionnelle que l’humour constitue un prisme de choix pour parcourir la poésie féminine contemporaine. Par nature protéiforme, l’humour est « transgenre » ; il subvertit l’ordre social et les instances de pouvoir réel ou symbolique, mais remet aussi en question les identités génériques et sexuelles. Rien d’étonnant à ce que les femmes poètes y voient une arme pour s’attaquer aux idées reçues, aux stéréotypes et aux métaphores figées, notamment celles qui prétendent définir l’identité féminine. Mettant en adéquation ce qui se passe sur le plan de l’énonciation, de la réception, de la rhétorique et de la prosodie, l’humour est donc envisagé comme une modalité d’écriture, c’est-à-dire un ensemble de formes traduisant un positionnement particulier. Cette posture, qu’elle prenne le nom d’irrévérence, d’incongruité ou de décalage, témoigne à la fois des liens complexes que les femmes entretiennent avec la tradition poétique et des stratégies qu’elles ont développées pour y parvenir, dans lesquelles se dessine une même volonté, en explorant les lieux communs et les espaces de consensus, de redessiner les contours de la poésie contemporaine. / The only consensus around the question of contemporary women poetry is that of its diversity: the themes and forms of the poems written by women are almost as varied as the origins of the poets themselves. Diversity is also one of the aspects underlined by most of the publications on the subject of humour. The term applies to so many phenomena that it is virtually impossible to reduce it to a final definition. Yet it is precisely because humour is so difficult to define that it constitutes a particularly appropriate prism to approach contemporary women poetry. Humour is by essence “transgender”. It subverts social order as well as instances of real or symbolical power, and challenges sexual and generic identities. Unsurprisingly, women poets have seen it as a choice weapon to attack received opinions and stereotypes, especially when those aim at defining femininity. Humour should therefore be considered as a form of writing, or rather a set of forms, expressing a specific positioning and operating on the level of enunciation, reception, rhetoric and prosody. This posture, which can be interpreted as irreverence, incongruity or difference, testifies of the complex ties women have established with the poetic tradition. But to do so, women have also developed strategies which enable them to explore common knowledge and accepted truths, and thus redefine the contours of contemporary poetry.

La question de la réécriture du théâtre au XVIIIe siècle implique tout d’abord une réflexion sur le statut de l’œuvre littéraire à une époque où les droits d’auteur au sens où nous l’entendons aujourd’hui n’étaient pas reconnus et où le respect scrupuleux de la lettre des textes publiés n’était pas une obligation. Les auteurs postclassiques construisent en effet leur esthétique dramaturgique d’après la dramaturgie des auteurs de l’époque de Louis XIV. Ce processus relève principalement de leur ambition d’atteindre la réputation de Molière, de Racine et de Corneille. Une situation identique se produit aussi chez les auteurs des suites théâtrales du Mariage de Figaro de Beaumarchais. Par toutes ces caractéristiques, le théâtre du XVIIIe siècle représente sans doute une prolongation du théâtre du siècle précédent. Néanmoins, les éléments novateurs se profilent à travers les pièces des auteurs de l’époque. Ces éléments contribuent en même temps à la prise de distance avec la dramaturgie classique qui (la prise de distance) se développera progressivement. Par exemple, les successeurs de Molière, avec Marivaux au premier rang, semblent amplement influencés par la dramaturgie de l’auteur du Tartuffe et du Misanthrope. Cependant, pour ces dramaturges, le théâtre de Molière ne fut qu’un modèle permettant la constitution de leur propre esthétique théâtrale. Presque chaque auteur comique du XVIII siècle apporte une dimension novatrice personnelle et originale. Cette étude devrait donc permettre d’établir une typologie des réécritures théâtrales au XVIIIe siècle. / The problem of theatrical rewritings in the 18th century, i.e. the imitations of the great classics is primarily related to the thought of a literary work status in the period in which the authorship rights (in the form known nowadays) were not founded. Namely, in the 18th century there was no obligation as to the respect of author’s rights to any published work. Postclassical authors modelled their dramaturgical aesthetics after the dramaturgy of the authors of the time of Louis XIV. This process is mainly due to their ambition to rival the reputation of Molière, Racine and Corneille. An identical situation also occurs among the authors of the theatrical sequels of the Marriage of Figaro by Beaumarchais. By ail these characteristics, the theater of the eighteenth century probably represents an extension of the theater of the previous century. Nevertheless, the innovative elements are profile in the plays of the authors of the time. At the same time these elements contribute to the detachment from classical dramaturgy which (detachment) will develop gradually. For example, Molières successors, with Marivaux in the forefront, seem to be heavily influenced by the dramaturgy of the author of Tartuffe and Misanthrope. However, for these playwrights, the theater of Molière was only a model allowing the constitution of their own theatrical aesthetics. Almost every comedy playwright of the eighteenth century introduces a personal and original innovative dimension. This study should therefore make it possible to establish a typology of theatrical rewritings in the 18th century.

Développer des analyseurs statiques nécessite une manipulation intensive de structures d'arbres et de graphes représentant le programme. La finalité de cette thèse est de proposer des constructions de langage dédiées au prototypage d'outils d'analyse et de transformation de programmes et inspirées de la réécriture de termes et de termes-graphes. L'originalité de notre approche est d'embarquer ces nouvelles constructions dans les langages généralistes sous la forme d'un langage dédié embarqué. Les travaux de cette thèse se fondent sur le langage Tom qui propose d'embarquer des constructions de réécriture dans des langages généralistes comme Java. La première contribution de cette thèse a été de formaliser les langages embarqués sous le concept de langage îlot. Ce formalisme a ainsi permis de certifier la compilation du langage Tom. Nos travaux sur l'analyse de Bytecode nous ont ensuite conduit à réfléchir à la représentation et la manipulation de graphes de flot de programmes et nous avons alors proposé des constructions de langage inspirées de la réécriture de termes-graphes. Une autre contribution de cette thèse est la conception d'un langage de stratégies adapté à l'expression de propriétés sur un programme. Associé au filtrage, ce langage permet d'exprimer de manière déclarative des analyses et des transformations sur des arbres ou des graphes. Enfin, l'ensemble des propositions de cette thèse a été intégré au langage Tom sous la forme de nouvelles constructions syntaxiques ou d'améliorations de constructions existantes et a ainsi pu être appliqué à l'analyse du langage Java.

Il existe de nombreux démonstrateurs automatiques qui effectuent des raisonnements modulo une théorie équationnelle, c'est-à-dire enconsidérant non pas des termes, mais des classes d'équivalence de termes. En général, les travaux accomplis dans ce domaine ont pour but de concevoir des techniques pour faire de la déduction modulo une théorie particulière. Dans [Avenhaus & Plaisted, 2001], Jürgen Avenhaus et David Plaisted ont cherché à déterminer des techniques qui pourraient être employées dans le traitement non plus d'une théorie particulière, mais de toute une classe de théories équationnelles: les théories permutatives. Les auteurs ont introduit les notions de terme stratifié et d'ensemble stratifié, et décrit les procédures qui devraient être implémentées dans un démonstrateur automatique basé sur ces termes stratifiés. Les propriétés de régularité de ces théories font qu'il est possible d'employer des techniques efficaces de théorie algorithmique des groupes pour les traiter. Les auteurs espéraient que l'efficacité de ces techniques contrebalancerait le nombre élevé de clauses qui pourraient être générées dans un démonstrateur automatique basé sur ces termes stratifiés. Cependant, les algorithmes proposés pour faire de la déduction avec des termes stratifiés sont basés sur une énumération explicite des éléments des groupes, et sont donc exponentiels. Dans ce mémoire, nous développons les travaux d'Avenhaus et Plaisted, et modifions leur formalisme pour pouvoir faire l'usage le plus intensif possible des techniques de théorie algorithmique des groupes.

Cette thèse traite le problème de la réécriture de requêtes en termes de vues en présence de contraintes de valeurs. Les contraintes de valeurs permettent de restreindre le domaine de valeur d'un attribut donné. Elles connaissent un regain d'intérêt depuis leur utilisation dans le cadre du langage d'ontologie du web OWL. Ce travail est motivé par une application réelle qui vise à permettre l'intégration flexible d'un grand nombre de sources de données agricoles. L'étude de la décidabilité de ce problème est basée sur le cadre des logiques de description. Ce travail montre également que le problème de calculer les réécritures engendrées par les contraintes de valeurs se rattache au cadre de découverte des connaissances dans les bases de données introduit par Mannila and Toivonen. Ceci nous permet d'adpter des algorithmes exustants et efficaces pour calculer ces réécritures et proposer un prototype de réécriture qui passe à l'echelle.

L'analyse comportementale traditionnelle opère en général au niveau de l'implantation du comportement malveillant. Pourtant, elle s'intéresse surtout à l'identification d'un comportement donné, indépendamment de sa mise en œuvre technique, et elle se situe donc plus naturellement à un niveau fonctionnel. Dans cette thèse, nous définissons une forme d'analyse comportementale de programmes qui opère non pas sur les interactions élémentaires d'un programme avec le système mais sur la fonction que le programme réalise. Cette fonction est extraite des traces d'un programme, un procédé que nous appelons abstraction. Nous définissons de façon simple, intuitive et formelle les fonctionnalités de base à abstraire et les comportements à détecter, puis nous proposons un mécanisme d'abstraction applicable à un cadre d'analyse statique ou dynamique, avec des algorithmes pratiques à complexité raisonnable, enfin nous décrivons une technique d'analyse comportementale intégrant ce mécanisme d'abstraction. Notre méthode est particulièrement adaptée à l'analyse des programmes dans des langages de haut niveau ou dont le code source est connu, pour lesquels l'analyse statique est facilitée : les programmes conçus pour des machines virtuelles comme Java ou .NET, les scripts Web, les extensions de navigateurs, les composants off-the-shelf. Le formalisme d'analyse comportementale par abstraction que nous proposons repose sur la théorie de la réécriture de mots et de termes, les langages réguliers de mots et de termes et le model checking. Il permet d'identifier efficacement des fonctionnalités dans des traces et ainsi d'obtenir une représentation des traces à un niveau fonctionnel ; il définit les fonctionnalités et les comportements de façon naturelle, à l'aide de formules de logique temporelle, ce qui garantit leur simplicité et leur flexibilité et permet l'utilisation de techniques de model checking pour la détection de ces comportements ; il opère sur un ensemble quelconque de traces d'exécution ; il prend en compte le flux de données dans les traces d'exécution ; et il permet, sans perte d'efficacité, de tenir compte de l'incertitude dans l'identification des fonctionnalités. Nous validons nos résultats par un ensemble d'expériences, menées sur des codes malicieux existants, dont les traces sont obtenues soit par instrumentation binaire dynamique, soit par analyse statique.

Les travaux de cette thèse portent sur l'analyse syntaxique et sémantique de la phrase, en utilisant pour l'analyse syntaxique un formalisme grammatical lexicalisé polarisé et en prenant comme exemple les grammaires d'interaction. Dans les formalismes grammaticaux lexicalisés, les polarités permettent de contrôler explicitement la composition des structures syntaxiques. Nous exploitons d'abord le besoin de composition exprimé par certaines polarités pour définir une notion faible de réduction de grammaire applicable à toute grammaire lexicalisée polarisée. Nous étudions ensuite la première phase de l'analyse syntaxique des formalismes lexicalisés: l'étiquetage grammatical. Nous exploitons là encore le besoin de composition de certaines polarités pour concevoir trois méthodes symboliques de filtrage des étiquetages grammaticaux que nous implantons sur automate. Nous abordons enfin l'interface syntaxe-sémantique des formalismes lexicalisés. Nous montrons comment l'utilisation de la réécriture de graphes comme modèle de calcul permet concrètement d'utiliser des structures syntaxiques riches pour calculer des représentations sémantiques sous-spécifiées.