Un des plus grands défis dans la conception matérielle et logicielle est de s’assurer que le système soit exempt d’erreurs. La moindre erreur dans les systèmes embarqués réactifs peut avoir des conséquences désastreuses et coûteuses pour certains projets critiques, nécessitant parfois de gros investissements pour les corriger, ou même conduire à un échec spectaculaire et inattendu du système. Prévenir de tels phénomènes en identifiant tous les comportements critiques du système est une tâche assez délicate. Les tests en industrie sont globalement non exhaustifs, tandis que la vérification formelle souffre souvent du problème d’explosion combinatoire. Nous présentons dans ce contexte une nouvelle approche de génération exhaustive de jeux de test qui combine les principes du test industriel et de la vérification formelle académique. Notre approche construit un modèle générique du système étudié à partir de l’approche synchrone. Le principe est de se limiter à l’analyse locale des sous-espaces significatifs du modèle. L’objectif de notre approche est d’identifier et extraire les conditions préalables à l’exécution de chaque chemin du sous-espace étudie. Il s’agit ensuite de générer tout les cas de tests possibles à partir de ces pré-conditions. Notre approche présente un algorithme de quasi-aplatissement plus simple et efficace que les techniques existantes ainsi qu’une compilation avantageuse favorisant une réduction considérable du problème de l’explosion de l’espace d’états. Elle présente également une manipulation symbolique des données numériques permettant un test plus expressif et concret du système étudié. / One of the biggest challenges in hardware and software design is to ensure that a system is error-free. Small errors in reactive embedded systems can have disastrous and costly consequences for a project. Preventing such errors by identifying the most probable cases of erratic system behavior is quite challenging. Indeed, tests in industry are overall non-exhaustive, while formal verification in scientific research often suffers from combinatorial explosion problem. We present in this context a new approach for generating exhaustive test sets that combines the underlying principles of the industrial test technique and the academic-based formal verification approach. Our approach builds a generic model of the system under test according to the synchronous approach. The goal is to identify the optimal preconditions for restricting the state space of the model such that test generation can take place on significant subspaces only. So, all the possible test sets are generated from the extracted subspace preconditions. Our approach exhibits a simpler and efficient quasi-flattening algorithm compared with existing techniques and a useful compiled internal description to check security properties and reduce the state space combinatorial explosion problem. It also provides a symbolic processing technique of numeric data that provides a more expressive and concrete test of the system. We have implemented our approach on a tool called GAJE. To illustrate our work, this tool was applied to verify an industrial project on contactless smart cards security.

