Cette thèse apporte quatre principales contributions : une méthode d'éliminateur de phénomènes de ''chattering'' d'automates hybrides, par calcul d'une dynamique régulière équivalente à l'aide d'une convexification de Filippov ; une méthode d'accélération de la simulation de certains comportements Zénon, dits géométriques, pour certains automates hybrides ; des preuves de préservation par les méthodes ci-dessus d'une sémantique des automates hybrides à base d'analyse non-standard ; développement de trois logiciels prototypes, l'un sous la forme d'une bibliothèque Simulink, le second sous la forme d'un environnement de simulation de composants FMI, et le troisième étant une implémentation de la méthode de régularisation dans le langage de modélisation de systèmes hybrides Acumen. / This thesis deals with Zeno behavior of hybrid systems, and it has four main contributions : a method of eliminating "chattering" phenomena of hybrid automata, by computing an equivalent dynamics using a new convexification approach ; a method for accelerating the simulation of geometric-Zeno behavior in which the solution converges to a Zeno limit point according to a geometric series ; a proof of preservation by the above methods of a semantics of hybrid automata based on non-standard analysis ; a development of three prototype software, one in the form of a Simulink library, the other in the form of an FMI simulation environment, and the third being an implementation of the regularization method in the Modeling and simulation tool Acumen.

Le ZX-Calculus est un langage graphique puissant et intuitif, issu de la théorie des catégories, et qui permet de raisonner et calculer en quantique. Les évolutions quantiques sont vues dans ce formalisme comme des graphes ouverts, ou diagrammes, qui peuvent être transformés localement selon un ensemble d’axiomes qui préservent le résultat du calcul. Un aspect des plus importants du langage est sa complétude : Étant donnés deux diagrammes qui représentent la même évolution quantique, puis-je transformer l’un en l’autre en utilisant seulement les règles graphiques permises par le langage ? Si c’est le cas, cela veut dire que le langage graphique capture entièrement la mécanique quantique. Le langage est connu comme étant complet pour une sous-classe (ou fragment) particulière d’évolutions quantiques, appelée Clifford. Malheureusement, celle-ci n’est pas universelle : on ne peut pas représenter, ni même approcher, certaines évolutions. Dans cette thèse, nous proposons d’élargir l’ensemble d’axiomes pour obtenir la complétude pour des fragments plus grands du langage, qui en particulier sont approximativement universels, voire universels. Pour ce faire, dans un premier temps nous utilisons la complétude d’un autre langage graphique et transportons ce résultat au ZX-Calculus. Afin de simplifier cette fastidieuse étape, nous introduisons un langage intermédiaire, intéressant en lui-même car il capture un fragment particulier mais universel de la mécanique quantique : Toffoli-Hadamard. Nous définissons ensuite la notion de diagramme linéaire, qui permet d’obtenir une preuve uniforme pour certains ensembles d’équations. Nous définissons également la notion de décomposition d’un diagramme en valeurs singuliaires, ce qui nous permet de nous épargner un grand nombre de calculs. Dans un second temps, nous définissons une forme normale qui a le mérite d’exister pour une infinité de fragments du langage, ainsi que pour le langage lui-même, sans restriction. Grâce à cela, nous reprouvons les résultats de complétude précédents, mais cette fois sans utiliser de langage tiers, et nous en dérivons de nouveaux, pour d’autres fragments. Les états contrôlés, utilisés pour la définition de forme normale, s’avèrent en outre utiles pour réaliser des opérations non-triviales telles que la somme, le produit terme-à-terme, ou la concaténation. / The ZX-Calculus is a powerful and intuitive graphical language, based on category theory, that allows for quantum reasoning and computing. Quantum evolutions are seen in this formalism as open graphs, or diagrams, that can be transformed locally according to a set of axioms that preserve the result of the computation. One of the most important aspects of language is its completeness: Given two diagrams that represent the same quantum evolution, can I transform one into the other using only the graphical rules allowed by the language? If this is the case, it means that the graphical language captures quantum mechanics entirely. The language is known to be complete for a particular subclass (or fragment) of quantum evolutions, called Clifford. Unfortunately, this one is not universal: we cannot represent, or even approach, certain quantum evolutions. In this thesis, we propose to extend the set of axioms to obtain completeness for larger fragments of the language, which in particular are approximately universal, or even universal. To do this, we first use the completeness of another graphical language and transport this result to the ZX-Calculus. In order to simplify this tedious step, we introduce an intermediate language, interesting in itself as it captures a particular but universal fragment of quantum mechanics: Toffoli-Hadamard. We then define the notion of a linear diagram, which provides a uniform proof for some sets of equations. We also define the notion of singular value decomposition of a diagram, which allows us to avoid a large number of calculations. In a second step, we define a normal form that exists for an infinite number of fragments of the language, as well as for the language itself, without restriction. Thanks to this, we reprove the previous completeness results, but this time without using any third party language, and we derive new ones for other fragments. The controlled states, used for the definition of the normal form, are also useful for performing non-trivial operations such as sum, term-to-term product, or concatenation.

