Nous nous intéressons à la mise en œuvre des politiques de confidentialité et d'intégrité des données dans le contexte des applications Web côté client. Étant donné que la plupart des applications Web est développée en JavaScript, on propose des mécanismes statiques, dynamiques et hybrides pour sécuriser le flux d'information en Core JavaScript - un fragment de JavaScript qui retient ses caractéristiques fondamentales. Nous étudions en particulier: une sémantique à dispositif de contrôle afin de garantir dynamiquement le respect des politiques de sécurité en Core JavaScript aussi bien qu'un compilateur qui instrumente un programme avec le dispositif de contrôle proposé, un système de types qui vérifie statiquement si un programme respecte une politique de sécurité donnée, un système de types hybride qui combine des techniques d'analyse statique à des techniques d'analyse dynamique afin d'accepter des programmes surs que sa version purement statique est obligée de rejeter. La plupart des programmes JavaScript s'exécute dans un navigateur Web dans le contexte d'une page Web. Ces programmes interagissent avec la page dans laquelle ils sont inclus parmi des APIs externes fournies par le navigateur. Souvent, l'exécution d'une API externe dépasse le périmètre de l'interprète du langage. Ainsi, une analyse réaliste des programmes JavaScript côté client doit considérer l'invocation potentielle des APIs externes. Pour cela, on présente une méthodologie générale qui permet d'étendre des dispositifs de contrôle de sécurité afin qu'ils prennent en compte l'invocation potentielle des APIs externes et on applique cette méthodologie à un fragment important de l'API DOM Core Level 1. / In this thesis, we address the issue of enforcing confidentiality and integrity policies in the context of client-side Web applications. Since most Web applications are developed in the JavaScript programming language, we study static, dynamic, and hybrid enforcement mechanisms for securing information flow in Core JavaScript --- a fragment of JavaScript that retains its defining features. Specifically, we propose: a monitored semantics for dynamically enforcing secure information flow in Core JavaScript as well as a source-to-source transformation that inlines the proposed monitor, a type system that statically checks whether or not a program abides by a given information flow policy, and a hybrid type system that combines static and dynamic analyses in order to accept more secure programs than its fully static counterpart. Most JavaScript programs are designed to be executed in a browser in the context of a Web page. These programs often interact with the Web page in which they are included via a large number of external APIs provided by the browser. The execution of these APIs usually takes place outside the perimeter of the language. Hence, any realistic analysis of client-side JavaScript must take into account possible interactions with external APIs. To this end, we present a general methodology for extending security monitors to take into account the possible invocation of arbitrary APIs and we apply this methodology to a representative fragment of the DOM Core Level 1 API that captures DOM-specific information flows.

Ce travail consiste en une édition critique de la cinquième mise en prose du Roman de Troie de Benoît de Sainte-Maure, dont on a conservé quinze manuscrits, et qui aurait été composée au début du XIVe siècle, peut-être à Naples. Cette mise en prose présente deux particularités par rapport aux quatre autres connues, qui constituent les deux axes d'études de l'introduction du texte. Elle ne forme pas d'une part un texte autonome, mais la section troyenne d'une compilation d'histoire antique, l'Histoire ancienne jusqu'à César dans sa deuxième rédaction, et s'inscrit donc dans la réception de ce texte ; il s'agit, d'autre part, autant que d'une mise en prose, d'une compilation, qui utilise deux des mises en prose antérieures et dont on a étudié les modes d'écriture et de réécriture. L'édition est également accompagnée d'une étude linguistique, d'un glossaire et d'un index des noms propres. / This work is a critical edition of the fifth version of the Roman de Troie by Benoît de Sainte-Maure, which can be found in fifteen manuscripts and was composed at the beginning of the fourteenth century, perhaps in Naples. This prose version has two caracteristics which make it stand apart from the other four, and which form the basis of the introductional study of the text. On the one hand, the prose version is not an autonomous text, but the Trojan section of a compilation of Antique history, the Histoire ancienne jusqu'à César in its second version, whose reception must be studied ; on the other hand, this prose version is as much a work of compilation which uses two of the previous prose version as an adptation in prose, and the ways in which the author has written and rewritten the story has been studied. The edition is followed by a linguistic study, a glossary and an index of proper names.

