Le manuscrit présente une partie des travaux de recherche que j'ai effectués au cours des dix dernières années. Je me suis focalisé en particulier sur la présentation du calcul de réécriture comme un formalisme théorique permettant de donner la sémantique dynamique et statique de toute une famille de langages basés sur le filtrage, les règles et les stratégies de réécriture. Je présente le calcul de réécriture général ainsi que plusieurs instances et extensions, en mettant l'accent sur l'expressivité et sur les propriétés de ces calculs. Je montre en particulier que l'intégration uniforme des mécanismes de bases de la réécriture et du lambda-calcul permet une définition précise du processus de réécriture sous des stratégies ainsi que des encodages, typés ou non, de différents formalismes similaires. Je présente dans ce manuscrit des systèmes de types développés dans l'optique d'un formalisme théorique pour le typage dans des langages de programmation à base de règles et je ne discute que brièvement les systèmes de types dépendants étudiés dans une perspective logique. Le filtrage et l'application de substitutions obtenues comme résultat sont des opérations réalisées au niveau méta du calcul de réécriture mais une version explicite permet leur manipulation modulaire et efficace au niveau objet du calcul. Cette version explicite du calcul est étendue avec des structure de graphe permettant de représenter explicitement le partage et les cycles. Je propose également un formalisme général permettant d'exprimer différents calculs à motif et une méthodologie qui met en évidence les points clés permettant d'obtenir la confluence de ces calculs.

Cette thèse propose plusieurs contributions sur le thème de la détection d'implications textuelles (DIT). La DIT est la capacité humaine, étant donné deux textes, à pouvoir dire si le sens du second texte peut être déduit à partir de celui du premier. Une des contributions apportée au domaine est un système de DIT hybride prenant les analyses d'un analyseur syntaxique stochastique existant afin de les étiqueter avec des rôles sémantiques, puis transformant les structures obtenues en formules logiques grâce à des règles de réécriture pour tester finalement l'implication à l'aide d'outils de preuve. L'autre contribution de cette thèse est la génération de suites de tests finement annotés avec une distribution uniforme des phénomènes couplée avec une nouvelle méthode d'évaluation des systèmes utilisant les techniques de fouille d'erreurs développées par la communauté de l'analyse syntaxique permettant une meilleure identification des limites des systèmes. Pour cela nous créons un ensemble de formules sémantiques puis nous générons les réalisations syntaxiques annotées correspondantes à l'aide d'un système de génération existant. Nous testons ensuite s'il y a implication ou non entre chaque couple de réalisations syntaxiques possible. Enfin nous sélectionnons un sous-ensemble de cet ensemble de problèmes d'une taille donnée et satisfaisant un certain nombre de contraintes à l'aide d'un algorithme que nous avons développé.

Pour modéliser le fonctionnement d'un système, décrire une situation ou représenter des idées, on se met intuitivement à dessiner des bulles et les lier par des flèches sous forme de graphes étiquetés. Les logiques modales constituent un cadre formel expressif et extensible qui permet de définir ces graphes sous forme de « modèles », et d'exprimer certaines propriétés de ces graphes sous forme de « formules » afin de pouvoir raisonner là-dessus: model checking, test de satisfiabilité ou de validité, etc. Pour des formules et modèles de tailles importantes, ces tâches deviennent compliquées. De ce fait, un outil permettant de les réaliser automatiquement s'avère nécessaire. LoTREC en est un exemple. Il permet à son utilisateur de créer sa propre méthode de preuve, grâce à un langage simple et de haut niveau, sans avoir besoin d'aucune expertise spécifique en programmation. Durant ma thèse, j'ai revu le travail qui était déjà accompli dans LoTREC et j'ai apporté de nouvelles extensions qui s'avéraient nécessaires pour pouvoir traiter de nouvelles logiques (K.alt1, universal modality, Hybrid Logic HL(@),Intuitionistic logic, Public Announcement Logic, ...) et offrir à l'utilisateur certaines nouvelles techniques. D'autre part, j'ai examiné les origines de LoTREC dans le monde de réécriture de graphes et j'ai spécifié la sémantique de son moteur de réécriture. Cela a permis d'éclaircir comment l'on peut hériter dans nos méthodes de preuve des résultats et des propriétés théoriques déjà bien établies dans le domaine de la réécriture de graphes.