La notion de T-radical d’un idéal permet à G.Cherlin de démontrer un Nullstellensatz dans les théories inductives d’anneaux. Nous proposons une analyse modèle-théorique de phénomènes connexes. En premier lieu, une réciproque de ce théorème nous conduit à une caractérisation des corps algébriquement clos, suggérant une version “positive” du travail de Cherlin, la théorie des idéaux T-radiciels. Ceux-ci se caractérisent par un théorème de représentation et sont associés à un théorème des zéros “positif”. Ces résultats se généralisent à la logique du premier ordre : grâce à la notion de classe spéciale, nous développons ensuite une théorie logique des idéaux. On peut encore parler d’idéaux premiers et radiciels, relativement à une classe de structures. Dans ce cadre, le théorème de représentation est une propriété intrinsèque des classes spéciales et le théorème des zéros une propriété de préservation logique, que nous appelons “complétude géométrique” et qui entretient des rapports étroits avec la modèle-complétude positive. Les algèbres basées en groupes de P.Higgins permettent d’appliquer ces résultats aux théories modèle-complètes de corps avec opérateurs additionnels. Dans certains cas “noethériens”, l’algèbre de coordonnées est un invariant algébrique des “variétés affines”. Enfin, il est possible à partir d’un ensemble de formules E de généraliser les classes spéciales et autres classes de structures. Notre théorie des idéaux logiques est de plus un cas particulier du phénomène de localisation étudié par M.Coste ; dans certaines situations, un bon choix de formules permet d’identifier les types complets d’une “algèbre” à des types de localisation / The notion of T-radical of an ideal allows G.Cherlin to prove a Nullstellensatz for inductive ring theories.We present here a model-theoretic analysis of closely related phenomena. At first, a reverse of this theorem leeds us to a characterization of algebraically closed fields, suggesting a “positive” version of Cherlin’s work, the theory of T-radical ideals. These are characterized by a representation theorem and associated to a “positive” Nullstellensatz. Those results are generalized to first order logic : thanks to the notion of special class, we then develop a logical theory of ideals. One may still speak about prime and radical ideals, relatively to a class of structures. In this setting, the representation theorem is an intrinsic property of special classes and the Nullstellensatz a logical preservation property, which we call “geometric completeness” and which is closely linked to positive model-completeness. The group-based algebras of P.Higgins allow us to apply these results to model-complete theories of fields with additional operators. In certain “noetherian” cases, the coordinate algebra is an algebraic invariant of “affine algebraic sets”. At last, it is possible from a set of formulas E to generalize special and other classes of structures. Moreover, our theory of logical ideals is a particular case of the localisation phenomenon studied by M.Coste ; in certain situations, a good choice of formulasleeds to an identification of the complete types of a given “algebra” with some localisation types