Cette thèse porte sur le discours de cinq poètes chiliennes, ceux qui vivent au sud de ce territoire. Elles montrent une construction de leur identité dans sa poétique, qui traverse leurs corps et leurs mémoires, essayant de déconstruire les mandats historiques, politiques, sociaux et religieux qui ont été inventés pour construire l'identité de la femme. Cette recherche examine l’émergence de le discours poétique féminin, qui comprend la période des années 60 à nos jours, cela puisque c’est dans cette époque que commence une “plus grande” diffusion de la poétique de femmes au Chili, et comment évolue le langage poétique de la femme, les transits vers un nouveau langage: le corps comme auteure, du géodésique au physio- poétique, permettant l'analyse de les différences littéraires existantes dans ce territoire, où la littérature indigéniste joue un rôle prééminent, marquant une littérature de frontières avec la poétique national, pour exorciser les traumatismes du colonialisme. Dans ce cadre, les contributions des “les théories postcoloniales”, et les “études subalternes », m'ont aidé à comprendre et démonter, d’un côté les images stéréotypées construites vers les indigènes, tant idéologies de l'étatisme, et d’un autre côté, découvrez comment se produit « l'abandon » dans cette poétique, a travers de retour au discours naturalisés de la genèse, ce qui nous amène à la réflexion sur l’écriture et la réécriture de la poétique des femmes, qui est marquée par la construction aporétique de « la différence ». / This thesis focuses on the speech of five Chilean poets who live in the South of the territory. They show their identity construction in their Poetics, which runs through their bodies and their memories, trying to deconstruct the historical, political, social and religious mandates that have been invented to build the identity of the woman. This research examines the emergence of the feminine poetic speech, which includes the period from the 1960s to the present day, since it is during this time that a "larger" dissemination of the poetics of women to the Chile begins and how changing the poetic language of the woman, the transits to a new language: the body as the author, the “geodesic to the physic poetic”, the analysis of existing literary differences in this territory, where indigenous literature played a prominent role, scoring a borders with the national poetic literature, to exorcise the trauma of colonialism. In this context, the contributions of "postcolonial theories", and the "subaltern studies", helped me to understand and remove, one side stereotyped images built towards the natives, both ideologies of statism and, on the other hand, discover how 'abandonment' occurs in this poetic, a naturalized return to the speech through the Genesis, which leads to a reflection on the writing and rewriting of the poetics of women", which is marked by the aporetic construction of the 'difference '.

Bien penser la structuration de données est primordial pour obtenir de hautes performances, alors que les processeurs actuels perdent un temps considérable à attendre la complétion de transactions mémoires. En particulier les localités spatiales et temporelles de données doivent être optimisées.Cependant, les transformations de structures de données ne sont pas proprement explorées par les compilateurs, en raison de la difficulté que pose l'évaluation de performance des transformations potentielles. De plus,l'optimisation des structures de données est chronophage, sujette à erreur etles transformations à considérer sont trop nombreuses pour être implémentées à la main dans l'optique de trouver une version de code efficace.On propose de guider les programmeurs à travers le processus de restructuration de données grace à un retour utilisateur approfondi, tout d'abord en donnant une description multidimensionnelle de la structure de donnée initiale, faite par une analyse de traces mémoire issues du binaire de l'application de l'utilisateur, dans le but de localiser des problèmes de stride au niveau instruction, indépendemment du langage d'entrée. On choisit de focaliser notre étude sur les transformations de structure de données, traduisibles dans un formalisme proche du C pour favoriser la compréhension de l'utilisateur, que l'on applique et évalue sur deux cas d'étude qui sont des applications réelles,à savoir une simulation d'ondes cardiaques et une simulation de chromodynamique quantique sur réseau, avec différents jeux d'entrées. La prédiction de performance de différentes transformations est conforme à 5% près aux versions réécrites à la main. / Careful data layout design is crucial for achieving high performance, as nowadays processors waste a considerable amount of time being stalled by memory transactions, and in particular spacial and temporal locality have to be optimized. However, data layout transformations is an area left largely unexplored by state-of-the-art compilers, due to the difficulty to evaluate the possible performance gains of transformations. Moreover, optimizing data layout is time-consuming, error-prone, and layout transformations are too numerous tobe experimented by hand in hope to discover a high performance version. We propose to guide application programmers through data layout restructuring with an extensive feedback, firstly by providing a comprehensive multidimensional description of the initial layout, built via analysis of memory traces collected from the application binary textit {in fine} aiming at pinpointing problematic strides at the instruction level, independently of theinput language. We choose to focus on layout transformations,translatable to C-formalism to aid user understanding, that we apply and assesson case study composed of two representative multithreaded real-lifeapplications, a cardiac wave simulation and lattice QCD simulation, with different inputs and parameters. The performance prediction of different transformations matches (within 5%) with hand-optimized layout code.