Cette synthèse, qui porte sur un corpus de travaux antérieurs, ne se limite ni à un bilan ni à un arrêt sur image. En tentant de dégager une permanence dans le questionnement, elle répond à des exigences contradictoires : tournée à la fois vers le passé et vers l'avenir, elle présente l'unité des travaux antérieurs tout en la construisant et en la dépassant. Soumettant mes travaux à un éclairage théorique, elle vise à les situer à la fois dans l'histoire de la critique littéraire et dans mon propre parcours épistémologique, jetant ainsi les bases de recherches futures. <br /> Les discours critiques ayant constaté l'existence, en littérature anglaise, surtout à partir des années 1980, d'un type de roman qui effectue un retour au monde après les expérimentations formelles de l'avant-garde " postmoderniste " dite " autonome ", j'ai voulu, dans cette synthèse, cerner avec plus de précision les contours de cette nouvelle forme à laquelle je m'intéresse depuis ma thèse. Celle-ci portait sur les douze premiers romans d'Anita Brookner, et a été suivie d'un ouvrage qui ouvre le corpus aux vingt-et-un romans alors publiés (1981-2002), tout en les abordant sous un autre angle. Mes autres travaux portent sur : les romans de Penelope Lively (1977-2003) ; Wide Sargasso Sea (1966) de Jean Rhys, comme reprise de Jane Eyre (1847) de Charlotte Brontë ; Boating for Beginners (1985) de Jeanette Winterson, qui reprend l'épisode biblique de l'Arche et du Déluge; The Wild Girl (1984) de Michèle Roberts, qui se présente comme un " cinquième évangile "; Indigo (1992) de Marina Warner, comme révision de The Tempest (1611-12) de Shakespeare; The Rape of Sita (1993) de Lindsey Collen, conçu comme une réécriture d'un épisode de l'épopée du Ramayana.<br /> Ces romans font partie de ce qui a été appelé " l'explosion des métafictions historiographiques des années 1980 ", ou encore le " retour à l'éthique des années 1990 ". En effet, ils représentent un type de roman essentiellement paradoxal par son curieux mélange d'autoréflexivité et d'historicité, conjuguant les jeux formels de l'avant-garde " postmoderniste " (située à partir de 1960) et la fonction morale et sociale du roman réaliste des XVIIIe et XIXe siècles. Le terme " postréalisme " a l'avantage de signifier l'époque visée, tout en plaçant cette catégorie de romans dans le droit-fil du réalisme. Pour comprendre l'émergence de ce type de fiction, il m'a fallu remonter le cours du temps et me demander pourquoi les techniques narratives du " réalisme " avaient dû changer pour dire le monde. J'ai été amenée à poser la question des fondements philosophiques du roman, genre qui, à mon avis, ne saurait être étudié indépendamment d'un contexte socio-historique qui le conditionne (sans toutefois le déterminer) et dont il contribue à façonner les valeurs. <br /> La synthèse se divise en trois chapitres. Le premier prolonge les travaux que j'ai consacrés à la réflexion philosophique qu'offrent les romans de Brookner. Je les interprète ici comme illustrant l'impasse rencontrée par le " texte réaliste classique ", qui serait né avec la " modernité ", en tant que notion historique (dont les origines remontent à la Renaissance) et nouvelle " attitude " ou " vision du monde ", caractérisée par une sécularisation de la pensée. Le roman résulterait d'un désir de retrouver l'harmonie perdue entre l'individu et le monde -- la mimésis est en fait muthos, tentative pour imposer un sens à une réalité discordante. Mais, lorsque le projet de " modernité " des Lumières, avec ses notions de " sujet kantien autonome " raisonnablement maître de sa vie et d'une réalité universelle extérieure -- fondées sur la primauté du " signifié transcendantal " (la présence pleine) sur le " signifiant " (le langage) -- est remis en question, le roman " réaliste " perd les présupposés philosophiques dont découlent ses caractéristiques formelles. Vouloir remplacer le terme " postmodernisme " par " postréalisme " pour situer tout un pan du roman dans l'histoire de la littérature anglaise m'a conduite à distinguer plus nettement philosophie et esthétique et clarifier des termes dont l'emploi reste parfois flou. <br /> Ainsi, le deuxième chapitre présente le " postmodernisme " (ou l'esthétique " postmoderniste ") des années 1960 comme représentant l'exacerbation des jeux formels du " modernisme " (ou esthétique " moderniste ") des années 1910 à 1930, qui prenait le contre-pied du " postréalisme ". " Modernisme " et " postmodernisme " seraient tous deux une réponse à la remise en cause " postmoderne " de l'" attitude moderne ", qui se préparait déjà dès le milieu du XIXe siècle, se manifeste surtout avec le structuralisme des années 1960 et 1970, et aboutit à l'inversion pure et simple du modèle de pensée binaire des Lumières : lorsque le signifiant vient à primer sur le signifié, les notions de sujet et de réalité sont invalidées et le texte " postmoderniste " se retire du monde pour ne se référer qu'à lui-même. Alors que les esthétiques " réaliste ", " moderniste " et " postmoderniste " se situeraient toutes à l'intérieur d'un système de pensée fondé sur des oppositions binaires, l'esthétique " postmoderniste " signalant la fin de l'" attitude moderne ", le " postréalisme " serait la forme privilégiée d'une nouvelle " attitude ", véritablement " postmoderne ", qui tente alors de se libérer d'un mode de pensée binaire, de conjuguer signifié et signifiant, de réconcilier le sujet cartésien (qui se fonde lui-même) et la tradition nietzschéenne (qui le réduit à un simple effet linguistique). Mais, si le roman veut retrouver son rôle politique après la " mort de l'auteur " et la remise en cause de l'existence d'une réalité objective universelle, il doit trouver une nouvelle façon de commenter le monde. <br /> Le troisième chapitre pose la question de la forme que prend le " postréalisme " pour dire le monde, alors que le " réalisme " a été invalidé. Les notions d'auteur et de mimésis étant indissociables de celles de sujet et de réalité, philosophes et critiques littéraires se rejoignent dans les années 1980 pour ressusciter l'auteur comme " fonction du texte ", réintroduire la notion d'intention, et redéfinir la réalité comme mise en intrigue idéologique du monde. Les outils théoriques de " décontextualisation ", de " recontextualisation " et de " resignification " se sont avérés cruciaux pour comprendre le fonctionnement de ce type de texte, dont j'essaie de dégager quelques caractéristiques en m'appuyant sur mon corpus de thèse et d'articles.<br /> La " métafiction " (fiction sur la fiction) est reconnue comme une constante de la littérature britannique contemporaine. Une intertextualité foisonnante indique la présence de textes antérieurs, la relation transtextuelle privilégiée étant l'hypertextualité comme transformation parodique. La réécriture d'un hypotexte, comme répétition avec différence, représente en fait un dialogue entre muthoi : l'hypertexte reprend les personnages et événements de l'hypotexte et les réorganise selon une nouvelle mise en intrigue du monde. C'est donc la fameuse " autonomie " de l'écrit qui lui rend son rôle politique. Si le monde est mis en intrigue par le langage, il peut être réécrit selon une nouvelle vision du monde. Ces textes sont enracinés non seulement dans un autre texte, mais aussi dans le monde. L'ancrage spatio-temporel est double : des références à des personnages et événements historiques " contextualisent " l'hypotexte dans un passé empirique qui lui est contemporain ; divers procédés " réalistes " situent l'hypertexte dans un autre univers contemporain qui est le sien. Il s'agit, en effet, d'une " décontextualisation ", puis d'une " recontextualisation " de mêmes faits, qui, arrachés en amont à leur contexte d'origine, sont réorganisés selon un nouveau point de vue -- étant ainsi " resignifiés " -- et renvoyés comme " contre-interpellation " au monde en aval, appelant au changement. Ces réécritures " postréalistes " portent toutes sur des textes qui font partie du patrimoine culturel de la culture occidentale " moderne ", traitent des questions fondamentales de prise de possession de soi, des autres, du monde et véhiculent l'idéologie dominante. En posant la question éthique de la " vie bonne ", de ce qui pourrait être, en redistribuant les positions de chacun, les réécritures " postréalistes " sont à la fois répétition et rature, révisant toute l'" attitude " de la " modernité ".

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.