En 1995, le philosophe Ned Block a proposé de distinguer deux notions de conscience : une notion purement expérientielle, la « conscience phénoménale », qui désigne l’effet que cela fait d’être dans tel ou tel état mental, et une notion purement fonctionnelle, la « conscience d’accès », ou « accès cognitif » (Block, 2007), entendue comme la capacité du sujet à utiliser ses représentations pour le contrôle de ses opérations cognitives, et, via ces opérations, pour le contrôle de la parole et de l’action. Block défend depuis l’hypothèse très discutée selon laquelle l’expérience consciente, ou « conscience phénoménale », déborde l’accès cognitif du sujet. L’objet central de ce travail est de mettre cette hypothèse à l’épreuve de la recherche sur le rêve. Nous y soutenons principalement les trois arguments suivants : 1. Sous hypothèse d’une continuité entre les propriétés de la mémoire onirique et vigile, on peut objectiver la réalité d’expériences conscientes pendant le sommeil en s’appuyant sur le critère canonique de rapportabilité. De fait, de nombreuses études convergent pour montrer que les sujets peuvent rapporter un contenu onirique qui reflète de manière non équivoque un stimulus présenté plus d’une minute avant l’éveil – ce qui, au regard de l’extrême évanescence de la perception subliminale, ne pourrait pas être le cas si le rêve était un processus inconscient. Sachant que le sommeil s’accompagne d’une sévère désactivation des aires frontales, et en particulier du cortex dorsolatéral préfontal (DlPFC), un tel résultat tend à questionner le modèle neuropsychologique de « l’espace neuronal global de travail » (Dehaeneet Naccache, 2001 ; Dehaene et al, 2006) qui fait dépendre la perception consciente de l’activation de ces aires.2. Le fait même d’objectiver la réalité d’expériences conscientes pendant le sommeil à travers des récits de rêves recueillis à l’éveil implique cependant de reconnaître que ces mêmes expériences ont été remarquées par le dormeur et qu’elles relèvent en ce sens minimum de la conscience d’accès. Pour autant, certains désordres cognitifs de la conscience rêvante, tels notamment que la cécité au changement, suggèrent qu’il ne suffit pas qu’une expérience soit remarquée par le dormeur pour qu’elle relève de plein droit de la conscience d’accès : il fautencore qu’elle puisse être maintenue activement dans la mémoire de travail. Le phénomène bien connu des « dissociations identité-apparence » (Schwartz, 1999) suggère pareillement que la rapportabilité d’une expérience onirique n’assure pas qu’elle soit posée pour le contrôle des opérations cognitives dans le rêve.3. Dès l’instant où l’on a pu objectiver la réalité des expériences oniriques à travers le critère canonique de rapportabilité, il devient possible – là encore, sous hypothèse de continuité –d’inférer de façon empiriquement contraignante l’existence d’une vie consciente non rapportable du dormeur. Se pose alors la question de savoir si un tel vécu, dont on peut soutenir qu’il constitue une forme d’inconscient psychique, relève de plein droit de la conscience d’accès.Enfin, à travers ces trois arguments portant spécifiquement sur la conscience onirique, nous montrons que la recherche sur le rêve permet de questionner de façon privilégiée la notion d’une nécessaire rapportabilité de l’expérience consciente et de faire valoir le concept de modularité de la conscience qui sous-tend l’hypothèse blockéenne du débordement expérientiel (Block, 1995, 1997). / In 1995, the American philosopher Ned Block proposed to distinguish between two notions of consciousness: “Access-consciousness” and “Phenomenal-consciousness”. “P-consciousness” is experience: it refers to what it is like to be in a certain mental state. “Aconsciousness” is a purely functional notion. A mental state is A-conscious when it allows the subject to cognitively control its reasoning, speech and action. Since 1995, Block supports the controversial hypothesis according to which conscious experience overflows our cognitive access to it. The main goal of this work is to assess this hypothesis from the point of view of scientific research on dreaming. This PhD dissertation makes the three following points : 1. Assuming there is a continuity between waking and dreaming memory, one can objectively verify that dreams are conscious experiences that occur during sleep relying on the canonical criterion of reportability. Indeed, many studies show that subjects can report on a dream content that unequivocally reflects a stimulus that has occurred more than one minute before awakening – which couldn’t be had this dream content been unconsciously processed. Considering that sleeping involves a severe deactivation of the frontal areas of the brain, especially of the dorsolateral prefrontal cortex (DlPFC), this result seems to call into question the global neuronal workspace theory of consciousness. Indeed, according to this theory the activation of these very areas is a necessary condition for a conscious perception to occur(Dehaene & Naccache, 2001; Dehaene et al, 2006). 2. There is no way though to demonstrate scientifically that dreams are conscious experiences of the sleeper without implying they were noticed during sleep, which, in turn, implies an elementary level of access. Still, certain cognitive disorders of our dreaming consciousness, such as change blindness, suggest that, due to a severe weakness of working memory, noticing an experience during sleep might not suffice to constitute a genuine cognitive access to it. The well-known phenomenon called “identity-appearance dissociation” (Schwartz, 1999) also suggests that dreaming experiences that are reportable on awakening might not always be poised for cognitive control in the dream. 3. Once the reality of conscious experiences during sleep is objectively established relying on the criterion of reportability, it becomes possible – again under the assumption of continuity - to empirically infer the existence of dreaming experiences that the subject cannot report. The following question then arises: are these experiences, which can be seen as a form of unconscious mental life, access-conscious? Finally, and more generally, we show that the results of dreaming research offer a vantage point both to call into question the notion that conscious experience is necessarily reportable and to support the concept of modularity of our conscious selves (Nagel, 1971; Gazzaniga,1985) that underlies Block’s overflow hypothesis (Block, 1995, 1997)