Cette étude porte sur l’exploration du processus et du phénomène par lesquels l’identité nationale et culturelle des Caraïbes a été construite. Dans la poursuite de cet objectif, deux poèmes majeurs et une pièce de théâtre dramatique de Derek Walcott seront examinés. La première s’agit de son poème épique créole, Omeros, qui se concentre sur les enjeux de l’identité créole et le concept de l’héros national.Étant donnée que la poésie de Walcott est fortement influencée par sa vie personnelle et en conséquence,par la vie dans son pays natal, l'île de Sainte-Lucie, il paraît indispensable à examiner son poème autobiographique, Another Life, qui est un compte rétrospectif de Walcott et son parcours artistiquejusqu’à l’âge de 33 ans. En outre, puisque Omeros met en parallèle la poésie homérique, cette étude bénéficie également d’une exploration de son autre réécriture de la poésie homérique, The Odyssey : aPlay. Cette étude tente à monter que ces deux réécritures se sont complémentaires : le poème épique antillais est la quête d’identité du point de vue du sujet colonial, tandis que la pièce de théâtre dramatique antillaise est la quête d’identité de la perspective du colonisateur. L’étude de la poésie et des pièces de théâtre dramatiques de Walcott nous aident à percevoir les façons dont le poète antillais tente à déconstruire l’importance de la tradition littéraire occidentale à travers la réécriture de la poésie homérique. Cette tradition perpétue l’opposition binaire de supériorité/infériorité qui joue un rôle déterminant dans la construction de l’identité d’un individu. En déplaçant les personnages et la littérature de Saint Lucie de leur emplacement dans les marges vers le centre, Walcott décentre la poésie homérique, et la littérature occidentale. Créolisation, Colonialisme, Postcolonialisme,Déconstruction, Poésie homérique, Histoire, Mémoire, Réécriture / This thesis seeks to explore the process and phenomenon through which Caribbean national and cultural identity has been constructed. In order to achieve this goal, two of Derek Walcott’s major poems and one of his dramas have been chosen. The first is his Creole epic poem, Omeros, which concentrates on the issues of Creole identity and the concept of national hero. Since Walcott’s poetry is highly influenced by his personal life and consequently life in his homeland, the island of Saint Lucia, it seems indispensable to study his autobiographical poem, Another Life, which is Walcott’s retrospective review of his artistic journey until the age of 33. Moreover, since Omeros draws parallelswith Homeric epics, it seems highly beneficial to this study to include his other rewriting of Homericepics, The Odyssey : a Play. This study makes an effort to show that these two rewritings are complementary to each other: the West Indian epic poem is the quest for identity seen from the point of view of the colonized subject, whereas the West Indian stage drama is the quest for identity from the colonizer’s perspective. Studying Walcott’s poetry and dramas helps one perceive the ways in which the West Indian poet makes an effort to deconstruct the importance of the Western literary tradition through rewriting the Homeric epics. This tradition perpetuates the binary opposition of superiority/inferiority which plays a seminal role in the construction of individual identity. By displacing the Saint Lucian characters and literature from their place in the margins to the center, Walcott decenters the Homeric epics, and Western literature. Creolisation, Colonialism, Postcolonialism,Deconstruction, , History, Memory, Rewriting