Les schématisations de termes permettent de représenter des ensembles infinis de termes ayant une structure similaire de manière finie et compacte. Dans ce travail, nous étudions certains aspects liés à l'utilisation des schématisations de termes en déduction automatique, plus particulièrement dans les méthodes de démonstration de théorèmes du premier ordre par saturation. Après une brève étude comparée des formalismes de schématisation existants, nous nous concentrons plus particulièrement sur les termes avec exposants entiers (ou I-termes). Dans un premier temps, nous proposons une nouvelle approche permettant de détecter automatiquement des régularités dans les espaces de recherche. Cette détection des régularités peut avoir plusieurs applications, notamment la découverte de lemmes nécessaires à la terminaison dans certaines preuves inductives. Nous présentons DS3, un outil qui implémente ces idées. Nous comparons notre approche avec d'autres techniques de généralisation de termes. Notre approche diffère complètement des techniques existantes car d'une part, elle est complètement indépendante de la procédure de preuve utilisée et d'autre part, elle utilise des techniques de généralisation inductive et non déductives. Nous discutons également les avantages et les inconvénients liés à l'utilisation de notre méthode et donnons des éléments informels de comparaison avec les approches existantes. Nous nous intéressons ensuite aux aspects théoriques de l'utilisation des I-termes en démonstration automatique. Nous démontrons que l'extension aux I-termes du calcul de résolution ordonnée est réfutationnellement complète, que l'extension du calcul de superposition n'est pas réfutationnellement complète et nous proposons une nouvelle règle d'inférence pour restaurer la complétude réfutationnelle. Nous proposons ensuite un algorithme d'indexation (pour une sous-classe) des I-termes, utile pour le traitement des règles de simplification et d'élimination de la redondance. Finalement nous présentons DEI, un démonstrateur automatique de théorèmes capable de gérer directement des formules contenant des I-termes. Nous évaluons les performances de ce logiciel sur un ensemble de benchmarks. / Term schematisations allow one to represent infinite sets of terms having a similar structure by a finite and compact form. In this work we study some issues related to the use of term schematisation in automated deduction, in particular in saturation-based first-order theorem proving. After a brief comparative study of existing schematisation formalisms, we focus on terms with integer exponents (or I-terms). We first propose a new approach allowing to automatically detect regularities (obviously not always) on search spaces. This is motivated by our aim at extending current theorem provers with qualitative improvements. For instance, detecting regularities permits to discover lemmata which is mandatory for terminating in some kinds of inductive proofs. We present DS3, a tool which implements these ideas. Our approach departs from existing techniques since on one hand it is completely independent of the proof procedure used and on the other hand it uses inductive generalization techniques instead of deductive ones. We discuss advantages and disadvantages of our method and we give some informal elements of comparison with similar approaches. Next we tackle some theoretical aspects of the use of I-terms in automated deduction. We prove that the direct extension of the ordered resolution calculus is refutationally complete. We provide an example showing that a direct extension of the superposition calculus is not refutationally complete and we propose a new inference rule to restore refutational completeness. We then propose an indexing algorithm for (a subclass of) I-terms. This algorithm is an extension of the perfect discrimination trees that are are employed by many efficient theorem provers to implement redundancy elimination rules. Finally we present DEI, a theorem prover with built-in capabilities to handle formulae containing I-terms. This theorem-prover is an extension of the E-prover developed by S. Schulz. We evaluate the performances of this software on a set of benchmarks.

Dans une composition de services Web basée protocole, un ensemble de services composants se collaborent pour donner lieu à un service Composite. Chaque service est représenté par un automate à états finis (AEF). Au sein d'un AEF, chaque transition exprime l'exécution d'une opération qui fait avancer le service vers un état suivant. Une exécution du composite correspond à une séquence de transitions où chacune est déléguée à un des composants. Lors de l'exécution du composite, un ou plusieurs composants peuvent devenir indisponibles. Ceci peut produire une exécution incomplète du composite, et de ce fait un recouvrement est nécessaire. Le recouvrement consiste à transformer l'exécution incomplète en une exécution alternative ayant encore la capacité d'aller vers un état final. La transformation s'effectue en compensant certaines transitions et exécutant d'autres. Cette thèse présente une étude formelle du problème de recouvrement dans une composition de service Web basée protocole. Le problème de recouvrement consiste à trouver une meilleure exécution alternative parmi celles disponibles. Une meilleure alternative doit être atteignable à partir de l'exécution incomplète avec un nombre minimal de compensations visibles (vis-à-vis le client). Pour une exécution alternative donnée, nous prouvons que le problème de décision associé au calcul du nombre de transitions invisiblement compensées est NP-Complet. De ce fait, nous concluons que le problème de décision associé au recouvrement appartient à la classe ΣP2.