L'interprétation du personnage de Judas connaît actuellement une mutation, à lafaveur de la découverte des Evangiles gnostiques, qui vont au-delà de la versionconservatrice biblique, confinée à l'accusation définitive du personnage. La réécritureromanesque de Judas paraît en effet plus féconde et nuancée, laquelle récuse touteforme de manichéisme et de réduction. A l'appui des romans d'Auguy Makey et deJacques Duquesne qui réécrivent Judas Iscariote, cette thèse étudie le processus decette réécriture qui va du mythe biblique au mythe romanesque et montre encomparant ces oeuvres que la réhabilitation du personnage est en oeuvre. Makeyprésente un Judas faustien et Duquesne un Judas oedipien. Ils se divisent sur le motif dela livraison de Jésus par Judas : la réforme de Jésus menace de mort la Loi de Moïsereprésentée par le Sanhédrin et défendue par Judas (Duquesne), l'apolitisme de Jésuscompromet la libération politique d'Israël sous occupation romaine et déçoit lesespoirs placés sur le Messie rédempteur tant attendu du peuple élu qui atermoie(Makey). Ainsi le Judas romanesque invite-t-il à plus de complexité, d'ambivalence etd'invention, où le rebelle est aussi l'ami, et le " traitre ", l'apôtre pieux. L'antinomie etla nuance sont en vigueur, sous le signe de la mélancolie de Babel. Judas ravive l'utopied'une parole romanesque attachée à la réflexion, à la relativité du jugement, et à unautre sens qui redécouvre les vertus du silence, de la dérision et du renouvellementde la langue