Le monstre intrigue et fascine : il a été étudié, disséqué, et abondamment mis en scène dans des œuvres littéraires. Il reste pourtant mystérieux : nous retrouvons par exemple des monstres similaires dans des cultures éloignées sans aucun contact aussi bien temporellement que géographiquement. Mais si la tératologie est florissante dans de nombreux pays, cet engouement paraît être moins partagé lorsqu’il s’agit de la littérature mexicaine contemporaine car les monstres y sont moins analysés. Ils y sont pourtant présents et nombreux. Une grande partie de notre travail consiste à proposer une typologie des figures du monstre du folklore mexicain en regroupant ceux qui apparaissent dans des recueils de légendes ou des dictionnaires de créatures étranges. Cela permet de comprendre comment il est perçu dans la croyance populaire puis ensuite réutilisé par des auteurs d’œuvres fictionnelles.Le monstre est inscrit dans un imaginaire populaire collectif partagé d’abord oralement puis passé à l’écrit, et ainsi transmis en héritage aux générations futures. L’écriture littéraire s’inspire de cet héritage, ce qui crée une sorte d’hypertextualité entre l’imaginaire collectif présent dans les mythes et légendes, et l’imaginaire individuel de l’auteur par le biais de ses œuvres de fiction. Ce dernier réactive ces sources et même les modifie. L’intertextualité est aussi présente entre les fictions mexicaines et celles du reste du monde, ce qui nous invite à proposer une analyse littéraire comparatiste lorsque celle-ci est possible. Le but de ce travail est de déterminer à travers ces jeux d’écriture et ces inventions, les enjeux de ces figures du monstre dans la littérature mexicaine. / The monster intrigues and fascinates: he was studied, dissected, and abundantly staged in literary works. He remains nevertheless mysterious: we find for example similar monsters in distant cultures without any contact so temporarily as geographically. But if the teratology is prosperous in numerous countries, this craze appears to be less shared when it is the contemporary Mexican literature because monsters are less analyzed there. Nevertheless, they are present and numerous. A big part of our work consists in proposing a typology of the figures of the monster of the Mexican folklore by grouping those who appear in collections of legends or the dictionaries of strange creatures. It allows to understand how it is perceived in the popular belief and then reused by authors of fictional works.The monster is registered in a collective popular imagination, shared at first orally then passed to the paper, and transmitted in inheritance to the future generations. The literary writing is inspired by this inheritance, what creates a sort of hypertextuality between the present collective imagination in the myths and the legends, and the individual imagination of the author by means of its works of fiction. The latter revives these sources and even modifies them. The intertextuality is also present between the Mexican fictions and those besides of the world, what invites us to propose a comparative literary analysis when this one is possible. The purpose of this work is to determine through these sets of writing and these inventions, the stakes in these figures of the monster in the Mexican literature.

