Cette thèse s'intéresse à la manière dont l'Oulipien Jacques Roubaud, tout en réécrivant des textes et des motifs venus du Moyen Âge, exhume aussi des pratiques littéraires de l'époque. En effet, tout au long de son œuvre, l'écrivain n'a de cesse d'avouer son penchant pour les lettres médiévales. Non content de publier, en qualité d'érudit, des essais sur la lyrique des troubadours ou le roman arthurien, il considère aussi les textes et les auteurs du Moyen Âge comme autant de modèles à sa propre posture. Il se reconnaît notamment dans cette conception de la littérature où l'originalité se jauge à l'aune, non pas de la pure nouveauté, mais de la récupération incessante du déjà-dit. L'écriture est toujours réécriture, adaptation et transmission d’œuvres anciennes, en un mot résolument médiéval, elle est toujours "translation". En recomposant la bibliothèque médiéval qu'arpente Jacques Roubaud au gré de ses écrits, ce travail cherche donc à cerner les mécanismes et les enjeux d'une réécriture à la lumière de la poétique médiévale. / This thesis examines how the Oulipian Jacques Roubaud, while rewriting texts and motifs from Middle Ages, also recaptures an ancient practice of literature. Indeed, throughout his work, Jacques Roubaud acknowledges medieval literature as an inspirational field. Not only does he publish, as a true scholar, several essays about troubadours and Arthurian romances, but also considers texts and writers of Middle Ages as examples to be followed for his own material. He seems to recognise himself in the medieval conception of literature, in which originality is not a matter of newness but consists in dealing with what has already been told. Writing is always about rewriting, adapting and passing old tales on, in a medieval word, writing is about "translatio". By reconstructing the old library that Jacques Roubaud paces, this study therefore analyses the numerous mechanisms of rewriting in the light of medieval poetic.

Alors qu’Anatole France (1844–1924) est considéré comme écrivain sceptique et ironique, un de ses contes intitulé « Le Jongleur de Notre-Dame » échappe à une telle définition. Le ton pieux et sincère de ce conte, fondé sur une légende du Moyen Âge, semble aller à l’encontre du scepticisme, de l’anticléricalisme, et du classicisme déclarés de l’auteur. Au lieu de tenir pour exceptionnels ce type de textes qui mettent en scène une forme de « pureté » dans un sens religieux, tenter de les intégrer dans l’œuvre d’A. France permettra de découvrir une nouvelle facette de l’écrivain, et d’appréhender son idée et son œuvre dans une complexité et une profondeur qui sont cachées sous une apparence simple. Dans un premier temps, on mettra en relation les thèmes médiévaux chez A. France et la mode du médiévisme au XIXe siècle, tant dans le domaine scientifique que dans le courant littéraire, afin d’éclairer l’influence de son époque sur son image médiévale, et la signification de cette image. Dans un deuxième temps, on traitera de la pratique de la réécriture. Par une comparaison, d’une part, entre les textes d’A. France et leurs hypotextes, et d’autre part, entre la réécriture francienne et la réécriture chez les écrivains contemporains, on précisera les caractéristiques et les procédés de la réécriture de notre écrivain. En outre, on montrera que la mise en cadre, ainsi que la réécriture, s’impose dans ses textes, soulignant ainsi la modestie de l’auteur, et la diminution de l’autorité auctoriale. Toutes ces analyses révèleront l’importance de la « simplicité » qui apparaît à plusieurs niveaux dans les textes franciens, et qui peut donner accès à une « pureté » harmonieuse. / While Anatole France (1844–1924) is considered a skeptical, ironic writer, one of his short stories, entitled “Le Jongleur de Notre-Dame” can not easily be reduced to such a reading. Instead, it is a pious and sincere story based on a legend from the Middle Ages – a perspective contradictory to his skepticism, anticlericalism, and classicism. Rather than counting as exceptional cases texts like this that portray “purity” in a religious sense, an attempt to integrate them into the overall view of the works of A. France will enable us to discover a new side to the writer and apprehend his ideas and his works in a complexity and depth that are hidden under simple surface appearances. As a first step, we connect the medieval themes of A. France with the medievalist movement of the 19th century, seen in both historical study and literature, in order to clarify the influence of his times on his image of the Middle Ages, and the meaning of that image. As a second step, we consider the practice of rewriting. By comparing the texts of A. France with their sources, and comparing rewriting of those sources by A. France with rewriting of similar sources by his contemporaries, we identify A. France’s method of rewriting and the characteristics of the product. In addition, we find that the use of “frame story” narration is as necessary as rewriting in the texts of A. France, serving to accentuate the modesty of the author and as a result affecting a decrease in authorial authority. All these analyses reveal the importance of the “simplicity” that appears at several levels in the texts of A. France, and which can give access to the harmonious “purity”.

