Auteur de plus de 130 livrets d’opéra, Giuseppe Foppa (Venise 1760 - Ivi 1845) ne voit sa réussite professionnelle contestée par personne. La critique reconnaît unanimement sa faculté à produire des textes avec grand rendement et à servir avec efficacité les nombreux théâtres de Venise, entre 1780 et 1820. Mais elle s’est généralement montrée silencieuse, avare de compliments, voire acerbe, à propos de la valeur littéraire et poétique de ces livrets, malgré un récent regain d’intérêt pour l’auteur. Si la réussite autoriale de Foppa est jugée problématique, voire est contestée, c’est parce que persiste, depuis les origines du genre, une ligne critique qui déprécie le livret d’opéra, lui refuse sa valeur et sa dignité, au motif qu’il est un texte « imparfait », que le librettiste fait un métier subalterne, soumis à de nombreuses pressions externes. Pour Foppa, il y a en outre des circonstances ‘aggravantes’, a priori ‘désautorialisantes’ : la domination croissante du bel canto, le rythme d’écriture effréné, une tendance massive au réemploi, la difficulté d’inventer et de renouveler après Métastase et Goldoni. Sans chercher une réhabilitation forcée, nous réexaminons ce ‘mérite’ contesté à la lumière de son ‘métier’, c’est-à-dire de sa formation, du contexte de production où il travaille (théâtres, chanteurs, autres librettistes); nous entrons ensuite dans la ‘fabrique’ des livrets, pour dégager leurs atouts, pour réévaluer ses techniques de réemploi et de récriture, dans les livrets ‘dérivés’ d’autrui et dans ceux qualifiés ‘d’originaux’, et nous étudierons pour finir la façon dont il construit, tout au long de sa carrière, sa notoriété. / Nobody contests the professional success of Giuseppe Foppa (Venice 1760 – Ivi 1845), author of more than 130 opera libretti. All literary criticism acknowledges his ability to produce many texts and to serve efficiently the many theaters of Venice between 1780 and 1820. But they usually remained silent, without complimenting him, or even despised him, concerning the literary and poetical value of these libretti, despite a recent new interest in the author. If the authorial success of Foppa is considered as a problem or even contested, it is because of the persistence, since the appearance of the genre, of a critical theory which is full of contempt towards the opera libretto, denying value and dignity to a text judged as « imperfect », thinking that the librettist is doing a substandard job, with many external pressures. For Foppa, there are ‘aggravating’ a priori ‘unauthoralising’ circumstances : the increasing domination of the bel canto, the wild rhythm of writing, a massive tendancy to re-use, the difficulty in inventing and in renewing after Metastasio and Goldoni. Without looking for a forced rehabilitation, we revise this merit disputed in the light of its job, that is in the light of its training, in the light of the context of production where it works (theaters, singers, other librettists); we enter then the 'factory' of libretti, to clear their assets, to revalue the techniques of re-use and of rewriting, in the 'derived' libretti of others and in those considered ' as originals ', and to finish we will study the way he builds, throughout his career, his fame.