Au croisement de la fantasy, ce genre de l’imaginaire qui a reçu ses lettres de noblesse avec J.R.R. Tolkien et jouit aujourd’hui d’une immense popularité, et des romans néo-victoriens, ces réécritures contemporaines du canon historique et littéraire du XIXe siècle apparues dans les années 1960, la fantasy néo-victorienne exhibe ses dragons à vapeur. Tributaire de différents genres et sous-genres, il s’agit d’une littérature paradoxale, prise entre progrès et regret, spéculation et nostalgie. Le contexte victorien renvoie la fantasy à sa première naissance dans les années 1890, et plus largement à l’émergence de la paralittérature et des littératures de l’imaginaire (roman policier, fantastique, horreur, science-fiction), héritières du roman gothique du XVIIIe siècle. Il est nécessaire de décrypter l’arbre généalogique de l’imaginaire pour comprendre les genres hybrides contemporains, tels que la fantasy urbaine et le steampunk, qui représentent à eux deux une partie majeure de la fantasy néo-victorienne. Cette dimension génétique est mise au service d’une poétique autant que d’une politique : il importe justement de définir la valeur du préfixe néo- et de distinguer les moments où le néo-victorianisme penche vers le néo-conservatisme. Quel engagement pour la fantasy néo-victorienne, cette littérature du présent qui interroge et transforme le passé victorien ? Des voyages à dos de dragon à l’héritage de l’Empire britannique, des bas-fonds de Londres aux mondes parallèles de l’uchronie, des zombies aux fanfictions, la recherche d’une poétique nous amène à problématiser l’importance de la fiction dans notre vision du monde. / Fantasy became an official genre of speculative fiction with J.R.R. Tolkien’s work, while the neo-Victorian novel emerged in the 1960s as a contemporary rewriting of the historical and literary canon of the nineteenth century: where the two meet, the steam dragons of neo-Victorian fantasy take flight. At the crossroads of several genres and sub-genres, it is a literature of paradoxes, caught between progress and regret, speculation and nostalgia. The Victorian era was the setting of fantasy’s first birth in the 1890s, and it also witnessed the appearance of several types of genre fiction and speculative fiction (the detective novel, the fantastic, horror and science-fiction) which grew out of the eighteenth-century Gothic novel. The family tree of speculative fiction needs to be laid out if one is to understand hybrid contemporary genres like urban fantasy and steampunk, which comprise most of neo-Victorian fantasy. The taxonomy itself serves to explore the poetical and political dimension: we strive to define the precise meaning of the prefix neo- and distinguish the moments when the neo-Victorian becomes neo-Conservative. What kind of commitment does neo-Victorian fantasy enact, as a type of literature anchored in the present, which interrogates and transforms the Victorian past? From travels on dragonback to the inheritance of the British Empire, from the depths of London to the parallel worlds of alternative history, from zombies to fanfictions, the search for a poetics leads us question the impact that fiction has on our worldview.

Dedukti est un cadre logique résultant de la combinaison du typage dépendant et de la réécriture. Il permet d'encoder de nombreux systèmes logiques au moyen de plongements superficiels qui préservent la notion de réduction. Ces traductions de systèmes logiques dans un format commun sont une première étape nécessaire à l'échange de preuves entre ces systèmes. Cet objectif d'interopérabilité des systèmes de preuve est la motivation principale de cette thèse. Pour y parvenir, nous nous inspirons du monde des langages de programmation et plus particulièrement des langages orientés-objet parce qu'ils mettent en œuvre des mécanismes avancés d'encapsulation, de modularité et de définitions par défaut. Pour cette raison, nous commençons par une traduction superficielle d'un calcul orienté-objet en Dedukti. L'aspect le plus intéressant de cette traduction est le traitement du sous-typage. Malheureusement, ce calcul orienté-objet ne semble pas adapté à l'incorporation de traits logiques. Afin de continuer, nous devons restreindre les mécanismes orientés-objet à des mécanismes statiques, plus faciles à combiner avec la logique et apparemment suffisant pour notre objectif d'interopérabilité. Une telle combinaison de mécanismes orientés-objet et de logique est présente dans l'environnement FoCaLiZe donc nous proposons un encodage superficiel de FoCaLiZe dans Dedukti. Les difficultés principales proviennent de l'intégration de Zenon, le prouveur automatique de théorèmes sur lequel FoCaLiZe repose, et de la traduction du langage d'implantation fonctionnel de FoCaLiZe qui présente deux constructions qui n'ont pas de correspondance simple en Dedukti : le filtrage de motif local et la récursivité. Nous démontrons finalement comment notre encodage de FoCaLiZe dans Dedukti peut servir en pratique à l'interopérabilité entre des systèmes de preuve à l'aide de FoCaLiZe, Zenon et Dedukti. Pour éviter de trop renforcer la théorie dans laquelle la preuve finale est obtenue, nous proposons d'utiliser Dedukti en tant que méta-langage pour éliminer des axiomes superflus. / Dedukti is a Logical Framework resulting from the combination ofdependent typing and rewriting. It can be used to encode many logical systems using shallow embeddings preserving their notion of reduction. These translations of logical systems in a common format are a necessary first step for exchanging proofs between systems. This objective of interoperability of proof systems is the main motivation of this thesis.To achieve it, we take inspiration from the world of programming languages and more specifically from object-oriented languages because they feature advanced mechanisms for encapsulation, modularity, and default definitions. For this reason we start by a shallow translation of an object calculus to Dedukti. The most interesting point in this translation is the treatment of subtyping. Unfortunately, it seems very hard to incorporate logic in this object calculus. To proceed, object-oriented mechanisms should be restricted to static ones which seem enough for interoperability. Such a combination of static object-oriented mechanisms and logic is already present in the FoCaLiZe environment so we propose a shallow embedding of FoCaLiZe in Dedukti. The main difficulties arise from the integration of FoCaLiZe automatic theorem prover Zenon and from the translation of FoCaLiZe functional implementation language featuring two constructs which have no simple counterparts in Dedukti: local pattern matching and recursion. We then demonstrate how this embedding of FoCaLiZe to Dedukti can be used in practice for achieving interoperability of proof systems through FoCaLiZe, Zenon, and Dedukti. In order to avoid strengthening to much the theory in which the final proof is expressed, we use Dedukti as a meta-language for eliminating unnecessary axioms.