Cette thèse étudie les aspects combinatoires, algorithmiques et la complexité de problèmes de théorie des graphes, et tout spécialement de problèmes liés aux notions de marches, de transitions et de distance dans les graphes. Nous nous intéressons d’abord au problème de traffic monitoring, qui consiste à placer aussi peu de capteurs que possible sur les arcs d’un graphe de façon à pouvoir reconstituer des marches d’objets. La caractérisation d’instances intéressantes dans la pratique nous amène à la notion de transitions interdites, qui renforce le modèle de graphe. Notre travail sur les graphes à transitions interdites comprend aussi l’étude de la notion d’ensemble de transitions connectant, que l’on peut voir comme l’analogue en terme de transitions de la notion d’arbre couvrant. Une partie importante de cette thèse porte sur les graphes géométriques, qui sont des graphes dont les sommets sont des points de l’espace réel et dont les arêtes sont déterminées par les distances géométriques entre les sommets. Ces graphes sont au coeur du célèbre problème de Hadwiger-Nelson et nous sont d’une grande aide dans notre étude de la densité des ensembles qui évitent la distance 1 dans plusieurs types d’espaces normés. Nous développons des outils pour étudier ces problèmes et les utilisons pour prouver la conjecture de Bachoc-Robins sur plusieurs paralléloèdres. Nous nous penchons aussi sur le cas du plan euclidien et améliorons les bornes sur la densité des ensembles évitant la distance 1 et sur son nombre chromatique fractionnaire. Enfin, nous étudions la complexité de problèmes d’homomorphismes de graphes et établissons des théorèmes de dichotomie sur la complexité des homomorphismes localement injectifs vers les tournois réflexifs. / This thesis studies combinatorial, algorithmic and complexity aspects of graph theory problems, and especially of problems related to the notions of walks, transitions and distances in graphs. We first study the problem of traffic monitoring, in which we have to place as few censors as possible on the arcs of a graph to be able to retrace walks of objects. The characterization of instances of practical interests brings us to the notion of forbidden transitions, which strengthens the model of graphs. Our work on forbidden-transition graphs also includes the study of connecting transition sets, which can be seen as a translation to forbidden-transition graphs of the notion of spanning trees. A large part of this thesis focuses on geometric graphs, which are graphs whose vertices are points of the real space and whose edges are determined by geometric distance between the vertices. This graphs are at the core of the famous Hadwiger- Nelson problem and are of great help in our study of the density of sets avoiding distance 1 in various normed spaces. We develop new tools to study these problems and use them to prove the Bachoc-Robins conjecture on several parallelohedra. We also investigate the case of the Euclidean plane and improve the bounds on the density of sets avoiding distance 1 and on its fractional chromatic number. Finally, we study the complexity of graph homomorphism problems and establish dichotomy theorems for the complexity of locally-injective homomorphisms to reflexive tournaments.

Dans une composition de services Web basée protocole, un ensemble de services composants se collaborent pour donner lieu à un service Composite. Chaque service est représenté par un automate à états finis (AEF). Au sein d’un AEF, chaque transition exprime l’exécution d’une opération qui fait avancer le service vers un état suivant. Une exécution du composite correspond à une séquence de transitions où chacune est déléguée à un des composants. Lors de l’exécution du composite, un ou plusieurs composants peuvent devenir indisponibles. Ceci peut produire une exécution incomplète du composite, et de ce fait un recouvrement est nécessaire. Le recouvrement consiste à transformer l’exécution incomplète en une exécution alternative ayant encore la capacité d’aller vers un état final. La transformation s'effectue en compensant certaines transitions et exécutant d’autres. Cette thèse présente une étude formelle du problème de recouvrement dans une composition de service Web basée protocole. Le problème de recouvrement consiste à trouver une meilleure exécution alternative parmi celles disponibles. Une meilleure alternative doit être atteignable à partir de l’exécution incomplète avec un nombre minimal de compensations visibles (vis-à-vis le client). Pour une exécution alternative donnée, nous prouvons que le problème de décision associé au calcul du nombre de transitions invisiblement compensées est NP-Complet. De ce fait, nous concluons que le problème de décision associé au recouvrement appartient à la classe ΣP2. / In a protocol-based Web service composition, a set of available component services collaborate together in order to provide a new composite service. Services export their protocols as finite state machines (FSMs). A transition in the FSM represents a task execution that makes the service moving to a next state. An execution of the composite corresponds to a sequence of transitions where each task is delegated to a component service. During composite run, one or more delegated components may become unavailable due to hard or soft problems on the Network. This unavailability may result in a failed execution of the composite. We provide in this thesis a formal study of the automatic recovery problem in the protocol-based Web service composition. Recovery consists in transforming the failed execution into a recovery execution. Such a transformation is performed by compensating some transitions and executing some others. The recovery execution is an alternative execution of the composite that still has the ability to reach a final state. The recovery problem consists then in finding the best recovery execution(s) among those available. The best recovery execution is attainable from the failed execution with a minimal number of visible compensations with respect to the client. For a given recovery execution, we prove that the decision problem associated with computing the number of invisibly-compensated transitions is NP-complete. Thus, we conclude that deciding of the best recovery execution is in ΣP2.