Ce mémoire constitue une étude exploratoire visant à comprendre les liens qui unissent la production visuelle de Rober Racine et la littérature. Il pose un regard sur trois projets de grande envergure qu'il a réalisés dans les quinze premières années de sa carrière de créateur (1979-1994) en fonction de la citation et des pratiques de la traduction qui y sont perceptibles. L'étude porte précisément sur les installations-performances Vexations pour piano d'Érik Satie, Gustave Flaubert 1880-1980. Escalier Salammbô et un cycle d'interventions autour du dictionnaire Le Petit Robert. Ce choix découle de l'importance que prennent ces oeuvres dans l'ensemble de la création de Racine en raison de la durée de leur réalisation et de leurs nombreux lieux communs. En effet, elles font état d'une démarche soutenue où l'écriture et la lecture sont omniprésentes tant sur le plan de leur conception que sur celui de leur réception. L'observation attentive de ces interventions à travers les documents écrits et photographiques a révélé l'intérêt de leur mise en relation avec la citation et la traduction. Pour comprendre en quoi ces oeuvres visuelles pourraient représenter des citations ou des traductions, nous avons d'abord révisé quelques spécificités de ces pratiques du texte avant de tenter de les définir à travers les postulats de leur occurrence et les effets qu'elles rendent visibles. Pour cela, nous nous sommes surtout concentrée sur les textes de Jacques Derrida, Maurice Blanchot, Walter Benjamin, René Payant et Jocelyne Lupien. Ensuite, nous avons décrit le contexte dans lequel Racine a réalisé ces oeuvres, de même que chacune des étapes de leur création. Nous n'avons identifié aucun ouvrage qui collige ces informations à leurs sujets, mais de nombreux articles de revues et de textes écrits par Racine sur son propre travail nous ont permis d'arriver à faire un compte-rendu complet des trois projets. De l'exploration de ces deux champs d'intérêt résultent des études de cas où la présence de la citation et de la traduction au sein des oeuvres choisies est démontrée. Pour ce faire, nous avons détaillé les actions de Racine qui mènent à leur réalisation en les nommant précisément. Puis, nous avons démontré que la citation crée une mise en signe dont la figure principale est un autoportrait indirect. Par ailleurs, notre étude a révélé que la traduction se décline en de nombreuses pratiques dans le cadre des interventions qui nous intéressent. Les réécritures subjectives de Racine, par le recours à la transcription, à la translittération, à l'adaptation et au transcodage, nous ont menée à concevoir la traduction comme une catégorie englobant diverses pratiques du texte où il y a reprise et souvent transformation. Nous avons reconnu que celles-ci chargent les oeuvres de Racine des principales spécificités attribuées à la traduction, soit la notion du devenir et le caractère performatif. L'attestation de la présence de citations et de pratiques de la traduction au sein de la production artistique de Rober Racine nous a finalement permis de constater que la réécriture subjective est la signature de l'artiste. Le travail visuel étudié pointe une conception précise de l'art qui doit se comprendre en tant que langage et, ce faisant, les caractéristiques de la démarche artistique de Racine, de même que son usage des pratiques du texte à travers les médiums visuels que sont l'installation et la performance, semblent converger vers un effet commun: l'autoreprésentation. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Rober Racine, Installation, Performance, Réécriture, Subjectivité.