Dans ce document, nous adressons le problème de la réécriture de requêtes avec des vues, en adoptant une perspective à la fois théorique et pratique. Dans le premier et principal chapitre, nous approchons le sujet de la recherche de toutes les reformulations minimales (sans atomes relationnels redondants) pour une requête relationnelle conjonctive, sous des contraintes d’intégrité qui incluent la relation entre les schémas source et cible. Nous présentons un nouvel algorithme, correct et complet, le Provenance-Aware Chase & Backchase, qui résout le problème des reformulations avec des performances significatives sur le plan pratique. Nous présentons sa caractérisation théorique détaillée, son implémentation optimisée et son évaluation, montrant des gains de performance jusqu’à deux ordres de grandeur par rapport à un SGBD commercial. Nous généralisons notre algorithme pour trouver directement des reformulations de coût minimum pour les fonctions de coût monotones, et montrons les gains de performance de cette adaptation. Avec notre algorithme, nous introduisons également un nouveau type de chase, la Provenance-Aware Chase, qui comporte son propre intérêt théorique, en tant que moyen de raisonnement sur l’interaction entre la provenance et les contraintes. Dans le deuxième chapitre, nous nous plaçons dans un contexte XML et nous revisitons le travail de Cautis, Deutsch and Onose sur problème de la réécriture de requêtes XPath par un seul niveau d’intersection de plusieurs vues. Nous étendons l’analyse de ce probleme en montrant ses connexions avec les problèmes de l’équivalence DAG-arbre et de la union-freeness d’un DAG. Nous raffinons un algorithme de réécriture proposé par Cautis, Deutsch and Onose pour obtenir une complexité polynomiale et améliorer sa complétude, et présentons un ensemble d’optimisations des procedures de réécriture, necessaires pour atteindre des performances pratiques. Nous fournissons une implementation complète comprenant ces optimizations ainsi que son evaluation experimentale extensive, montrant la performance et l’utilité de la technique polynomiale de réécriture. / In this work, we address the problem of query rewriting using views, by adopting both a theoretical and a pragmatic perspective. In the first and main chapter, we approach the topic of finding all minimal (i.e. with no redundant relational atoms) conjunctive query reformulations for a relational conjunctive query, under constraints expressed as embedded dependencies, including the relationship between the source and the target schemas. We present a novel sound and complete algorithm, the Provenance-Aware Chase & Backchase, that solves the minimal reformulations problem with practically relevant performance. We provide a detailed theoretical characterization of our algorithm. We further present the optimized implementation and the experimental evaluation thereof, and exhibit natural scenarios yielding speed-ups of up to two orders of magnitude between the execution of a best view-based rewriting found by a commercial DBMS and that of a best rewriting found by our algorithm. We generalize the Provenance-Aware Chase & Backchase towards directly finding minimum-cost reformulations for monotonic cost functions, and show the performance improvements this adaptation further enables. With our algorithm, we introduce a novel chase flavour, the Provenance-Aware Chase, which is interesting on its own, as a means of reasoning about the interaction between provenance and constraints. In the second chapter, we move to an XML context and revisit the previous work of Cautis, Deutsch and Onose on the problem of finding XPath query rewritings with a single level of intersection of multiple views. We enrich the analysis of the rewriting problem by showing its links to the problems of DAG-tree equivalence and union-freeness. We refine the rule-based rewriting technique proposed by Cautis, Deutsch and Onose to ensure its polynomial complexity and improve its completeness, and present a range of optimizations on the rewriting procedures, necessary to achieve practical performance. We provide a complete implementation comprising these optimizations and a thorough experimental evaluation thereof, showing the performanceand utility of the polynomial rewriting technique.