Espaces publics ? Quel projet – de ville et de société - sous-tend les aménagements ? Quelles sont les visions des aménageurs ? Quelles sont les normes et les valeurs qu’ils défendent à travers leurs projets ? Que représente pour eux l’espace public ? Quelle définition en donnent-ils ?Ces questions trouvent une résonnance particulière à Dresde et à Chemnitz : elles sont ces dernières années toutes deux l’objet d’un programme de création et de transformation de leurs espaces publics centraux. Ces deux terrains ne sont pas intéressants pour l’étude de l’imaginaire planificateur qu’en raison de l’importance du programme mené (pas moins de six nouveaux espaces chacune) mais aussi en raison de l’histoire particulière des deux villes. Dresde et Chemnitz ont vu leur centre-ville presque entièrement détruit sous les bombardements alliés en 1945 et seulement partiellement reconstruit sous la RDA selon des principes urbanistiques tout à fait nouveaux. Le choix auquel les planificateurs sont confrontés depuis la chute du régime socialiste et la Réunification est celui du modèle à suivre pour finir de reconstruire le centre-ville toujours inachevé. L’absence quasi-totale de patrimoine à conserver ne rend pas nécessaire le travail de négociation avec les conservateurs du patrimoine, habituellement au cœur de tous les projets contemporains en Europe. Dresde et Chemnitz présentent donc des cas d’étude particulièrement passionnants car les acteurs de la planification jouissent d’une très grande liberté d’action qui leur permet de mettre en œuvre sans entrave juridique leur conception actuelle de l’aménagement des espaces publics. Il serait donc possible ici mieux qu’ailleurs de lire l’imaginaire planificateur contemporain. / Which are the representations that guide the planning actors along their public spaces conception? Which project, -of city, of society- underlies the urban planning? Which are the visions of the planners? Which norms, which values do they want to defend through their project? What is for them the meaning of public space? What is their own definition?These questions are finding a particular echo in Dresden and Chemnitz: these two cities have been the subject for a few years of a creation and transformation program of their central public spaces. These two fields are interesting for the study of the planner’s imagination not only due to the importance of the program led (not less than six new public spaces in each city) but also due to specific history of both cities. The center of Dresden and Chemnitz has been almost completely destroyed by the allied bombardments in 1945 and it has been only partially rebuilt under the GDR according to completely new urbanistic principles. Since the fall of the Socialist Regime and the Reunification, the question of the planners is which model is to be followed to achieve the reconstruction of the still unfinished city center.The almost complete lack of architectural heritage to protect does not make it necessary to negotiate with the architectural heritage officers who are in Europe at the heart of all contemporary projects. In that respect, Dresden and Chemnitz are particularly entrancing, because the planning actors enjoy a very large liberty to implement without any legal obstruction their conception of the urban planning. It would be possible here than better anywhere else to read the contemporary planning imagination.