Ce travail étudie les variétés pseudo-riemanniennes compactes localement homogènes à travers le prisme des (G,X)-structures, introduites par Thurston dans son programme de géométrisation. Nous commençons par présenter la problématique générale et discutons notamment du rapport entre la complétude géodésique de ces variétés et une autre notion de complétude propre aux (G,X)-structures. Nous donnons également dans le chapitre 1 une nouvelle preuve d’un théorème de Bromberg et Medina qui classifie les métriques lorentziennes invariantes à gauche sur SL(2,R) dont le flot géodésique est complet. Conjecturalement, toute (G,X)-structure pseudo-riemannienne sur une variété compacte est complète. Nous prouvons ici que cela est vrai pour certaines géométries, sous l’hypothèse que la (G,X)-structure est a priori kleinienne. On en déduit que, pour ces géométries, la complétude est une condition fermée. Lorsque X est un groupe de Lie de rang 1 muni de sa métrique de Killing, ce résultat complète un théorème de Guéritaud–Guichard–Kassel–Wienhard selon lequel la complétude est une condition ouverte. Nous nous tournons ensuite vers l’étude des représentations d’un groupe de surface à valeurs dans les isométries d’une variété riemannienne M complète simplement connexe de courbure sectionnelle inférieure à -1. Étant donnée une telle représentation ρ, nous montrons que l’ensemble des représentations fuchsiennes j telles qu’il existe une application (j,ρ)-équivariante et contractante de H2 dans M est un ouvert non vide et contractile de l’espace de Teichmüller (sauf lorsque ρ est elle-même fuchsienne). Ce résultat nous permet de décrire l’espace des métriques lorentziennes de courbure constante -1 sur un fibré en cercle au-dessus d’une surface compacte. Nous montrons que cet espace possède un nombre fini de composantes connexes classifiées par un invariant que nous appelons longueur de la fibre. Nous prouvons également que le volume total de ces métriques ne dépend que de la topologie du fibré et de la longueur de la fibre. / In this work, we study closed locally homogeneous pseudo-Riemannian manifolds through the notion of (G,X)-structure, introduced by Thurston in his geometrization program. We start by presenting the general problem. In particular, we discuss the link between geodesical completeness of those manifolds and another notion of completeness specific to (G,X)-structures. In chapter 1, we also give a new proof of a theorem by Bromberg and Medina which classifies left invariant Lorentz metrics on SL(2,R) that are geodesically complete. Conjecturally, every pseudo-riemannian (G,X)-structure on a closed manifold is complete. Here we prove that it holds for certain geometries, provided that the (G,X )-structure is a priori Kleinian . This implies that, for such geometries, completeness is a closed condition. When X is a Lie group of rank 1 handled with its Killing metric, this result complements a theorem of Guéritaud–Guichard–Kassel–Wienhard, acording to which completeness is an open condition. We then turn to the study of representations of surface groups into the isometry group of a complete simply connected Riemannian manifold M of curvature less than or equal to -1. Given such a representation ρ, we prove that the set of Fuchsian representations j for which there exists a (j,ρ)-equivariant contracting map from H2 to M is a non-empty open contractible subset of the Teichmüller space (unless ρ itself is Fuchsian). This result allows us to describe the space of Lorentz metrics of constant curvature -1 on a circle bundle over a closed surface. We show that this space has finitely many connected components, classified by an invariant that we call the length of the fiber. We also prove that the total volume of those metrics only depends on the topology of the bundle and on the length of the fiber.

Nous nous intéresserons aux graphes avec conflits (un conflit est une paire d’arêtes ne pouvant pas simultanément faire partie d’un même sous-graphe), dans lesquels nous étudierons différents types de problèmes liés à l’existence de sous-graphes sans conflit, de nature aussi bien algorithmique que combinatoire, notre ligne directrice étant la notion de connectivité. Nous verrons que plusieurs résultats, simples sans conflit, ne le sont plus lors de l’ajout de conflits. Nous présenterons : des algorithmes exacts (non polynomiaux), des résultats de \mathcal{N P}-complétude, et des conditions suffisantes assurant l’existence de certains objets (arbre couvrant, chemin et cycle hamiltonien) sans conflits. / We will look at graphs with conflicts (conflict is a pair of edges can not simultaneously be part of the same subgraph), in which we will study different types of problems related to the existence of subgraphs without conflict. The nature of the problems is both combinatorial and algorithmic. Our guideline is the notion of connectivity. We will see several results, simple without conflict, are no longer when adding conflicts. We will present exact algorithms (not polynomial), \mathcal{N P}-completeness results and sufficient conditions ensuring the existence of certain objects (spanning tree, path and Hamiltonian cycle) without conflict.