Les systèmes informatiques jouent un rôle essentiel dans la vie actuelle, et leurs erreurs peuvent avoir des conséquences dramatiques. Il existe des méthodes formelles permettant d'assurer qu'un système informatique est fiable. La méthode formelle utilisée dans cette thèse est appelée complétion d'automates d'arbres et permet d'analyser les systèmes à nombre d'états infini. Dans cette représentation, les états du système sont représentés par des termes et les ensembles d'états par des automates d'arbres. L'ensemble des comportements possibles d'un système est calculé grâce à l'application successive d'un système de réécriture modélisant le comportement du système vérifié. On garantit la fiabilité d'un système en vérifiant qu'un comportement interdit n'est pas présent dans l'ensemble des états accessibles. Mais cet ensemble n'est pas toujours calculable, et nous devons alors calculer une sur-approximation calculable de cet ensemble. Mais cette approximation peut s'avérer trop grossière et reconnaître de faux contre-exemples. La première contribution de cette thèse consiste alors à caractériser, par des formules logiques et de manière automatique, ce qu'est une "bonne" sur-approximation : une approximation représentant un sur-ensemble des configurations accessibles, et qui soit suffisamment précise pour ne pas reconnaître de faux contre-exemples. Résoudre ces formules conduit alors automatiquement à une sur-approximation concluante si elle existe, sans avoir recours à aucun paramétrage manuel. Le second problème de la complétion d'automates d'arbres est le passage à l'échelle, autrement dit le temps de calcul parfois élevé du calcul de complétion quand on s'attaque à des problèmes de la vie courante. Dans la vérification de programmes Java utilisant la complétion d'automates d'arbres, cette explosion peut être due à l'utilisation d'entiers de Peano. L'idée de notre seconde contribution est alors d'évaluer directement le résultat d'une opération arithmétique. D'une façon plus générale, il s'agit d'intégrer les éléments d'un domaine infini dans un automate d'arbres. En s'inspirant de méthodes issues de l'interprétation abstraite, cette thèse intègre des treillis abstraits dans les automates d'arbres, constituant alors un nouveau type d'automates. Les opérations sur le domaine infini représenté sont calculées en une seule étape d'évaluation plutôt que d'appliquer de nombreuses règles de réécriture. Nous avons alors adapté la complétion d'automates d'arbres à ce nouveau type d'automate, et la généricité du nouvel algorithme permet de brancher de nombreux treillis abstraits. Cette technique a été implémentée dans un outil appelé TimbukLTA, et cette implémentation permet de démontrer l'efficacité de cette technique. / Computer systems are more and more important in everyday life, and errors into those systems can make dramatic damages. There are formal methods which can assure reliability of a system. The formal method used in this thesis is called tree automata completion and allows to analyze infinite state systems. In this representation, states of a system are represented by a term and sets of states by tree automata. The set of all reachable behaviors (or states) of the system is computed thanks to successive applications of a term rewriting system which represents the behavior of the system. The reliability of the system is assured by checking that no forbidden state is reachable by the system. But the set of reachable states is not always computable and we need to compute an over-approximation of it. This over-approximation is not always fine enough and can recognize counter examples. The first contribution of this thesis consist in characterizing by logical formulae, in an automatic way, what is a good approximation: an over-approximation which does not contain any counter example. Solving these formulae leads automatically to a good over-approximation if such an approximation exists, without any manual setting. An other problem of tree automata completion is the scaling when dealing with real life problems. In verification of Java programs using tree automata completion, this explosion may be due to the use of Peano numbers. The idea of the second contribution of this thesis is to evaluate directly the result of an arithmetic operation. Generally speaking, we integrate elements of an infinite domain in a tree automaton. Based on abstract interpretation, this thesis allows to integrate abstract lattice in tree automata. Operations on infinite domain are computed in one step of evaluation instead of probably many application of rewrite rules. Thus we adapted tree automata completion to this new type of tree automata with lattice, and genericity of the new algorithm allows to integrate many types of lattices. This technique has been implemented in a tool named TimbukLTA, and this implementation shows the efficiency of the technique.