Au lendemain de son indépendance, l’Algérie était confrontée au problème du développement de son potentiel gazier. Pour se soustraire à l’emprise de la France sur ses hydrocarbures, elle décida de placer son gaz dans le marché américain. Cette option visait à développer l’industrie du GNL et à optimiser la rente pour pouvoir financer le développement économique du pays. Après l’échec de ce choix, l’Algérie s’est retournée vers le marché européen. Depuis, les échanges se sont intensifiés au point où l’Algérie est considérée aujourd’hui comme un partenaire énergétique stratégique de l’Union européenne. Cette situation lui donnera-t-elle la possibilité de continuer à approvisionner l’Europe en gaz ? Au regard des contraintes liées à la gestion du secteur de l’énergie, la concurrence des deux gaz russe et qatari et l’entrée prévisible en production des gisements en Mediterrannée orientale, la part du gaz algérien dans la sécurité énergétique de l’Europe constitue-t-elle un enjeu géopolitique ? La présente thèse a pour objectif de confirmer ou d’infirmer la réalité de cet enjeu. Pour cela, elle pose des questions inhérentes aux différentes politiques initiées par l’Algérie durant plus d’un demi-siècle, à sa marge de manœuvre pour se maintenir au troisième rang des fournisseurs de gaz à l’Europe, et à la dépendance de cette dernière en matière de gaz et à ses perceptions géopolitiques à l’égard de ses fournisseurs (principalement, la Russie et les pays producteurs de la rive Sud). / After the National Independence (1962), Algeria was dealing with the difficulties of developing its gas potential. In order to escape the French hegemony of its hydrocarbons resources, Algeria decided to place and invest its gas resources in the US market. This economic option was motivated by the urgent need to develop the LNG industry and to maximize incomes in order to improve the national economic development. After the failure of this economic option, Algeria got back to the European market. Since then, EU – Algeria economic relations have been intensified. Nowadays, Algeria is considered as a strategic EU partner, in the field of energy resources. Does this situation enable Algeria to supply the European economy with gas for a long time? Given the international constraints related to the management of the energy sector, competition from both Russia and Qatar and the new discovered gas reserves in Eastern Mediterranean basin, does the Algerian gas and its importance in EU energy security represent a geopolitical issue?This thesis aims to examin the pertinence of this issue. It seeks to respond to questions related to the various policies initiated by Algeria for more than half a century, to Algeria’s strategy to maintain its position as the third strategic gas supplier of Europe, and to the European energy dependence and its geopolitical perceptions towards its suppliers (especially Russia and the South side of Mediterranean basin producers).

Pour devenir une importante destination touristique internationale et pas seulement subsaharienne, le Kenya a besoin de lieux et de produits touristiques renouvelés offerts de manière croissante par les sites mémoriels et les musées régionaux situés dans l’ensemble du pays, mis en tourisme récemment en direction des touristes domestiques. Cette nouvelle tendance permettra de décongestionner les sites et les régions touristiques phares (parcs de Masaï Mara, de Amboseli, lac Nakuru et la côte swahili), saturés dans leur fréquentation double, à la fois celle des touristes internationaux, mais aussi celle croissante, des touristes intérieurs. Grâce à l’approche multidisciplinaire (géographie du tourisme, celle du développement et celle de la culture), appuyée par les données obtenues à travers les entretiens semi-directifs, les questionnaires, les tables rondes, l’analyse documentaire et l’observation sur le terrain, notre recherche tente de démontrer comment le patrimoine matériel et immatériel des groupes ethno-culturel du Kenya occidental peut être mis en tourisme. Notre investigation traite de la région du lac Victoria et de Bungoma, principalement sur les sites d’Abasuba Rock Art Paintings, de Kit Mikayi et de Namakanda. Les populations locales autour de ces sites développent des stratégies différenciées en fonction de leur appartenance ethnique, que nous appréhendons du point de vue de la stratégie d’acteurs et des projets de développement touristiques. / To become an important international tourism destination and not only in Subsaharan, Kenya needs renewed tourism places and products majorly consisting of memorial sites and regional museums spread throughout the country, recently developed for domestic tourists. This new initiative will decongest the major tourist sites and regions (reserve of Masai Mara, parks of Amboseli, lake Nakuru and Swahili coast), saturated due to double visitation (international and domestic tourists) Through a multidisciplinary approach (geography of tourism, cultural geography and geography of development), supported by data collected through semi-direct interviews, focus groups, questionnaires, field observation and analysis of existing literature, our research attempts show how the material and immaterial cultural heritage of the ethno-cultural groups of Western Kenya can be developed for tourism. Our investigation examines the regions of lake Victoria and Bungoma, particularly the sites of Abasuba Rock Art Paintings, Kit Mikayi and Namakanda. The host communities of these sites are developing strategies informed by their ethnic affiliation, that we study from the point of view of stakeholders’ strategy and development of tourism projects.

Dans cette thèse nous explorons les aspects de la gravité d'Einstein qui sont propres à la dimension quatre.L'une des propriétés surprenantes liées à cette dimension est la possibilité de formuler la gravité de manière 'Chirale'. Dans ce type de reformulations, typiquement, la métrique perd son rôle centrale. La correspondance entre espace-temps et espace des twisteurs est un autre aspect propre à la dimension quatre. Ces formulations, Chirale et Twistorielle, semblent très différentes. Dans la première partie de cette thèse nous montrons qu'elles sont en fait intimement liées: en particulier nous proposons une nouvelle preuve du `théorème du graviton non-linéaire', due à Penrose, dont le cœur est la géométrie des SU(2)-connections (plutôt qu'une métrique). Dans la seconde partie de cette thèse nous montrons que la gravité en trois et quatre dimensions est liée à des théories d'une nature complètement différentes en dimension six et sept. Ces théories, due à Hitchin, sont des théories de trois-formes différentielles invariantes sous difféomorphismes. En dimensions sept, nous rencontrons seulement un succès partiel puisque la théorie 4D qui en résulte est une version modifiée de la gravité. Cependant nous prouvons au passage que les solutions d'une déformation particulière de la gravité ont, en 7D, l’interprétation de variétés avec holonomies G2.Par contre, en réduisant la théorie de six à trois dimensions nous obtenons précisément la gravité 3D. Nous présentons aussi de nouvelles fonctionnelles pour les formes différentielles en six dimensions. Toutes sont invariantes sous difféomorphismes et deux d’entre elles sont topologiques. / In this thesis we take Einstein theory in dimension four seriously, and explore the special aspects of gravity in this number of dimension.Among the many surprising features in dimension four, one of them is the possibility of `Chiral formulations of gravity' - they are surprising as they typically do not rely on a metric. Another is the existence of the Twistor correspondence. The Chiral and Twistor formulations might seems different in nature. In the first part of this thesis we demonstrate that they are in fact closely related. In particular we give a new proof for Penrose's `non-linear graviton theorem' that relies on the geometry of SU(2)-connections only (rather than on metric).In the second part of this thesis we describe partial results towards encoding the full GR in the total space of some fibre bundle over space-time. We indeed show that gravity theory in three and four dimensions can be related to theories of a completely different nature in six and seven dimension respectively. This theories, first advertised by Hitchin, are diffeomorphism invariant theories of differential three-forms.Starting with seven dimensions, we are only partially succesfull: the resulting theory is some deformed version of gravity. We however found that solutions to a particular gravity theory in four dimension have a seven dimensional interpretation as G2 holonomy manifold. On the other hand by going from six to three dimension we do recover three dimensional gravity. As a bonus, we describe new diffeomorphism invariant functionnals for differential forms in six dimension and prove that two of them are topological.

Un graphe métrique G(X;D) est un graphe dont l’ensemble des sommets est l’ensemble X des points d’un espace métrique (X; d), et dont les arêtes relient les paires fx; yg de sommets telles que d(x; y) 2 D. Dans cette thèse, nous considérons deux problèmes qui peuvent être interprétés comme des problèmes de graphes métriques dans Rn. Premièrement, nous nous intéressons au célèbre problème d’empilements de sphères, relié au graphe métrique G(Rn; ]0; 2r[) pour un rayon de sphère r donné. Récemment, Venkatesh a amélioré d’un facteur log log n la meilleure borne inférieure connue pour un empilement de sphères donné par un réseau, pour une suite infinie de dimensions n. Ici nous prouvons une version effective de ce résultat, dans le sens où l’on exhibe, pour la même suite de dimensions, des familles finies de réseaux qui contiennent un réseaux dont la densité atteint la borne de Venkatesh. Notre construction met en jeu des codes construits sur des corps cyclotomiques, relevés en réseaux grâce à un analogue de la Construction A. Nous prouvons aussi un résultat similaire pour des familles de réseaux symplectiques. Deuxièmement, nous considérons le graphe distance-unité G associé à une norme k_k. Le nombre m1 (Rn; k _ k) est défini comme le supremum des densités réalisées par les stables de G. Si la boule unité associée à k _ k pave Rn par translation, alors il est aisé de voir que m1 (Rn; k _ k) > 1 2n . C. Bachoc et S. Robins ont conjecturé qu’il y a égalité. On montre que cette conjecture est vraie pour n = 2 ainsi que pour des régions de Voronoï de plusieurs types de réseaux en dimension supérieure, ceci en se ramenant à la résolution de problèmes d’empilement dans des graphes discrets. / A distance graph G(X;D) is a graph whose set of vertices is the set of points X of a metric space (X; d), and whose edges connect the pairs fx; yg such that d(x; y) 2 D. In this thesis, we consider two problems that may be interpreted in terms of distance graphs in Rn. First, we study the famous sphere packing problem, in relation with thedistance graph G(Rn; (0; 2r)) for a given sphere radius r. Recently, Venkatesh improved the best known lower bound for lattice sphere packings by a factor log log n for infinitely many dimensions n. We prove an effective version of this result, in the sense that we exhibit, for the same set of dimensions, finite families of lattices containing a lattice reaching this bound. Our construction uses codes over cyclotomic fields, lifted to lattices via Construction A. We also prove a similar result for families of symplectic lattices. Second, we consider the unit distance graph G associated with a norm k _ k. The number m1 (Rn; k _ k) is defined as the supremum of the densities achieved by independent sets in G. If the unit ball corresponding with k _ k tiles Rn by translation, then it is easy to see that m1 (Rn; k _ k) > 1 2n . C. Bachoc and S. Robins conjectured that the equality always holds. We show that this conjecture is true for n = 2 and for several Voronoï cells of lattices in higher dimensions, by solving packing problems in discrete graphs.

Dans cette thèse, on s’intéresse à l'étude théorique et à la simulation numérique de la dynamique de charges et de spins dans des nano-structures métalliques. Ces dernières années la physique des nano-structures métalliques à connu un intérêt croissant, aussi bien d'un point de vue de la physique fondamental que d'un point de vue des applications technologiques. Il est donc essentiel d'avoir des modèles théoriques nous permettant de décrire correctement ce type d'objets. Cette thèse comporte deux études distinctes. Dans un premier temps on utilise un modèle semi-classique dans l'espace des phases afin d'étudier la dynamique de charges et de spins dans des films ferromagnétiques(Nickel). On décrit dans le même modèle le magnétisme itinérant et le magnétisme localisé. On montre qu'il est possible, en excitant le système avec un laser pulsé femtoseconde dans le domaine du visible, de créer un courant de spin oscillant dans la direction normal du film sur des temps ultrarapides(femtoseconde). Dans un second temps on s’intéresse à la dynamique de charge d'électrons confinés dans des nano-particules d'Or ou bien encore par des potentiels anisotropes. On montre que de telles systèmes sont des candidats intéressant pour faire de la génération d'harmoniques. / In this thesis we focus on the theoritical description and on the numerical simulation of the charge and spin dynamics in metallic nano-structures. The physics of metallic nano-structures has stimulated a huge amount of scientific interest in the last two decades, both for fundamental research and for potential technological applications. The thesis is divided in two parts. In the first part we use a semiclassical phase-space model to study the ultrafast charge and spin dynamics in thin ferromagnetic films (Nickel). Both itinerant and localized magnetism are taken into account. It is shown that an oscillating spin current can be generated in the film via the application of a femtosecond laser pulse in the visible range. In the second part we focus on the charge dynamics of electrons confined in metallic nano-particles (Gold) or anisotropic wells. We show that such systems can be used for high harmonic generation.

Mémoire réalisé grâce à l'appui du Conseil de recherche en sciences humaines. / Ce mémoire porte sur les interrelations entre les dynamiques spatiale, mémorielle et identitaire dans Le premier jardin d’Anne Hébert et Surfacing de Margaret Atwood. Ainsi, on cherche à savoir comment les concepts d’espace et de lieu permettent de mieux comprendre les dynamiques mémorielles et identitaires en jeu dans les récits de retour. En s’appuyant sur une expérience commune, celle du retour au pays natal, nous étudierons comment les difficultés qu’éprouvent les personnages à se remémorer, à se situer, à habiter ou tout simplement à être sont liées à leur relation conflictuelle à l’espace. Même si elles sont tentées par l’oubli, le retour aux lieux de l’enfance impose aux protagonistes une mémoire sensorielle. Le retour montre également comment les êtres sont liés au lieu, voire façonnés par lui, et comment ils peuvent cependant agir en retour sur lui. Le désir d’exister à travers une identité cohérente en est aussi un d’habiter et d’appartenir à l’espace. Finalement, nous verrons comment il est possible de repenser l’espace du retour à partir de la notion de non-lieu d’Alexis Nouss. / This work examines the interrelations between space, memory and identity in Le premier jardin by Anne Hébert and Surfacing by Margaret Atwood. We seek to know how the concepts of space and place can provide a better understanding of the memory and identity dynamics involved in return narratives. Based on a common experience, that of returning to homeland, we will study how the characters’ difficulties in recalling, situating, living or simply being are linked to their conflictual relationship to space. Even if they are tempted by oblivion, the return to the places of childhood imposes on the protagonists a sensuous memory. The return also shows how beings are linked to place, even shaped by it, and how they can however act on it. The desire to exist through a coherent identity is also one of dwelling and belonging to space. Finally, we will see how Alexis Nouss’ concept of non-place of makes it possible to rethink the space of return.

L’une des voies d’innovation plébiscitées par les détaillants pour orchestrer l’évolution de leur proposition de valeur consiste à réviser le design des espaces de vente. Les contributions académiques sur l’expérience en magasin se sont concentrées sur les perceptions des consommateurs ainsi que sur le repérage de pratiques managériales significatives. En prenant pour objet la traduction du repositionnement d’une enseigne par le design expérientiel des espaces de vente, la thèse propose de suivre le processus au cœur même du marché et de mettre à jour les mécanismes qui le sous-tendent. La conduite d’une étude longitudinale de cas enchâssés dévoile une conception holistique, basée sur l’interaction souhaitée du chaland avec le magasin. L’analyse relate l’enchâssement des quatre phases du cycle de vie et permet de recenser pour chaque phase les événements et problématiques associés aux six dimensions du processus. La thèse établit le rôle prégnant de la vision entrepreneuriale du dirigeant, clé de voûte de l’innovation. La proposition de valeur se matérialise par trois composantes gigognes que sont l’intrigue, l’action et le décor. Pour chacune des cinq étapes du parcours-client, des éléments de décor sont implantés pour relayer ou renforcer l’action souhaitée. Ces éléments constituent des mécanismes ou dispositifs destinés à stimuler le système expérientiel du chaland. L’évaluation, qui porte sur la mesure du positionnement perçu et vécu, contribue à ajuster la proposition de valeur au regard de quatre niveaux de cohérence et de la flexibilité du design. Enfin, les logiques de coproduction occasionnent une possible co-destruction de valeur, intentionnelle ou accidentelle. / One of the innovative ways favoured by retailers to drive change in their value proposition is to review the design of their stores. Academic contributions to the in-store experience have mostly focused on consumer perspective and identifying relevant managerial practices. The core of this research studies how repositioning a retail brand translates into the experiential design of retail spaces. To this end, the research follows the repositioning process from a managerial perspective and updates the mechanisms that underlie it. The longitudinal study of embedded cases reveals the importance of an holistic design that takes into account the desired interactions between the shopper and the store. The analysis shows the four overlapping phases of the store’s life cycle, and breaks down the process into six dimensions, each with its own events and issues. The six dimensions are vision, plotline, action, decor, assessment and coproduction.The entrepreneurial vision of the leader is the cornerstone of the whole innovation process. The value proposition is embodied by three components, namely plotline, action and decor. For each of the five stages of the shopper’s journey, elements of the decor are implemented to relay or reinforce the desired action. These are mechanisms or devices meant to stimulate the shopper’s experiential system. The assessment, which involves measuring the perceived and experienced positioning, helps to adjust the value proposition in terms of four levels of consistency and flexibility of design. Finally, the coproduction of store design between different stakeholders can cause a co-destruction of value, whether intentional or accidental.