La seconde moitié du XVIe siècle voit naître le théâtre moderne français sous l’effet d’une vaste réflexion sur la littérature, indissociable de la théorie de l’imitation créatrice promue comme méthode d’écriture universelle par les Humanistes. Les termes et les enjeux de cette réflexion se transforment dans la première moitié du XVIIe siècle, notamment à partir de la fin des années 1620, où s’engagent des débat sur le théâtre, alors très riche en tentatives de renouvellement dramatique. Dans ces circonstances, le choix des sources d’inspiration n’est pas indifférent. Les auteurs ne sont pas seulement en quête de sujets, ils cherchent aussi des formes nouvelles chez les écrivains étrangers, qui nourrissent tant la pratique que la théorie. L’étude d’un siècle de théâtre permet de dégager plusieurs cycles d’inspiration dans l’histoire de la tragi-comédie, de la tragédie et de la comédie, et de constater que ces cycles correspondent aux étapes majeures de l’évolution de chacun de ces genres. Inventio et dramaturgie entretiennent des liens étroits. L’étude des cycles met en évidence le sens et les conséquences de la pratique de l’adaptation ou de la récriture et du choix de sources antiques, italiennes, espagnoles ou françaises, à une époque où la question des modèles est centrale et débattue. La notion de cycle permet d’envisager les sources d’inspiration comme des phénomènes périodiques et de montrer comment le théâtre s’élabore et trouve sa singularité à travers l’imitation. Enfin, l’étude du rapport cyclique des auteurs français aux sources antiques et modernes conduit à réfléchir à la circulation des sujets et des formes en Europe et à la question des cycles européens. / In the second half of the sixteenth century, modern French drama is developed from humanist reflection upon both past literature and the theory of imitation, considered a universal writing method by period scholars. In the first half of the 17th century, especially from the 1620s on, the evolving terms and stakes of such reflection produce numerous debates about drama, a genre then full of dramatic experimentation and renovation. Under these circumstances, the choice of inspiration is not insignificant. The dramatists not only look for subjects, but also for novel literary forms from foreign writers that could feed practice as much as theory. Studying one century of dramatic creations enables us to outline several cycles of inspiration within the history of tragicomedy, tragedy and comedy, and to record how these cycles match the main stages of evolution of those three genres. Throughout, Inventio and dramaturgy maintain close relations with each other. At a time when the central and most debated question is one of models, analyzing these cycles highlights the meaning and consequences of the use of adaptation and rewriting, and the choice of ancient, Italian, Spanish or French inspirations. The concept of cycles enables the comprehension of the sources of inspiration as periodical phenomenon and to show how drama uniquely evolves through imitation. In conclusion, studying the cyclic relation between the French playwrights and their ancient and modern inspirations leads to the examination of Modern French drama’s European nature and the circulation and transference of subjects and literary forms.

La théorie des types est une discipline au croisement de la logique, des mathématiques et de l'informatique. Elle peut servir de support au développement de programme "zéro faute". L'objet de cette thèse est d'étudier l'extension d'un système aux types dépendants UTT (comprenant notamment des types inductifs) par une relation de récriture concernant un fragment du calcul, à savoir les types finis. Nous nous assurons d'abord que les propriétés de normalisation forte, de confluence et de préservation du type sont toujours préservées malgré l'ajout de la réduction. Ensuite nous enrichissons ce système par la notion de sous-typage coercitif vue comme un mécanisme d'abréviation et effectuons la preuve de conservativité pour le système enrichi du sous-typage par rapport au système de base. L'intérêt d'un tel système est qu'il améliora l'efficacité des assistants à la preuve et offrira un bon cadre pour l'étude des problèmes faisant intervenir des ensembles finis (combinatoire, manipulation de graphe etc).

Quand en 2006, Camille de Peretti, la jeune écrivaine de vingt-six ans, décide de donner une nouvelle version d’un livre qui date, elle remonte loin dans le temps : deux-cent-vingt-quatre ans précisément. Elle opte pour Les Liaisons dangereuses de Choderlos de Laclos, roman épistolaire paru en 1782. Les Liaisons se caractérisent par l’ambiguïté aujourd’hui encore présente de leur enseignement moral ; et surtout par la justesse analytique dont est doté leur auteur lors de la peinture du mal. Elles sont une décomposition détaillée des stratégies de la perversion en leurs techniques efficaces par surcroît. C. de Peretti puise, dans le palimpseste, ses intrigues d’amour couplées à la vengeance, ainsi que les stratégies érudites de séduction. Elle prend possession de l’œuvre source pour créer son œuvre. Elle fait mieux : elle dialogue, par là-même, avec l’écrivain originel. La communion intellectuelle est telle que l’écrivain et la récrivaine écriraient à quatre mains le même ouvrage si la possibilité leur en était donnée [...] / When in 2006, Camille de Peretti, the twenty-six-year-old young writer, decides to give a new version of an old novel, she goes far back in time : two hundred and twenty-four years ago. She opted for The Dangerous Liaisons by Choderlos de Laclos, an epistolary novel issued in 1782.The Liaisons are characterized by the ambiguity still present today of their moral teaching; and above all by the analytical accuracy with which the author is endowed when depicting evil. In addition, they are a detailed decomposition of the strategies of perversion in their efficient techniques.C. de Peretti draws, in the palimpsest, its love intrigues coupled with vengeance, as well as the erudite strategies of seduction. She takes possession of the source work to create her own. She does better : she dialogues, in this way, with the original writer. The intellectual communion is such that the writer and the rewriter would write the same work in four hands if given the opportunity [...]

En génie logiciel, les méthodes modernes de développement (ex. le MDA) s'appuient de manière cruciale sur les notions de modélisation et de transformation. Ces méthodes peuvent s'interpréter à l'aide de la théorie des graphes. La difficulté théorique réside aujourd'hui dans l'ajout sur ces graphes de données supplémentaires sur lesquelles il est nécessaire de pouvoir effectuer des calculs. Notre travail s'est focalisé sur le développement d'un cadre mathématique sûr afin d'appliquer ces transformations. Les théories des catégories (à travers le double pushout) et des types inductifs (fonctions de calcul très expressives) nous ont permis de donner une solution unifiée à ce problème dans laquelle une seule opération permet de travailler sur la structure et de calculer avec les attributs en définissant des fonctions entre graphes possédant une partie contravariante pour le travail sur les attributs. De plus, les propriétés usuelles des systèmes de récriture sont vérifiées.

Depuis ses débuts littéraires, les classiques sont régulièrement convoqués dans l’écriture hautement intertextuelle d’Elfriede Jelinek par le truchement de citations tronquées, disséminées. Sa production dramatique récente est marquée par une confrontation redoublée avec les classiques germanophones, avec de nombreuses récritures produites depuis le milieu des années 2000. Parmi elles, le texte de théâtre Ulrike Maria Stuart (publié en ligne pendant trois jours en 2006, imprimé seulement en 2015) fait écho à la pièce de Friedrich Schiller Marie Stuart, et FaustIn and out (accessible gratuitement sur le site de Jelinek depuis 2011) joue avec l’œuvre « incommensurable » de Goethe, (l’Ur-)Faust. Cette étude effeuille les différentes strates du palimpseste et met au jour les espaces investis par la récriture à travers un parcours balisé, dispositif à entrées multiples permettant de décrire le fonctionnement et les enjeux de la récriture du point de vue de sa production, mais aussi de sa réception, notamment dans les mises en scène. En analysant comment l’espace de la récriture se mue en désécriture et tire profit d’une écriture « seconde » ou mineure (Deleuze), les enjeux macrostructurels, esthétiques et socio-littéraires de ces textes se font jour. La confrontation à la classicité entre en résonance avec le nouveau positionnement de l’autrice au sein du champ littéraire, notamment à travers le processus de classicisation de son oeuvre, influant également sur le destin éditorial singulier des œuvres de notre corpus. / Since her literary debut, the classics have regularly surfaced in the highly intertextual writing of Elfriede Jelinek by means of fragmentary and fleeting citations. Her recent dramatic productions are marked by an ever greater confrontation with the Germanic classics, with numerous rewritings produced since the mid-2000s. Among these, the play Ulrike Maria Stuart (published online over three days in 2006 and only published in print in 2015) echoes Friedrich Schiller’s play Marie Stuart, while FaustIn and out (accessible free of charge on Jelinek’s website since 2011) toys with the “immeasurable” work of Goethe, (Ur-)Faust. This study unravels the different strata of the palimpsest and revises the spaces occupied by rewriting through a well-defined path, an approach with multiple entry points that allows the functioning and issues of rewriting to be described from the perspective of both its production and its reception, notably in form of dramatization. By analysing how the space of rewriting evolves into a sort of unwriting and takes advantage of “secondary” or minor (Deleuze) writing, the macrostructural, aesthetic, and socio-literary stakes of these texts emerge. The confrontation with classicity resonates with the new positioning of the author within the literary field, especially through the process of the classicisation of her works, and influences the uncommon editorial approach framing the works of the corpus under investigation.