Pour camoufler son passé, dissimuler ses relations adultères, un inceste consenti avec son père et des mensonges peu avouables, les « morceaux choisis » qu’Anaïs Nin livre au lecteur comme son Journal, à partir de 1966, s’affranchissent de toute fidélité aux manuscrits. Le journal posthume, dit « non expurgé » et basé sur les transcriptions dactylographiées que la diariste réalisait de ses journaux, n’est pas non plus exempt de réécritures et d’amendements conséquents. Parmi les quelque cent dix volumes d’un journal manuscrit protéiforme, cette étude tente de mettre au jour ce qui reste, mais surtout ce qui s’ajoute et remet en cause l’appellation de « journal ». Tentant de saisir un moi sans cesse en fuite, la diariste compose sa vie dont l’imaginaire, même dans les manuscrits, fait pleinement partie. Au sein d’un corpus imposant consulté à UCLA et à l’université de Northwestern, cette étude se concentre sur la période du début du Journal (par opposition au Journal de Jeunesse) jusqu’à la publication par Nin de The Winter of Artifice (1939 et 1942), fictionnalisation de sa vie à une époque où publier le journal est inenvisageable. Ce recueil est aussi une tentative de maîtrise d’une œuvre achevée afin de vaincre l’éternel conflit du journal avec le temps et celui de la femme avec son père. Comparer les manuscrits de ces fictions, lues et corrigées par Henry Miller, les journaux manuscrits, les journaux publiés de façon anthume et posthume permet de saisir l’enjeu des réécritures, de l’autocensure ainsi que la démarche créative de Nin qui relève de mises en scène que la diariste légitime plus tard en s’appropriant les principes psychanalytiques d’Otto Rank. / To camouflage her past, dissemble about her adulterous affairs, and conceal consensual incest with her father and a lifetime of brazen lies, the « selected pieces » that Anaïs Nin offers to readers as her Diary, as of 1966, bear only a tangential relationship to the manuscripts. Even the so-called unexpurgated diary, published posthumously and based on the typescripts that Nin made of her diaries, contains significant revisions and emendations. Among the hundred and ten-odd volumes of a protean, handwritten diary, this study brings to the fore what remains, but also what was added, leading us to question whether the resulting document can truly be called a « diary ». In attempting to capture her ever-elusive self, Nin composed her life, and even in the manuscripts, the imaginary played a great part in that process. From a vast corpus examined at UCLA and Northwestern university, this study focuses on the period from the beginning of The Diary (as distinct from The Early Diary), till Nin publishes The Winter of Artifice (1939, and 1942), a fictionalization of her life at a time when publishing the diary was impossible. This piece is also an attempt to deal with—and, Nin hoped, vanquish—the lingering conflict of the diary with time and that of the woman with her father. Comparing the drafts of this work, revised by Henry Miller, with the handwritten diaries and the anthumously and posthumously published versions enables us to fully seize the extent of Nin’s rewriting and self-censorship, as well as the scope of a creative approach which amounts to many stagings of the self that the diarist would later legitimatize by making Otto Rank’s psychoanalytical principles her own.

Cette thèse se propose d’étudier comment la lecture de Virgile informe toute l’oeuvre bellayenne, voire définit et révèle la poésie et la figure du poète bellayens. Dans une première partie, un état des lieux de la réception du texte virgilien de l’Antiquité à la Renaissance nous fait découvrir les moyens mis à disposition de Du Bellay pour lire et imiter Virgile, la lecture se révélant indissociable de l’écriture. Un premier relevé et une première typologie des emprunts à Virgile dans l’oeuvre bellayenne (1549-1560) permettent alors de dégager des éléments d’analyse de l’imitation de Virgile par Du Bellay. La deuxième partie examine alors de manière diachronique la notion d’”innutrition” virgilienne. Elle met ainsi en relief l’année 1552, année de la traduction des livres quatre et six de l’Enéide, année charnière dans la production poétique bellayenne, où s'opère l’assimilation du texte virgilien et le passage à une véritable réécriture de Virgile dans les poèmes ultérieurs (1552-1560). La troisième partie articule ces enjeux proprement poétiques aux enjeux socio-politiques dans la mesure où elle met au jour les enjeux de cette imitation de Virgile par Du Bellay, en particulier la définition de sa place de poète au sein de la cité dans les recueils romains (1558) et surtout dans les discours politiques des dernières années (1558-1560). / This dissertation presents a critical analysis of the way reading Virgil impacted the works of Du Bellay, even so far as to define and reveal Du Bellay’s poetry and his figure as a poet.In the first part, an assessment of the various tools for reading Virgilian texts from Antiquity to the Renaissance brings to light the means available to Du Bellay in order to read and imitate Virgil – his reading of Virgil and his own writing being intrinsically associated. A preliminary listing and categorization of the elements Du Bellay borrowed from Virgil in his works from 1549 to 1560 makes it possible to highlight ways to analyze how Virgil is imitated by Du Bellay. The second part then examines in a diachronic fashion the notion of Virgilian “innutrition”. This part thus draws particular attention to 1552, year of the translation of books four and six of The Aeneid, a pivotal year in Du Bellay’s poetic production for it seemed to have born witness to his assimilation of Virgilian texts and his moving on to genuine rewriting of Virgil in his later poems from 1552 to 1560.The third part articulates the specifically poetic issues to socio-political concerns, insofar as it exposes the purpose of Du Bellay in his imitation of Virgil, most particularly the definition of his position as a poet within the city in the Roman collections (1558) and especially in the political speeches from the later years (1558-1560).