La répétition d'une même trame historique est un schème fondamental dans l'œuvre d'Annie Ernaux, puisqu'elle publie, en 1974, le roman autobiographique Les Armoires vides et, en 2000, le témoignage autobiographique L'Événement. Si, chez Ernaux, la nécessité de répéter se transpose dans la narrativisation en double d'un même événement traumatique (l'avortement), c'est qu'il n'est pas suffisant que le trauma soit écrit une seule fois. C'est à partir de cette constatation que nous nous proposons de penser la nécessité de réécrire le trauma comme moyen de le gérer. Réécrire le récit du trauma serait ainsi une façon de reprendre un événement du passé afin de le transformer, de l'amener au-delà d'une blessure initiale. Si la volonté de parler de choses indicibles ou honteuses sous-tend toute son œuvre, il s'avère que la critique littéraire a très peu étudié la question du trauma de l'avortement sous l'angle de la réécriture. En effet, peu travaillé, le doublet Les Armoires vides-L'Événement demeure négligé par la critique littéraire et c'est ce manque que notre mémoire cherche à pallier. Dans cette optique, notre volonté est de focaliser ce travail de réécriture sur le rôle insuffisant que joue la première version racontée du trauma de l'avortement. Recourant surtout au domaine de la psychanalyse et de l'histoire en ce qui a trait aux notions de trauma, de mémoire et de répétition, ce mémoire puise également certains éléments du côté de la philosophie et de la critique littéraire en ce qui concerne les notions de témoignage et de transmission/filiation. En nous appuyant sur les théories états-uniennes du trauma, ainsi que sur la posture de l'écriture ernausienne, nous démontrons que le travail que laisse entrevoir la réécriture n'est pas de l'ordre de la catharsis. Enfin, si les théories du trauma mettent en évidence l'importance d'autrui dans le récit du trauma, c'est pour mieux indiquer que toute tentative de survie dépend de cette présence au sein du témoignage. De plus, à cette nécessité de raconter le récit du trauma s'ajoute l'importance de le transmettre. Puisque Annie Ernaux croit que son témoignage autobiographique doit se construire à la jonction de l'intime et du public, elle envisage son témoignage comme un don au lecteur. C'est de cette façon qu'elle croit aller au bout de son événement. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Annie Ernaux, trauma, avortement, réécriture, narration, temps

Cette analyse, qui porte sur les six carnets composant le journal d'Aquin entre 1947 et 1949 prendra appui sur les outils et méthodes de la génétique, qui sont indispensables pour analyser et illustrer la pratique diaristique aquinienne et l'apport des archives d'Hubert Aquin dans ses créations. Le corpus à l'étude est constitué de cinq carnets de jeunesse demeurés jusqu'à ce jour inédits : Feuilles de route (14 janvier 1947-décembre 1947), Odyssée américaine (28 août 1947-13 novembre 1947), le Journal de 1948 (carnet 1 : 3 février 1948-23 mai 1948; carnet 2 : 24 mai 1948-22 novembre 1948) et le Cahier de citations, qui n'est pas daté; le sixième carnet (26 novembre 1948-5 décembre 1949) a été publié par Bernard Beugnot. Ce mémoire se propose d'analyser la posture du diariste adoptée par Hubert Aquin dès 1947 dans son journal, et qui se développera dans l'ensemble de son œuvre. Afin d'illustrer ce phénomène, notre étude est divisée en trois chapitres; le premier permet de comprendre le contexte dans lequel s'inscrivent les débuts diaristiques d'Aquin, mais aussi la nature et l'importance des documents du corpus; cette étude est d'abord suivie d'une analyse d'inspiration génétique des constantes et des changements observés au niveau de l'écriture du journal, puis d'une étude de ses principales thématiques. Dans le second chapitre, nous nous penchons d'abord sur le rôle de l'écriture diaristique dans la construction du statut d'écrivain, qu'Hubert Aquin s'octroie précocement dans plusieurs entrées, puis sur la réécriture; en effet, Aquin dactylographie systématiquement ses carnets, ce qui rapproche le travail du diariste de celui d'un écrivain. Ce phénomène sera illustré dans l'édition génétique d'Odyssée américaine, seul carnet dont les versions manuscrite et tapuscrite ont été conservées. Dans le troisième et dernier chapitre, nous analysons les stratégies scripturales mises en place par Aquin dans le journal dès 1947 et qui seront reprises dans l'ensemble de l'œuvre. Il s'agit aussi d'étudier la parenté formelle qui existe entre le journal, les dossiers de notes et les projets de romans inachevés. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Hubert Aquin, journal, diariste, posture d'écrivain, réécriture, stratégies scripturales, projets de romans.

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal