A Sonata per pianoforte, composta em 2001, é o trabalho para piano solo de maior fôlego de Luciano Berio. A peça condensa diversas estratégias composicionais características de Berio e se apresenta, assim, como uma espécie de relicário da escritura desse compositor. Nesse trabalho comentaremos, a partir da Sonata, três importantes estratégias composicionais de Luciano Berio: a noção de reescritura, a noção de gesto e a noção de processo. Como veremos, essas três noções são atravessadas pela idéia de obra aberta e estarão presentes durante todo seu percurso composicional, consolidando-se como aspectos fundamentais para a construção de sua poética. / The Sonata per pianoforte, composed in 2001, is the Luciano Berio\'s solo piano work of greatest scope. The piece brings together several of Berios\'s characteristic compositional strategies and thus presents itself as a sort of a reliquary of his musical resources. In this work, we will comment, from the Sonata, three Luciano Berio\'s important compositional strategies: the notion of rewriting (réécriture), the notion of gesture and the notion of process. As we will see, these three notions are crossed by the idea of open work and will be present throughout his compositional pathway, establishing themselves as fundamental aspects for the construction of his poetry.

Étant une représentation formelle et explicite des connaissances d'un domaine, les ontologies font régulièrement l'objet de nombreux changements et ont ainsi besoin d'être constamment adaptées pour notamment pouvoir être réutilisées et répondre aux nouveaux besoins. Leur réutilisation peut prendre différentes formes (évolution, alignement, fusion, etc.), et présente plusieurs verrous scientifiques. L'un des plus importants est la préservation de la consistance de l'ontologie lors de son changement. Afin d'y répondre, nous nous intéressons dans cette thèse à étudier les changements ontologiques et proposons un cadre formel capable de faire évoluer et de fusionner des ontologies sans affecter leur consistance. Premièrement, nous proposons TGGOnto (Typed Graph Grammars for Ontologies), un nouveau formalisme permettant la représentation des ontologies et leurs changements par les grammaires de graphes typés. Un couplage entre ces deux formalismes est défini afin de profiter des concepts des grammaires de graphes, notamment les NAC (Negative Application Conditions), pour la préservation de la consistance de l'ontologie adaptée.Deuxièmement, nous proposons EvOGG (Evolving Ontologies with Graph Grammars), une approche d'évolution d'ontologies qui se base sur le formalisme GGTOnto et traite les inconsistances d'une manière a priori. Nous nous intéressons aux ontologies OWL et nous traitons à la fois : (1) l'enrichissement d'ontologies en étudiant leur niveau structurel et (2) le peuplement d'ontologies en étudiant les changements qui affectent les individus et leurs assertions. L'approche EvOGG définit des changements ontologiques de différents types (élémentaires, composées et complexes) et assure leur implémentation par l'approche algébrique de transformation de graphes, SPO (Simple PushOut). Troisièmement, nous proposons GROM (Graph Rewriting for Ontology Merging), une approche de fusion d'ontologies capable d'éviter les redondances de données et de diminuer les conflits dans le résultat de fusion. L'approche proposée se décompose en trois étapes : (1) la recherche de similarité entre concepts en se basant sur des techniques syntaxiques, structurelles et sémantiques ; (2) la fusion d'ontologies par l'approche algébrique SPO ; (3) l'adaptation de l'ontologie globale résultante par le biais des règles de réécriture de graphes.Afin de valider les travaux menés dans cette thèse, nous avons développé plusieurs outils open source basés sur l'outil AGG (Attributed Graph Grammar). Ces outils ont été appliqués sur un ensemble d'ontologies, essentiellement sur celles développées dans le cadre du projet européen CCAlps (Creatives Companies in Alpine Space) qui a financé les travaux de cette thèse. / Ontologies are a formal and explicit knowledge representation. They represent a given domain by their concepts and axioms while creating a consensus between a user community. To satisfy the new requirements of the represented domain, ontologies have to be regularly updated and adapted to maintain their consistency. The adaptation may take different forms (evolution, alignment, merging, etc.), and represents several scientific challenges. One of the most important is to preserve the consistency of the ontology during the changes. To address this issue, we are interested in this thesis to study the ontology changes and we propose a formal framework that can evolve and merge ontologies without affecting their consistency.First we propose TGGOnto (Typed Graph Grammars for Ontologies), a new formalism for the representation of ontologies and their changes using typed graph grammars (TGG). A coupling between ontologies and TGG is defined in order to take advantage of the graph grammars concepts, such as the NAC (Negative Application Conditions), in preserving the adapted ontology consistency. Second, we propose EvOGG (Evolving Ontologies with Graph Grammars), an ontology evolution approach that is based on the TGGOnto formalism that avoids inconsistencies using an a priori approach. We focus on OWL ontologies and we address both : (1) ontology enrichment by studying their structural level and (2) ontology population by studying the changes affecting individuals and their assertions. EvOGG approach defines different types of ontology changes (elementary, composite and complex) and ensures their implementation by the algebraic approach of graph transformation, SPO (Single pushout).Third, we propose GROM (Graph Rewriting for Ontology Merging), an ontologies merging approach that avoids data redundancy and reduces conflict in the merged result. The proposed approach consists of three steps: (1) the similarity search between concepts based on syntactic, structural and semantic techniques; (2) the ontologies merging by the algebraic approach SPO; (3) the global ontology adaptation with graph rewriting rules.To validate our proposals, we have developed several open source tools based on AGG (Attributed Graph Grammar) tool. These tools were applied to a set of ontologies, mainly on those developed in the frame of the CCAlps (Creatives Companies in Alpine Space) European project, which funded this thesis work.