Au-delà des trois Psyché de Lully (ballet, 1656 ; tragi-comédie et ballet, 1671 ; tragédie en musique, 1678), apparaît, entre 1671 et 1718, sous la plume de différents auteurs, une multitude de pièces ou d’œuvres se réclamant des Psyché de Lully, alors mêmes qu’elles en divergent, parfois au point d’en récuser les fondements. L’objet de ce travail consiste donc à comprendre comment une telle situation est possible. Parallèlement à leurs spécificités respectives, les trois Psyché de Lully, mettent en œuvre un principe de création par réécriture musicale, que les successeurs de Lully vont durablement exploiter. En dépit de matériaux originels lacunaires ou discordants, les contemporains de Lully identifient chacune des Psyché comme telle, attestant qu’au-delà de leurs disparités existe un certain nombre de traits communs à l’écriture de Psyché, quel que soit son ‘genre’. Cependant, les variations apportées par les diverses réécritures, de Lully, de ses contemporains ou de ses successeurs constituent des ensembles dont on peut suivre l’évolution, ce qui signifie qu’au-delà des seules Psyché de Lully, le corpus global des réécritures fait sens. De fait on identifie en même temps qu’une dramatisation de la musique par le chant, la disparition du drame par la dramatisation même de la musique. Ce phénomène se réfracte dans la lecture du mythe et du sujet tragique en général : de symbolique et religieuse, elle se fait laïque et critique, épousant par là-même l’évolution du concept d’harmonie dans le spectacle de Cour. Ainsi les Psyché de Lully apparaissent-elles comme un laboratoire de l’histoire du spectacle de Cour. / Beyond Lully's three Psychés (a ballet in 1656 ; a tragicomedy and ballet in 1671 ; an opera in 1678) a multitude of plays or works appear between 1671 and 1718. Composed by various authors they all claim to draw their inspiration from Lully's Psychés although they differ from it or even refute its foundations. Hence, the purpose of this work is to understand how such a situation is possible. Parallel to their respective specificities, Lully's three Psychés implement a principle of creation through musical rewriting which Lully's successors will make use of for years. In spite of incomplete or conflicting original materials, Lully's contemporaries identify each of the Psychés as such, showing that beyond their disparities a certain number of common points in the writing of Psyché can be found, whatever the 'genre'. Yet the variations brought by the various rewritings, whether by Lully himself or by his contemporaries or successors, make up wholes the evolutions of which can be followed, which means that beyond Lully's Psychés the global corpus of the rewritings makes sense. De facto, as well as a dramatization of music through singing, we can identify the disappearance of drama through the actual dramatization of music. This phenomenon is refracted in the reading of the myth and the tragic subject in general : from symbolic and religious it becomes secular and critical , thus embracing the concept of harmony in court entertainment. Therefore, Lully's Psychés appear as a laboratory of the history of court entertainment.