Les graphes de données sont naturellement utilisés dans de nombreux contextes incluant par exemple les réseaux sociaux ou le Web sémantique. L'information contenue dans la base de données se trouve alors aussi bien dans les données mêmes que dans la topologie du graphe, c'est-à-dire dans la manière dont les données sont connectées. Cela implique donc de considérer les questions traditionnelles en théorie des bases de données pour des langages de requêtes capables de parler des chemins connectant les nœuds du graphe. Nous nous intéressons en particulier aux problèmes de la déterminabilité et de la réécriture d'une requête à l'aide de vues. Il s'agit alors de décider si une vue de la base de données contient suffisamment d'information pour répondre entièrement à une requête sans consulter la base de données directement, et dans ce cas, d'exprimer explicitement la réponse à la requête à partir de la vue. Ce cadre rencontre de nombreuses applications, notamment pour l'intégration de données et l'optimisation de requêtes. Nous commençons par comparer ces deux questions aux autres problèmes de décision classiques dans ce contexte : calcul des réponses certaines, test de cohérence et mise à jour d'une instance de vue. Nous améliorons ensuite ces résultats dans deux cas spécifiques. Tout d'abord, nous montrons que pour les requêtes régulières de chemin, l'existence d'une réécriture monotone coïncide avec l'existence d'une réécriture dans Datalog. Puis, nous montrons que pour des vues s'intéressant uniquement aux longueurs des chemins du graphe, une notion plus faible de déterminabilité, appelée déterminabilité asymptotique, est décidable et résulte en des réécritures du premier ordre. / Graph databases appear naturally in various scenarios, such as social networks and the semantic Web. In these cases, the information contained in the database lies as much in the data itself as in the topology of the graph, that is, in how the data points are linked together. This leads to considering traditional database theory questions for query languages that return data nodes based on the paths of the graph connecting them. We focus our attention on the view-based query determinacy and rewriting problems. They ask the question whether a view of the database contains enough information to fully answer a query without accessing the database directly. If so, we then want to express the answer to the query directly with regards to the view. This setting occurs in many applications, such as data integration and query optimization. We start by comparing these two tasks to other common task in this setting: computing certain answers, checking consistency of a view instance and updating it. We then build on these results in two specific cases. First, we show that for regular path queries, the existence of a monotone rewriting coincides with the existence of a rewriting expressible in Datalog. Then, we show that for views that only consider the lengths of the path in the graph, we can decide a weaker form of determinacy, called asymptotic determinacy, and produce first-order rewritings for the queries that are asymptotically determined.