En prenant comme point de départ l'interprétation de l'épopée homérique par Erich Auerbach, ce mémoire se consacre à la notion d'immersion fictionnelle, non sous son versant psychologique de phénomène contingent de la conscience imageante, mais sous son versant imaginaire, en tant que mythe sociétal d'immédiateté déterminant des stratégies esthétiques et médiatiques concrètes, que j'articule autour des poétiques contemporaines de construction de mondes (world building). L'enjeu est de saisir les répercussions esthétiques de ce fantasme d'une représentation qui occulterait à la fois sa médiateté et le réel-sensible, à une époque où la transfictionnalité et la transmédiaticité s'élèvent tranquillement comme modes narratifs dominants de notre culture occidentale contemporaine. Avec cette conviction que le terme d'immersion doit être replacé dans le cadre de ses effets, le premier chapitre s'affairera à démêler quelques difficultés théoriques que pose la notion en la problématisant sous l'égide des questions ontologiques de vérité et de la position phénoménologique de Sartre sur l'imaginaire. Tout en posant les outils théoriques nécessaires aux analyses subséquentes, le deuxième chapitre approfondit cette problématisation en empruntant aux théories modales des mondes possibles un cadre conceptuel opératoire, qui amènera, notamment grâce au concept formalisé de «~monde~», à concevoir la fiction comme un mouvement de distanciation. Appuyé par la lecture du roman tolkienien, le troisième chapitre tourne le fantasme d'immersion du côté d'une pulsion encyclopédique de complétude, concrétisée par des stratégies textuelles d'accumulation informationnelle et de virtualisation de données diégétiques laissées en suspens -- effets d'actualité que je qualifie d'extra-narratifs en les présentant en contraste des principes prescriptifs du \emph{muthos} aristotélicien formant une chaîne causale téléologique fondée sur une loi d'économie narrative. Le quatrième et dernier chapitre, articulé autour de la notion encore trop peu étudiée de canonicité, observe les poétiques de construction de mondes telles qu'elles se désamorcent elles-mêmes, dans le contexte des univers partagés, en engendrant des incohérences logiques donnant lieu à la tenue d'un discours auctorial-éditorial régissant les vérités fictionnelles comme moyen de maintenir l'immersivité de la représentation. L'analyse générique des comic-books de superhéros et une enquête sur la gestion éditoriale de l'univers de Star Wars permettront d'identifier les multiples modalités de délimitation de la frontière entre canon et apocryphe. En conclusion, je reviens brièvement sur la notion d'immersion, ainsi exemplifiée, en la resémiotisant comme une médiation compétitive de mise en présence de l'être. / Starting from Erich Auerbach's interpretation of the Homeric epic, this master's dissertation studies the notion of fictional immersion, not in its psychological aspect of a contingent phenomena of human consciousness, but rather in its collective imaginary sense, as a societal myth of immediacy generating concrete aesthetic and media strategies that I investigate from the standpoint of contemporary poetics of world building. The objective is to apprehend the aesthetic repercussions of this desire for a mediation that would conceal both the real and its own mediacy, in a time where transfictionality and transmedia storytelling are becoming more and more the dominant narrative modes of our contemporary western culture. Under the conviction that immersion must be looked at as a set of cultural strategies, the first chapter unravels some theorical difficulties bounded to the term by problematizing it towards ontological questions of truth and Sartre's phenomenological stance on the imaginary. While laying a necessary theorical toolset for subsequent analyses, the second chapter examines these problems by borrowing to possible worlds modal theories a set of working concepts, which will lead to the assumption that fiction is a movement of distanciation, notably with the aide of the formal concept of ``world''. Through a reading of the tolkienian novel, the third chapter directs the desire for immersion towards an encyclopedic impulsion for completeness, embodied by textual strategies such as informational proliferation and allusion to virtual diegetic data -- strategies leaving an impression of the actual that I describe as extra-narrative in contrast to Aristote's \emph{muthos} forming a teological causal chain based on a principle of an unitary narrative. The fourth and final chapter, articulated around the still too little studied notion of canonicity, observes poetics of world building as they neutralize themselves, particularly with shared universes, by generating logical inconsistencies giving birth to authorial and editorial discourses stating fictional truths as a way of maintaining the mediation's immersivity. The analysis of the superhero comics genre and an inquiry of the editorial management of the Star Wars universe will exemplify the multiple modalities of this delimitation between the canon and the apocryphal. As a conclusion, I briefly come back to the notion of immersion itself by redescribing it as a competitive mediation of presence.