Existe-t-il un mythe littéraire du forçat ? Peut-on dire que le roman de forçat est un genre voire un sous-genre littéraire ? A ces deux problématiques nous tentons de répondre dans notre thèse. Nous donnons tout d’abord une définition historique, sociale et physiologique du forçat, puis, en nous appuyant sur la notion de « bassin sémantique » établie par Gilbert Durand, nous analysons différents mythes et mythèmes tels que le diable, Napoléon ou encore le surhomme. Ce qui nous amène à la conclusion suivante que le forçat est bien un mythe littéraire. En prenant ensuite comme paradigme le roman de Ponson du Terrail, Le Bagne de Toulon, nous établissons une grille de lecture des thèmes et motifs récurrents – le bagne, l’évasion, la paternité, la poursuite ou encore la vengeance - que l’on peut trouver dans les romans où cette figure apparaît. Nous voyons enfin comment ce personnage est représenté dans la littérature étrangère et les formes qu’il a pu prendre depuis la période classique jusqu’à nos jours, galérien, bagnard et prisonnier. Nous montrons également qu’il a trouvé sa place aussi bien dans le théâtre que le cinéma et qu’il s’est imposé en tant que héros de la paralittérature : polar, science-fiction, western, roman d’aventures, bande-dessinée, etc. Par ailleurs, nous examinons, à travers l’œuvre d’Albert Londres et Henri Charrière, comment le récit de témoignage a contribué à la renaissance du roman de forçat. Le roman de forçat a encore de beaux jours devant lui comme l’illustrent les réécritures d’œuvres célèbres telles que Les Misérables ou Le Comte de Monte Cristo. / Is there such thing as a literary myth about the convict ? Can we say that literature dealing with convicts is a genre or even a sub-genre? These are the two issues we will adress in our thesis. First we give a historical, social and physiological definition of the convict ; the notion of “bassin sémantique” as established by Gilbert Durand, helps us analyse different myths and mythemes, such as the devil, Napoleon or even the superman and this leads us to the conclusion that the convict as a literary myth does exist. Secondly, we use the Bagne de Toulon by Ponson du Terrail as a pattern to discuss the recurrent themes and motives pervading the novels where such a figure appears : penal colony, escape, paternity, pursuit or even revenge. At last ,we consider the way this character is represented in foreign literature and the different forms it has taken since the classical period until to-day, whether it be galley slave, convict or prisoner. We also show that it is also present in other genres such as the theatre or the cinema and that it features prominently in marginal literature : detective novel, science-fiction, western, adventure story, comic strip. Besides, we examine how the accounts of Albert Londres and Henry Charrière contributed to a rebirth of the convict novel for which , as is illustrated by the rewriting of famous works such as les Misérables or The Count of Monte Cristo there are good times ahead .

Dans le domaine de l'ingénierie du logiciel, les systèmes de types sont souvent considérés pour la prévention de l'occurrence de termes dénués de sens par rapport à une spécification des types. Dans le cadre de l'extension d'un langage de programmation avec des caractéristiques dédiées, le typage de ces dernières doit être compatible avec les caractéristiques du langage hôte. Cette thèse se situe dans le contexte de la réécriture de termes embarquée dans la programmation orientée objet. Elle vise à développer un système de types avec sous-typage pour le support du filtrage de motifs associatif sur des termes algébriques construits sur des opérateurs variadiques. Ce travail s'appuie sur le langage de réécriture Tom qui fournit des constructions de filtrage de motifs et des stratégies de réécriture à des langages généralistes comme Java. Nous décrivons l'évaluation de code Tom à travers la définition de la sémantique opérationnelle de ce langage en tant qu'élément essentiel de la preuve de la sûreté du système de types. Celui-ci inclut la vérification de types ainsi que l'inférence de types à base de contraintes. Le langage de contraintes est composé d'une part, de contraintes d'égalité, résolues par unification, d'autre part, de contraintes de sous-typage, résolues par la combinaison de phases de simplification, de génération d'une solution et de ramassage de miettes. Le système de types a été intégré au langage Tom, ce qui permet une plus forte expressivité et plus de sûreté a fin d'assurer que les transformations décrites par des règles de réécriture préservent le type des termes / In software engineering, type systems are often considered in order to prevent the occurrence of meaningless terms in regard to a type specification. When extending a given programming language with new dedicated features, the typing of these features must be compatible with the ones in the host language. This thesis is situated in the context of term rewriting embedded in object-oriented programming and aims to develop a safe type system featuring subtyping for the support of associative pattern matching on algebraic terms built from variadic operators. In this work we consider the Tom rewriting language that provides associative pattern matching constructs and rewrite strategies for Java. We describe Tom code evaluation through the definition of the operational semantics of the Tom language as an essential element to show that the type system is safe. The type system includes type checking and constraint-based type inference. The constraint language is composed of equality constraints solved by unification and subtyping constraints solved by a combination of simplification, generation of solution and garbage collecting. The type system was integrated in Tom which provides both stronger expressiveness and more safety able to ensure that the transformations described by rewrite rules preserve the type of terms

No description available.

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.