L'élasticité est une propriété qui permet aux systèmes Cloud de s'auto-adapter à leur charge de travail en provisionnant et en libérant des ressources informatiques, de manière autonomique, lorsque la demande augmente et diminue. En raison de la nature imprévisible de la charge de travail et des nombreux facteurs déterminant l'élasticité, fournir des plans d'action précis pour gérer l'élasticité d'un système cloud, tout en respectant des politiques de haut niveau (performances, cout, etc.) est une tâche particulièrement difficile.Les travaux de cette thèse visent à proposer, en utilisant le formalisme des bigraphes comme modèle formel, une spécification et une implémentation des systèmes Cloud Computing élastiques sur deux aspects : structurel et comportemental.Du point de vue structurel, le but est de définir et de modéliser une structure correcte des systèmes Cloud du côté " backend ". Cette partie est supportée par les capacités de spécification fournies par le formalisme des Bigraphes, à savoir : le principe de "sorting" et de règles de construction permettant de définir les desiderata du concepteur. Concernant l'aspect comportemental, il s'agit de modéliser, valider et implémenter des stratégies génériques de mise à l'échelle automatique en vue de décrire les différents mécanismes d'auto-adaptation élastiques des systèmes cloud (mise à l'échelle horizontale, verticale, migration, etc.), en multi-couches (i.e., aux niveaux service et infrastructure). Ces tâches sont prises en charge par les aspects dynamiques propres aux Systèmes Réactifs Bigraphiques (BRS) notamment par le biais des règles de réaction.Les stratégies d'élasticité introduites visent à guider le déclenchement conditionnel des différentes règles de réaction définies, afin de décrire les comportements d'auto-adaptation des systèmes Cloud au niveau service et infrastructure. L'encodage de ces spécifications et leurs implémentations sont définis en logique de réécriture via le langage Maude. Leur bon fonctionnement est vérifié formellement à travers une technique de model-checking supportée par la logique temporelle linéaire LTL.Afin de valider ces contributions d'un point de vue quantitatif, nous proposons une approche à base de file d'attente pour analyser, évaluer et discuter les stratégies d'élasticité d'un système Cloud à travers différents scénarios simulés. Dans nos travaux, nous explorons la définition d'une "bonne" stratégie en prenant en compte une étude de cas qui repose sur la nature changeante de la charge de travail. Nous proposons une manière originale de composer plusieurs stratégies d'élasticité à plusieurs niveaux afin de garantir différentes politiques de haut-niveau. / Elasticity property allows Cloud systems to adapt to their incoming workload by provisioning and de-provisioning computing resources in an autonomic manner, as the demand rises and drops. Due to the unpredictable nature of the workload and the numerous factors that impact elasticity, providing accurate action plans to insure a Cloud system's elasticity while preserving high level policies (performance, costs, etc.) is a particularly challenging task. This thesis aims at providing a thorough specification and implementation of Cloud systems, by relying on bigraphs as a formal model, over two aspects: structural and behavioral.Structurally, the goal is to define a correct modeling of Cloud systems' "back-end" structure. This part is supported by the specification capabilities of Bigraph formalism. Specifically, via "sorting" mechanisms and construction rules that allow defining the designer's desiderata. As for the behavioral part, it consists of model, implement and validate generic elasticity strategies in order to describe Cloud systems' auto-adaptive behaviors (i.e., horizontal and vertical scaling, migration, etc.) in a cross-layer manner (i.e., at service and infrastructure levels). These tasks are supported by the dynamic aspects of Bigraphical Reactive Systems (BRS) formalism (through reaction rules).The introduced elasticity strategies aim at guiding the conditional triggering of the defined reaction rules, to describe Cloud systems' auto-scaling behaviors in a cross-layered manner. The encoding of these specifications and their implementation are defined in Rewrite Logic via Maude language. Their correctness is formally verified through a model-checking technique supported by the linear temporal logic LTL.In order to quantitatively validate these contributions, we propose a queuing-based approach in order to evaluate, analyze and discuss elasticity strategies in Cloud systems through different simulated execution scenarios. In this work, we explore the definition of a “good” strategy through a case study which considers the changing nature of the input workload. We propose an original way de compose different cross-layer elasticity strategies to guarantee different high-level policies.

Concevoir et mettre en œuvre des méthodes pour la spécification, l'analyse et la vérification de logiciels et de systèmes sont les principaux moteurs des activités de recherche présentées dans ce manuscrit. Dans ce cadre, nos travaux se positionnent dans la catégorie dite des méthodes formelles appartenant à la communauté plus large du génie logiciel. A l'interface des travaux théoriques et applicatifs, notre objectif est de contribuer aux méthodes permettant d'assurer la correction et la sûreté des systèmes (fonctionnalité, sécurité, fiabilité, ...) en développant ou en améliorant des langages de spécification, des techniques et des outils permettant leur analyse formelle. Dans ce but, nous nous sommes attaché dans cette thèse à proposer et à étudier un cadre formel permettant la définition de politiques de sécurité et la vérification de leurs propriétés. A cet effet, nous avons proposé un cadre pour la spécification de politiques de sécurité basé sur une approche modulaire dans laquelle une politique est vue comme la composition d'un modèle de sécurité et d'une configuration. Nous avons investigué les possibilités offertes par de telles spécifications lorsque les modèles sont exprimés au moyen de contraintes du premier ordre et les configurations au moyen de programmes logiques. En particulier, nous avons proposé un algorithme permettant de transformer une politique exprimée dans un modèle donné vers une autre politique équivalente (au sens où elle engendre les mêmes autorisations) exprimée dans un autre modèle. Dans un second temps, nous nous sommes proposé de tenir compte des aspects dynamiques de la configuration d'une politique vue comme un état du système sur lequel la politique est mise en œuvre et où chaque action est associée à une procédure de modification des états. Nous avons proposé un langage formel simple pour spécifier séparément les systèmes et les politiques de sécurité puis avons donné une sémantique des spécifications exprimées dans ce cadre sous la forme de systèmes de réécriture. Nous nous sommes ensuite attachés à montrer que les systèmes de réécriture obtenus permettent l'étude de propriétés de sécurité. Dans une troisième partie, nous nous sommes focalisé sur les mécanismes permettant la mise en œuvre de politiques de sécurité dans les réseaux. Dans ce cadre, nous avons proposé une spécification des firewalls et de leurs compositions basée sur les automates d'arbres et les systèmes de réécriture puis avons montré en quoi ces spécifications nous permettent d'analyser de façon automatique les politiques de sécurité sous-jacentes.

Le volume de données disponibles dans les systèmes d'information est de plus en plus important et pour autant, nous n'avons jamais autant essayer d'interconnecter cette information pour en extraire de la connaissance sans véritable succès généralisable. L'origine du problème est multiple. Tout d'abord, l'information est représentée dans des structures différentes. Ensuite, les vocabulaires utilisés pour exprimer les données sont hétérogènes. Enfin, la qualité de l'information est souvent trop mauvaise pour utiliser une information et en déduire des connaissances. Ce diagnostic est d'autant plus vrai dans le cadre du partage d'information dans le domaine biomédical où il reste difficile de s'entendre sur des représentations (structures et vocabulaires) pivots d'un domaine de la médecine, et donc où il apparaît difficile de résoudre le problème du partage d'information par l'imposition de standard de codage et de structuration de l'information. Plus récemment, l'introduction de la sémantique dans des processus de partage d'information, nous offre la possibilité de mettre en oeuvre des représentations pivots indépendantes de la structuration ou du nommage d'une donnée. Cette thèse s'inscrit dans cette problématique de partage de données biomédicales dans le cadre de l'évaluation de l'évolution de la résistance des bactéries aux antibiotiques en Europe. L'hypothèse générale de travail que nous proposons est la suivante: comment partager de l'information biomédicale de manière non ambigüe, en temps réel, et à la demande en Europe. Cette hypothèse pose diverses problématiques que nous abordons dans ce mémoire. La problématique de la qualité des données. Celle de la représentation des données à travers leur structure, leur vocabulaire et de leur sémantique. Nous aborderons aussi les problèmes d'alignement de données aux ontologies de domaine et de la fédération de données aidée d'ontologie. Enfin, nous présenterons un système d'interopérabilité sémantique basé sur des règles qui aborde le problème d'alignement sémantique de systèmes hétérogènes appliqué à notre domaine. Nous discuterons finalement de l'apport de la sémantique pour le partage d'information et des limites des outils et méthodes actuels.

Dans ce mémoire de recherche-création en littératures de langue française, j’aborde la question des rapports entre les procédés de réécriture (par exemple, l’intertextualité, l’intratextualité et l’autotextualité, mais aussi les figures de la répétition et de la correction) et l’effet de défamiliarisation (ou de distanciation) au moyen d’un essai sur le roman Mercier et Camier de Samuel Beckett et d’une création littéraire de mon cru : un livre-objet constitué de trente et une feuilles non paginées et non reliées, sur lesquelles je réécris autant de fois l’incipit de Bouvard et Pécuchet, de Gustave Flaubert, en recourant à une mise en page qui défie le mode de lecture linéaire. Autant mon essai que ma création s’appliquent à montrer que les procédés de réécriture peuvent être employés pour produire un effet de défamiliarisation visant la fonction représentative de la littérature. / In this creative Master’s Thesis in French Literature, I addess the issue of the relationship between processes of rewriting (eg, intertextuality, intratextuality and autotextuality, but also the figures of repetition and correction) and defamiliarization (or the distancing effect) by the means of an essay on the novel Mercier et Camier by Samuel Beckett and of a literary creation of my own, consisting of thirty-one unbounded and unpaginated sheets, on which I rewrote as many times the incipit of Bouvard et Pecuchet by Gustave Flaubert in a layout that defies linear reading. Both my essay and my creation intend to show that processes of rewriting can be used to defamiliarize the representative function of literature.

Dans Certainement Pas, je m’intéresserai à la problématique du jeu littéraire dans son rapport à la contrainte. Comment Chloé Delaume réussit-elle dans un premier temps à s’approprier un certain nombre de discours culturels et de formes a priori extralittéraires pour ensuite les transformer? Dans un second temps, comment s’y prend-elle pour « phagocyter » dans son écriture une pléthore de références littéraires? Conséquemment, quelle conception de la littérature livre-t-elle? Veut-elle, par l’aspect ludique de son roman, rendre un hommage filial aux auteurs d’hier et ainsi adopter une position empreinte de dévotion? Essaye-t-elle, au contraire, de « déchiqueter-dégurgiter » ces textes paternels et agir en iconoclaste? En procédant de cette façon, détruit-elle ou non le mythe de l’originalité en littérature? Finalement, comment s’effectue la réception de son texte ? Jouer le je est un projet d’écriture prolongeant les réflexions sur la place du jeu et de la contrainte dans la littérature. Prenant la forme d’une pièce de théâtre, il cherche à travailler la problématique de l’automatisme langagier actuel et devient une tentative de destruction de celui-ci. Ce texte met en scène deux personnages. La protagoniste principale, une jeune femme de vingt-cinq ans nommée Plume Liddell, étudiante en immunologie souffrant de dyslexie linguistique, participera à six séances de psychothérapie au cours desquelles elle parlera d’elle-même. L’autre personnage: la psychologue, restera muette ou presque tout au long des séances. / In Certainement Pas, I will be focusing on the problematic of the literary game and its relation to the constraint. First, how does Chloé Delaume manage to appropriate multiple extra-literary cultural discourses and forms a priori, in order to then transform them? Second, how is she able, within her style of writing, to "phagocyte" a vast quantity of literary references? Consequently, what concept of literature does she provide the reader? Does she aspire, by modeling her novel on a game, to filially acknowledge past authors, thus adopting a devoted position? Or, does she conversely attempt to "dissect/ regurgitate" these paternal texts in order to act iconoclastically? In this manner, does she succeed in destroying the myth of originality in literature? Last but not least, how is her text interpreted and received by the reader? Jouer le je is a literary project which broadens and pushes the boundaries of reflections on the role that the game and the constraint play in literature. Written as a play, the text seeks to hone the problematic of linguistic automatism, thus becoming a tool of the latter's destruction. The text features two characters. The principal protagonist, a young twenty-five year old woman named Plume Liddell studying immunology and suffering of linguistic dyslexia, shall participate in six psychotherapy sessions during which she will describe herself. The second character, the psychologist, will not speak for the greater part of the sessions.

Le texte qui suit, malgré son libellé onomastique (le nom « John Cage »), son orientation disciplinaire (la « théorie littéraire ») et sa visée thématique (« la révision du commentaire critique »), se place d’emblée dans une posture d’écriture et de création. Il consiste à proposer comme point de départ l’identité de la forme textuelle et de sa dérivation métatextuelle, en d’autres mots : de la voix citée et analysée avec l’autre voix citante et analysante. Cette prémisse dérive elle-même d’une confrontation locale : les spécificités et les idiosyncrasies de la textualité mise en place par John Cage à partir des années quarante (partitions littéraires des recueils Silence et A Year from Monday, mésostiches de M et X, réécritures et « writing through » d’Empty Words…). En effet, l’examen par la théorie littéraire d’un corpus aussi disséminé et « néologique » que l’est celui de John Cage pousse son rédacteur à poser la question de sa propre écriture (« autoréflexivité ») et à rendre possible une réalisation artistique personnelle (« performativité »). C’est donc à travers la contingence d’une langue et d’une subjectivité au travail que la théorisation (textuelle) du texte cherche ici à s’élucider et à s’écrire. Le travail commence par installer les modalités à la fois circulaires et circulatoires de la théorie littéraire, une tension rhétorique et épistémologique qu’il identifie sous le nom d’« aporie autoréflexive » (le texte théorique est concerné par la question de lui-même). Il s’efforce ensuite d’analyser la nouveauté de l’œuvre littéraire cagienne, en empruntant un schéma dialectique et antagoniste : d’un côté, une « textualité-objet », originale et orthographique, de l’autre, une « textualité-sujet », disséminante et intertextuelle, anarchique et jubilatoire. Enfin, le texte propose la révision, la recomposition, la « réécriture » du commentaire critique sur les bases nouvelles d’une textologie autoréflexive et performative — une indiscipline d’écriture qui utilise sciemment les coordonnées linguistiques de son élocution (néologie, typographisme, procédés citationnels…) et qui fait place sans camouflage ou refoulement à la personnalité intertextuelle, contextuelle, métissée du rédacteur. Par l’entremise d’une sorte d’« exemplarité textuelle » (Cage), ce travail insiste pour une synthèse à la fois productive et expressive des voix analysées et analysantes dans les études littéraires. On verra que, par moments, cette proposition implique que le texte se marginalise. / The following text, despite its onomastic labelling (the name “John Cage”), its disciplinary orientation (“literary theory”), and its thematic aim (“the revision of the literary commentary”), positions itself as a writing and creative venture. It starts by stating the strict identity of texts and metatexts, in other words, of the quoted, analyzed voice, with the quoting, analyzing other voice. This premise derives from a specific confrontation: the specificities and idiosyncrasies of John Cage’s literary production since the late 1940s (the literary scores from the anthologies Silence and A Year from Monday, the mesostics from M and X, the rewritings and “Writing through’s” from Empty Words…). Indeed, the examination by literary theory of a body of work as disseminated and “neological” as John Cage’s encourages the literary critic or theoretician to ask the question of his own writing (“self-reflexivity”) and also to make possible an original artistic realization (“performativity”). It is therefore through the possibilities of a language and of a subjectivity at work that the (textual) theorization of texts tries herein to elucidate and to write itself. This work starts by setting up the modalities both circular and circulatory of literary theory—a rhetorical and epistemological tension that will be identified as the “self-reflexive aporia” (the theoretical text is primarily concerned by the question of itself). It then tries to analyze the novelty of Cage’s literary work, using a dialectical and antagonistic configuration: on one hand, an “objective textuality”, original and orthographical; on the other hand, a “subjective textuality”, disseminating and intertextual, anarchic and unrestrained. Finally, this text proposes the revision, recomposition and “rewriting” of the critical commentary on the basis of a new self-reflexive and performative textology. That is: a sort of undiscipline in writing that knowingly manoeuvres the linguistic coordinates of its elocution (neology, typographism, quotation processes…) and that does not try to conceal or repress the intertextual, contextual, heterogenous and disparate personality of its author. Through a sort of “textual exemplarity” (Cage), this work insists on a synthesis both productive and expressive between the voices analyzing and the voices being analyzed. We will see accordingly that this proposition implies, from time to time, that the text be marginalized. / Toutes les illustrations qui ponctuent cette thèse ont été réalisées par Chantal Poirier. Elles ont été insérées dans le texte selon un ordre méticuleusement aléatoire.

Ce travail est une étude approfondie de la concurrence dans les extensions non-déterministes des réseaux d'interaction de Lafont (langage graphique qui représente, lui, le calcul fonctionnel). Ces extensions sont de trois sortes : les réseaux multirègles, multiports et multifils, et leurs combinaisons donnent ainsi sept types de réseaux. Un premier travail consiste à déterminer une bonne sémantique pour pouvoir comparer ces extensions. On cherche à définir un sémantique opérationnelle structurelle sur les réseaux en se basant sur des technique connues de réécriture des graphes, plus particulièrement celle de " double-pushout with borrowed contexts ". Nous définissons à partir de cette méthode un système d'étiquetage des transitions donné par des règles de dérivations dans le style des langages de processus qui sont le paradigme principal pour étudier les systèmes de calcul concurrents. Nous définissons de plus une sémantique observationnelle sur les réseaux basée sur une notion paramétrique de barbe, qui permet enfin de donner avec précision une notion de traduction entre systèmes. On considère qu'une extension est plus expressive qu'une autre si tout langage de la seconde peut être traduit dans un langage de la première. Ceci nous permet de classer l'ensemble des extensions de manière hiérarchique en trois groupe selon la possibilité de traduire un système de réseau dans un autre. Du plus fort au plus faible : les réseaux contenant des multiports ; ensuite ceux contenant des multifils; enfin les réseaux multirègles. Ceci nous permet de donner un langage universel pour les réseaux dont l'étude donne un point de vue neuf sur les briques fondamentales de la concurrence.

En mettant en scène Warten auf Godot en 1975 au Schiller Theater, Beckett déclare : « Je ne connaissais rien au théâtre quand j’ai écrit cette pièce. » Constat précieux : l’auteur parle au passé. Entre l’écriture et la mise en scène, un savoir a été acquis. Le défaut de savoir constaté concerne la dimension pratique du théâtre. C’est le théâtre tel qu’il se fait auquel Beckett s’est peu à peu confronté, jusqu’à assumer la mise en scène de ses propres pièces. Devenu praticien, l’auteur s’empare de se première œuvres, les reprend : dans cette reprise lui apparaissent les failles et les manques initiaux. Loin de relever d’une continuité ou d’une évidence, la mise en scène par l’auteur de son premier théâtre et les réécritures auxquelles elle donne lieu offrent un aperçu sur la façon dont l’intériorisation par Beckett de deux fonctions qui ont joué un rôle fondamental dans l’histoire du théâtre au XXe siècle soumet ses pièces à une dynamique de création seconde qui fait évoluer sa poétique initiale. Beckett ne considère pas l’œuvre écrite comme une partition dont il faudrait assumer l’exécution. Au contraire, au fil de sa pratique scénique, il les dramatise et les théâtralise, témoignant de l’évolution même de sa conception du théâtre. Il passe d’un « théâtre rêvé » à un « théâtre pratiqué ». Dans ce passage se dévoilent les méandres et les détours d’une écriture dramatique façonnée initialement dans un creuset romanesque, qui va progressivement acquérir une théâtralité plus marquée. La pratique soumet alors la poétique à une dynamique de reprise et d’ajustements dévoilant en définitive un « Beckett en mouvement », qui allie pratique scénique et poétique du drame pour fonder une poétique théâtrale complexe. / While staging Warten auf Godot in 1975 at the Schiller Theater, Beckett says : « I knew nothing about theater when I wrote this. » The use of the past tense points out the fact that between the writing process and the staging process, something has been learnt. What he did ignore is theater as an artistic practice, as a performance. He will discover it progressively during the 1950’s and the 1960’s and eventually will become the director of his own plays. Our work aims at showing how this shift from desk to stage will lead him to rewrite them, carrying on the creative process directly from the theatre, and, in return, how his very conception of directing is shaped by the singularity of these plays. Far from considering stage directing as a mere execution of the stage directions, Beckett dramatizes and theatricalises his works. Thus, his very conception of theater evolves from an abstract vision, drama as it appears in a literary form, to very a practical one, transforming the very theatricality at stake in his plays. Stage directing and theatre writing are then offering a constant interface, which leads to the emergence of what may be called a theatrical creation in which practical standpoint and literary creation are linked together.