Cette thèse s’intéresse, d'une part à la question de la maîtrise des dépenses de médicaments, et d'autre part à l’analyse de la concurrence en prix sur le marché des médicaments non remboursables, à la lumière des politiques de déremboursement.Ces dernières années, des actions visant à modifier les pratiques des prescripteurs se développent avec des actions de ciblage des médecins. Le premier chapitre de cette thèse pose ainsi la question de l’identification de ces médecins dans les systèmes d’informations actuels. Les résultats montrent que si les médecins généralistes outliers peuvent être identifiés correctement, il est néanmoins nécessaire, pour élargir le ciblage, de privilégier des indicateurs relevant de pathologies précises ou d’enrichir les systèmes d’informations avec les codes diagnostic pour définir des indicateurs plus généraux.Outre l'état de santé des patients, différents déterminants, sociologiques et économiques, peuvent influencer les pratiques des médecins, dont l'environnement concurrentiel. Le deuxième chapitre s’intéresse à l’effet de l’inégale répartition spatiale des médecins, dans le cas de la prescription de médicaments. Les résultats sont sensibles à la spécification retenue de la variable de densité médicale et invitent à conclure à une absence d’effet de l’évolution de la densité sur la variation des dépenses de prescription. Néanmoins, ce résultat reflète la somme de deux effets contraires qui se compensent.Le troisième chapitre s’inscrit dans un contexte où la question d’ouvrir la vente des médicaments non remboursables en dehors des officines se pose de plus en plus. Les résultats soulignent un manque de concurrence en prix entre officines sur ce segment de marché. / This thesis addresses several issues: on the one hand, we focus on policies for controlling drug expenditures: on the other hand, we analyze the price competition on the OTC drugs market, in a context of drugs delisting policies.In recent years, some plans to affect change and improve prescribing practices are developed, with the emergence of physician profiling methods. The first chapter wonders about such a profiling in the current information system. Results show that outliers can be correctly identified; but to broaden profiling, we have to use some disease-specific indicators, or to improve information systems with diagnostic codes to define more general indicators.In addition to patient health, various sociological and economic factors may influence physician practices, including the competitive environment. The second chapter focuses on the unequal spatial distribution of general practitioners on drugs prescribing variability. Results are sensitive to the specification used for the medical density variable and suggest there is no effect of the density variation on the average prescribing cost per patient and per physician. However, this result reflects the sum of two opposite effects that cancel.In a context where the sale of OTC drugs outside pharmacies is controversial, the third chapter show there is no price competition between pharmacies on this market segment.

La théorie des vices du consentement offre une protection générique des contractants contre tout risque d'altération du consentement. Constatant son insuffisance, les droits de la consommation et de la concurrence ont, pour leur part, choisi d'adopter un ensemble de règles spécifiques visant à protéger, d'une part, les consommateurs et d'autre part, les professionnels en situation de faiblesse, contre ces mêmes risques. Au sein du droit de la consommation, cela s'est fait sous l'impulsion du droit européen, la directive du 11 mai 2005 relative aux pratiques commerciales déloyales ayant largement dicté le contenu des dispositions protectrices aujourd'hui applicables aux consommateurs. Ainsi, le Titre II du Livre Ier du Code de la consommation, consacré aux pratiques commerciales, comprend un Chapitre préliminaire consacré aux pratiques commerciales déloyales, suivi d'un Chapitre Ier, dont la Section 1 traite des pratiques commerciales trompeuses, puis d'un Chapitre II, dont la Section 5 traite des pratiques commerciales agressives. Le droit de la concurrence a, quant à lui, recouru spontanément à cette option. Son Livre IV comprend ainsi un Titre IV, dont le Chapitre II est relatif à la prohibition des pratiques restrictives de concurrence. Celles-ci, prohibées per se, n'ont a priori pas de lien apparent avec la théorie des vices du consentement. Pourtant, à y regarder de plus près, certaines d'entre elles s'attachent, de manière très indirecte, à rééquilibrer l'équilibre des forces en présence au stade de la négociation d'un contrat de distribution entre professionnels. Celles-ci vont en effet s'attacher à prohiber les comportements de certains professionnels qui, disposant d'un avantage économique certain, pourraient être tentés d'en jouer afin d'obtenir de leurs partenaires contractuels, économiquement dépendants, des avantages contractuels injustifiés. Ce faisant, c'est bien le consentement de ces derniers qui se trouve être préservé.En développant une telle législation, les droits spéciaux se sont écartés de leurs finalités réciproques. Ainsi, s'il est vrai que le droit de la consommation offre un ensemble de dispositions visant à prévenir la survenance de vices du consentement – approche inédite au sein de la théorie des vices du consentement de droit commun, qui ne s'attache qu'à réprimer les abus ayant effectivement altéré le consentement des contractants –, il propose également une abondance de dispositions curatives à la maniabilité souvent délicate. Leur compréhension ainsi que leur mise en œuvre nécessite donc une certaine habileté, au point de mettre en péril l'effectivité de la protection qu'elles visent à garantir. Quant au droit de la concurrence, le développement de dispositions visant à prohiber per se des comportements susceptibles de ne nuire qu'aux intérêts particuliers des professionnels en situation de faiblesse et non à l'ensemble du marché tend manifestement à détourner la matière de sa finalité première.Remédier à de telles constatations implique d'envisager la possibilité de délester les droits spéciaux d'une partie des dispositions légales visant à protéger le consentement des contractants y étant soumis, au profit de la théorie des vices du consentement. Une telle solution conduirait à recentrer les droits de la consommation et de la concurrence autour de leurs finalités respectives que sont, pour l'un, la protection des intérêts personnels des consommateurs et, pour l'autre, la protection du marché. Encore faudrait-il que les contractants, aujourd'hui protégés par ces dispositions spéciales, ne voient pas la qualité de leur protection diminuer. S'en assurer nécessitera de déterminer la nature des améliorations que devra subir la théorie des vices du consentement afin de pouvoir assimiler une part du contentieux de droit spécial. Ces améliorations, inspirées par l'étude des droits spéciaux, pourront ainsi bénéficier à l'ensemble des contractants soumis au droit commun. / The theory of the defect of consent offers a generic protection of the contracting party against all risk of consent modification. Having noticed its inadequacy, the laws of consumerism and competition have chosen to adopt a set of specific rules aiming to protect on one hand the consumer, and on the other hand the professional, both in a weak negotiating position, against these same risks. Within the consumerism law, this has been achieved under the European Rights impetus. The 11 May 2005 directive concerning unfair business-to-consumer commercial practices has largely dictated the content of the protective measures nowadays applicable to customers. In the same way, the Second Title of the First Book of Consumer Code, dedicated to commercial practices, consists of a preliminary chapter establishing the unfair business-to-consumer commercial practices. It follows by the 1st chapter, where the 1st section deals with misleading commercial practices, whilst the 2nd chapter, 5th section deals with aggressive commercial practices. Hence the competition law has resorted spontaneously to this option. Fourth Book includes fourth Chapter, where the second Chapter relates to the ban of competitive restrictive practices. These ones, forbidden per se, apparently have no link to this theory of the defect of consent. However, if we look closer, some of them have indirectly the aim to balance present forces at the negotiation stage via a distribution contract between professionals. In fact some will be keen to ban certain professional's behavior that, having a certain economical advantage, could be tempted to play in such a way so as to acquire unjustified contractual advantages from contractual partners, economically dependent. In doing so, the latter would need to have their consent protected.By developing such legislation, special laws have distanced themselves from their mutual purpose. Thus, if it is true that the consumerism law offers a set of rules aiming to prevent any defect of consent should it arise, it equally proposes a multitude of preventive rules but of a delicate maneuver – this being an original approach within the theory of defect of consent of common law, trying to repress the abuse effectively altering the contractual consent. Their comprehension as well as the putting it into practice would require a certain skill, to the point of risking the protection effectiveness that it aims to provide. As to the competition law, a set of rules aiming to forbid per se sensitive behavior, it would endanger only particular interests of professionals in a weak negotiating position, and not the whole market, manifestly tending to divert the matter from its initial result.To find a solution to these observations would imply to take into account the possibility of cutting off special rights of certain legal rules aiming to protect contractual consent they are under the obligation of, in favor of the theory of defect of consent. Such solution would lead to re-focusing on consumer and competition laws around their respective result, which are on one hand the protection of consumer's personal interests, and on the other hand market protection. It would then mean that the contracting party, sheltered by special rules, would not see their protection level diminish. To be re-assured there's the need to determine the nature of the improvements the theory of defect of consent would require, so as to include a part of the litigation of special law. The latter, inspired by a study of special law, could then benefit of the whole contractual under the common law.

Cette thèse vise à discuter de la pertinence de l'introduction de mécanismes de marché au sein du système éducatif. En particulier, elle s'interroge sur la capacité de ces mécanismes à améliorer la réussite des élèves. Elle montre dans une première partie que des mécanismes de marché n’ont que peu de chance de permettre un meilleur appariement des élèves aux écoles, des mécanismes centralisés étant préférables. Elle mesure ensuite l’ampleur des effets de pair dans le système scolaire français, et montre qu’ils sont non négligeables. Elle montre ensuite que le système éducatif public français est peu capable de rémunérer ses enseignants au mérite. Enfin, elle analyse l’impact d’une ouverture à la compétition du marché scolaire sur le niveau d’effort des écoles et montre qu’une telle ouverture est susceptible de réduire le niveau d’effort des écoles en augmentant la différentiation vertical entre école, et donc leur pouvoir de marché. En conclusion, les mécanismes de marché semblent peu capables d’améliorer la réussite scolaire. / This dissertation discusses the relevance of the implementation of market mechanisms in the educational system. It shows that such mechanisms are unlikely to improve the matching between schools and students, since centralized mechanisms perform better. Then, it measures peers effects in French public junior high school, and shows that they quite large. In a third part, it looks to the compensation of teachers in France, and show that it is not based on merit or performance. Last, it analyses the impact of the openness to competition of the education, and shows that it is unlikely to produce improvement. Indeed, such openness would lead to an increased vertical differentiation across, giving them more market power. As a result, market mechanisms seem unable to improve students’ achievement.

Pour aborder le développement d'applications concurrentes et distribuées, le modèle de programmation à objets actifs procure une abstraction de haut niveau pour programmer de façon concurrente. Les objets actifs sont des entités indépendantes qui communiquent par messages asynchrones. Peu de systèmes à objets actifs considèrent actuellement une exécution multi-threadée. Cependant, introduire un parallélisme contrôlé permet d'éviter les coûts induits par des appels de méthodes distants. Dans cette thèse, nous nous intéressons aux enjeux que présentent les objets actifs multi-threadés, et à la coordination des threads pour exécuter de façon sûre les tâches d'un objet actif en parallèle. Nous enrichissons dans un premier temps le modèle de programmation, afin de contrôler l'ordonnancement interne des tâches. Puis nous exhibons son expressivité de deux façons différentes: d'abord en développant et en analysant les performances de plusieurs applications,puis en compilant un autre langage à objets actifs avec des primitives de synchronisation différentes dans notre modèle de programmation. Aussi, nous rendons nos objets actifs multi-threadés résilients dans un contexte distribué en utilisant les paradigmes de programmation que nous avons développé. Enfin, nous développons une application pair-à-pair qui met en scène des objets actifs multi-threadés. Globalement, nous concevons un cadre de développement et d'exécution complet pour les applications hautes performances distribuées. Nous renforçons notre modèle de programmation en formalisant nos contributions et les propriétés du modèle. Cela munit le programmeur de garanties fortes sur le comportement du modèle de programmation. / In order to tackle the development of concurrent and distributed applications, the active object programming model provides a high-level abstraction to program concurrent behaviours. Active objects are independent entities that communicate by mean of asynchronous messages. Very few of the existing active object frameworks consider a multi-threaded execution of active objects. Introducing a controlled parallelism enables removing some latency induced by remote method invocations. In this thesis, we take interest in the challenges of having multiple threads inside an active object, and in their safe coordination to execute tasks in parallel. We enhance this programming model by adding language constructs that control the internal scheduling of tasks. We then show its expressiveness in two ways: first with a classical approach, by developing and analysing the performance of several applications, and secondly, by compiling another active object language with different synchronisation primitives into our programming model. Also, we make multi-threaded active objects resilient in a distributed context through generic engineering constructs, and by using our programming abstractions. Finally, we develop a peer-to-peer application that shows multi-threaded active objects and their features in action. Overall, we design a thorough framework for the development and execution of high performance distributed applications. We reinforce our programming model by formalising our work and the model’s properties

Au vue de la concurrence internationale qui s’est accrue avec l’évolution des pays émergents, les chaînes de production des FMN suivent des schémas de plus en plus complexes. L’objectif de cette thèse est d’étudier les stratégies de SIPP opérées par les FMN. Le chapitre 1 établie les manquements des travaux relatifs à la fragmentation internationale des processus de production qui sont en majorité des études ‘pays’ et ne sont plus en accord avec les changements relatifs au monde industriel actuel. La SIPP y est définie. Dans le chapitre 2, nous construisons un modèle d’équilibre partiel à une seule firme afin de trouver les principaux éléments qui déterminent la SIPP et de montrer les différentes stratégies par lesquelles les FMN segmentent leur processus de production. Dans le chapitre 3, nous construisons quatre nouveaux indices de mesure de la SIPP et faisons des études descriptives relatives. Le chapitre 4 vérifie et complète les résultats obtenus dans les chapitres précédents via une étude économétrique. Il ressort que la SIPP allie les théories traditionnelles et les nouvelles logiques relatives à la fragmentation internationale ; les contraintes ou avantages liés conjointement à la firme et aux pays déterminent le choix de segmenter ou pas son processus de production via des stratégies mixtes et/ou verticales. La SIPP ne se résume plus seulement à l’association des FMN occidentales donneuses d’ordre à des fournisseurs de pays à faible coûts de main d’œuvre. L’accès à des marchés étrangers et à des savoirs et compétences spécifiques est de plus en plus ciblé. Les stratégies ont beaucoup évolué et le niveau des pays aussi. / In a context of rude international competition with the rise of emerging countries, the production chain of MNCs becomes more complex. The objective of this thesis is to study the strategies of ISPP carried out by the MNCs. The first chapter establishes the shortcomings of works on the international fragmentation of production processes, which are mostly ‘country’ based studies and are no longer in line with changes of the current industrial world. In this chapter, the ISPP is defined. In Chapter 2, we build a partial equilibrium model to a single firm (the MNC) in order to find the main elements that determine ISPP and to show the different strategies by which MNCs segment their production process. In Chapter 3, we construct four new ISPP measurement indices and conduct relative descriptive studies. Chapter 4 verifies and complements the results obtained in the previous chapters, using two econometric models based on the French MNCs data and those relating to the countries where they have production activities. It appears that the ISPP combines the traditional theories and the new logics relating to international fragmentation; the constraints or advantages related to the firm and countries determine the choice of the firm to segment or not its production process via mixed or/and vertical strategies. Today, international fragmentation of production is no longer just a matter of the association of western multinational companies with suppliers of countries with low labor costs. Access to foreign markets, to a specific knowledge and skills are increasingly targeted. The strategies have evolved greatly and the level of countries too.

L'intégration de composants dans un système peut s'avérer difficile lorsque ces composants ont été conçus selon différents paradigmes ou s'ils se basent sur différents cadres de temps devant être synchronisés. Cette synchronisation peut être dirigée par les évènements (un évènement est provoqué par un autre), ou dirigée par le temps (un évènement se produit parce qu'il en est l'heure). En considérant que chaque composant admet son propre cadre de temps et qu'ils peuvent ne pas être reliés, il est possible qu'une unique ligne de temps globale n'existe pas.Nous nous intéressons à la spécification de schémas de synchronisation pour de tels systèmes polychrones et polytemporisés. Notre étude nous a mené à la conception de modèles sémantiques pour un langage temporisé à évènements discrets, appelé TESL et développé par Boulanger et al. Ce langage a été utilisé pour coordonner la simulation de modèles composites et pour tester l'intégration de systèmes.Dans cette thèse, nous présentons une sémantique dénotationnelle fournissant une compréhension précise et logiquement cohérente du langage. Puis nous proposons une sémantique opérationnelle afin de dériver des traces d'exé-cutions satisfaisant une spécification TESL. Celui-ci a été utilisé pour les problématiques de test des systèmes, à travers l'implantation d'un solveur nommé Heron. Pour résoudre la question de cohérence et de correction de ces règles sémantiques, nous avons également développé une sémantique intermédiaire coinductive reliant les deux sémantiques dénotationnelles et opérationnelles. Nous établissons des propriétés sur la relation entre les deux sémantiques: correction, complétude, progrès ainsi que terminaison locale. Enfin, notre formalisation ainsi que les preuves associées ont été entièrement mécanisées dans l'assistant de preuve Isabelle/HOL. / Integrating components into systems turns out to be difficult when these components were designed according to different paradigms or when they rely on different time frames which must be synchronized. This synchronization may be event-driven (an event occurs because another event occurs) or time-driven (an event occurs because it is time for it to occur). Considering that each component admits its own time frame, and that they may not be related, a unique global time line may not exist.We are interested in specifying synchronization patterns for such polychronous and polytimed systems. Our study had led us to design semantic models for a timed discrete-event language, called the TESL language developed by Boulanger et al. This language has been used for coordinating the simulation of composite models and testing system integration.In this thesis, we present a denotational semantics providing an accurate and logic-consistent understanding of the language. Then we propose an operational semantics to derive satisfying runs from TESL specifications. It has been used for testing purposes, through the implementation of a solver, named Heron. To tackle the issue of the consistency and correctness of these semantic rules, we developed a co-inductive intermediate semantics that relates both the denotational and the operational semantics. Then we establish properties over the relation of our semantic models: soundness, completeness and progress, as well as local termination. Finally, our formalization and these proofs have been fully mechanized in the Isabelle/HOL proof assistant.

Cette thèse est un travail empirique sur la dispersion des prix, c'est-à-dire le fait qu'un bien identique puisse être vendu à des prix différents, en violation de la célèbre loi du prix unique. L'approche s'inscrit dans une littérature initiée par Stigler (1961), qui note que "la dispersion des prix est (...) la mesure de l'ignorance dans le marché". Il en découle que de simples observations de prix peuvent révéler beaucoup d'information sur le fonctionnement d'un marché.Le premier chapitre étudie l'impact de la création d'une enseigne à bas prix sur le marché français de la distribution de carburant. Cette création implique que de nombreuses stations sont confrontées à une baisse de prix importante d'un proche concurrent. La réaction agrégée mesurée au niveau national est faible, mais masque des hausses et des baisses en proportions équivalentes. L'hétérogénéité des réactions souligne l'importante segmentation du marché. Le second chapitre, utilisant le même jeu de de données, examine la pertinence de modèles qui identifient la dispersion des prix à des équilibres en stratégies mixtes. Empiriquement, on observe que l'ordre des prix des stations concurrentes tend en effet à varier dans le temps, et que sa volatilité croit lorsque la distance qui sépare les points de vente augmente. La dispersion est donc croissante d'un coût recherche supporté par les consommateurs. Par ailleurs, l'enseigne des stations détermine largement leur stratégie de prix. Les stations qui pratiquent les prix les plus bas sont relativement plus susceptibles de maintenir des prix parfaitement alignés sur ceux des proches concurrents, tandis que la dispersion mesurée entre les stations plus onéreuses est corrélée positivement avec le coût du diesel et le nombre de stations présentes sur le marché. Ainsi, les résultats renforcent la thèse de la coexistence d'un marché proche d'une concurrence à la Bertrand avec un marché moins concurrentiel, où des stations tirent parti de frictions importantes.Le dernier chapitre s'intéresse à la grande distribution, s'appuyant sur des données collectées sur un comparateur de prix en ligne. J'observe que les comparaisons réalisées entre chaînes de magasins par le site sont relativement peu informatives compte tenu de l'hétérogénéité des résultats au niveau local. L'échantillon de produits retenu peut en outre conduire à des résultats largement différents. La volatilité des comparaisons augmente avec la distance séparant les supermarchés, ce qui, comme dans le cas du carburant, dénote la présence de coûts de recherche. A l'échelle locale, le niveau des prix ne croit pas avec la concentration approximée par les parts de marché, ce qui conduit à remettre en question la pertinence de cet indicateur en matière de politique publique. La dispersion est positivement corrélée au niveau des prix, ce qui suggère que l'imperfection de l'information permet effectivement aux supermarchés de pratiquer des prix plus élevés qu'en concurrence parfaite. / This thesis is an empirical study of price dispersion, namely the fact that a homogenous good can typically be purchased at various prices, in violation of the famous law of one price. The approach belongs to a literature initiated by Stigler (1961), which notes that “price dispersion is (...) the measure of ignorance in the market”. A noteworthy consequence is that simple price observations can be very informative about competition in a market.The first chapter analyses the impact of the creation of a discount chain on the French retail gasoline market. This creation implies that many gas stations are confronted with a sharp price decrease by a competitor. The aggregate reaction, measured at the national level, is weak but it conceals increases and decreases in equivalent proportions The heterogeneity of measured reactions highlights an important market segmentation. Using the same data, the second chapter explores the relevance of models which identify price dispersion with an equilibrium in mixed strategies. Empirically, the rank of competing gas stations is indeed observed to vary over time, and its volatility is positively correlated with the distance that separates the outlets. Dispersion thus increases with a search cost incurred by customers. The chain affiliation of gas stations largely determines their pricing strategies. Retailers which have low price policies are more likely than others to keep prices aligned with nearby competitors, while dispersion measured between more expensive gas stations is positively correlated with diesel cost and the number of sellers in the market. Results thus provide further support the coexistence of a market close to Bertrand competition with a less competitive market, where gas stations take advantage of significant frictions.The last chapter focuses on grocery stores, using data collected from an online price comparison website. Aggregate national chain comparisons that are displayed on the website are found to provide information of little value to consumers given the heterogeneity observed within store level comparison results. These can furthermore vary significantly depending on the set of compared products. Volatility tends to increase with the distance that separates supermarkets, which, as in the case of gasoline, suggests that search cost influence competition. Within local markets, the measured concentration is negatively correlated with price levels, which leads to question its effective relevance in terms of public policies. Price dispersion is found to increase with market price levels, which is consistent with sellers taking advantage of consumer search costs to post higher prices.

La notion de système de contraintes (cs – selon l'acronyme anglais) est un concept central aux formalismes de la théorie de la concurrence tels que les algèbres de processus pour la programmation concurrente par contraintes. Les systèmes de contraintes sont souvent représentés par des treillis : ses éléments, appelées contraintes, représentent des informations partiales tandis que l’ordre du treillis correspond à des implications. Récemment, une notion appelée “système de contraintes spatiales à n-agents” a été développée pour représenter l’information dans la programmation concurrente par contraintes où les systèmes sont multi-agents et spatialement distribués.D’un point de vue informatique, un système de contraintes spatiales peut être utilisé pour spécifier l’information partiale contenue dans l'espace d'un certain agent (information locale). D’un point de vue épistémique, un cs spatial peut être utilisé pour représenter l’information qui est considérée vrai pour un certain agent (croyance). Les systèmes de contraintes spatiales, néanmoins, ne fournissent pas de mécanismes pour la spécification de la mobilité de l’information ou des processus d'un espace à un autre. La mobilité de l’information est un aspect fondamental des systèmes concurrents.Dans cette thèse nous avons développé la théorie des systèmes de contraintes spatiales avec des opérateurs pour spécifier le déplacement des informations et processus entre les espaces. Nous étudions les propriétés de cette nouvelle famille de systèmes de contraintes et nous illustrons ses applications.Du point de vue calculatoire, ces nouveaux opérateurs nous apportent de l’extrusion d’informations et/ou des processus, qui est un concept central dans les formalismes pour la communication mobile. Du point de vue épistémique, l’extrusion correspond à une notion que nous avons appelé énonciation ; une information qu’un agent souhaite communiquer à d'autres mais qui peut être inconsistante avec les croyances de l’agent même. Des énonciations peuvent donc être utilisées pour exprimer des notions épistémiques tels que les canulars ou les mensonges qui sont fréquemment utilisés dans les réseaux sociaux.Globalement, les systèmes de contraintes peuvent exprimer des notions épistémiques comme la croyance/énonciation et la connaissance en utilisant respectivement une paire de fonctions espace/extrusion qui représentent l’information locale, et un opérateur spatial dérivé qui représente l’information globale. Par ailleurs, nous montrons qu’en utilisant un type précis de systèmes de contraintes nous pouvons aussi représenter la notion du temps comme une séquence d'instances. / The notion of constraint system (cs) is central to declarative formalisms from concurrency theory such as process calculi for concurrent constraint programming (ccp). Constraint systems are often represented as lattices: their elements, called constraints, represent partial information and their order corresponds to entailment. Recently a notion of n-agent spatial cs was introduced to represent information in concurrent constraint programs for spatially distributed multi-agent systems. From a computational point of view a spatial constraint system can be used to specify partial information holding in a given agent’s space (local information). From an epistemic point of view a spatial cs can be used to specify information that a given agent considers true (beliefs). Spatial constraint systems, however, do not provide a mechanism for specifying the mobility of information/processes from one space to another. Information mobility is a fundamental aspect of concurrent systems.In this thesis we develop the theory of spatial constraint systems with operators to specify information and processes moving between spaces. We investigate the properties of this new family of cs and illustrate their applications. From a computational point of view the new operators provide for process/information extrusion, a central concept in formalisms for mobile communication. From an epistemic point of view extrusion corresponds to what we shall call utterance; information that an agent communicates to others but that may be inconsistent with the agent’s beliefs. Utterances can be used to express instances of epistemic notions such as hoaxes or intentional lies which are common place in social media.On the whole, constraint systems can express the epistemic notions of belief /utterance and knowledge by means of, respectively, a space/extrusion function pair that specifies local information and a derived spatial operator that specifies global information. We shall also show that, by using a specific kind of our constraint systems, we can also encode the notion of time as a sequence of instances.

La détention et l’exploitation de l’information apparaissent au cœur du développement de l’économie contemporaine, faisant de l’identification ainsi que de la protection de l’information des enjeux permanents pour les opérateurs économiques. Mais toutes les informations ne se valent pas. Seules celles bénéficiant d’une protection directe ou indirecte et conférant un avantage concurrentiel font l’objet d’un contrôle attentif des entreprises et des autorités de concurrence. Dans ce contexte, les libertés économiques, circonscrites à la liberté contractuelle, la liberté d’entreprendre et la libre concurrence, constituent, alternativement, un guide, un support ou une limite à la divulgation de l’information protégée. Justifiant l’absence de divulgation de certaines informations protégées, les libertés économiques consacrent le respect des secrets d’affaires. A l’inverse, elles peuvent imposer une divulgation et en dicter les modalités. Suivant un mouvement de balancier, les conditions de divulgation de l’information protégée, au sein d’échanges informels, dans le cadre d’opérations de normalisation, ou dans une optique de libre mise à disposition, influencent à leur tour les libertés économiques qui s’en trouvent contraintes, renforcées ou renouvelées. Au regard de ces interactions constantes dessinant un cadre évolutif, il importe de s’interroger sur la réalité de l’autonomie de la volonté des opérateurs économiques dans la gestion de leurs informations protégées. / Possession and exploitation of information are essential to the development of the contemporary economy, making the identification as well as the protection of information permanent stakes for economic operators. But information is not always given the same value. Only those which are granted direct or indirect protection, and which give a competitive advantage are subject to close scrutiny by companies and competition authorities. In this context, economic freedoms, circumscribed by contractual freedom, freedom of enterprise and free competition, may in turn be considered as guide, a support or a limit to the disclosure of protected information. Justifying the lack of disclosure of some protected information, economic freedoms ensure the respect of trade secrets. Conversely, they may force the disclosure of protected information, and dictate the terms of this disclosure. Following a pendulum movement, the conditions for disclosure of protected information, in informal exchanges, in the framework of standardization operations, or in view of free provision, influence economic freedoms which in turn are constrained, reinforced or renewed by this operation. Following these constant interactions that draw on an evolving framework, it appears important to question the real autonomy of the economic actor’s will in the management of their protected information.

Le but principal de la topologie algébrique dirigée est d’étudier des systèmes qui évoluent avec le temps à travers leur géométrie. Ce sujet émergea en informatique, plus particulièrement en vraie concurrence, où Pratt introduisit les automates de dimension supérieure (HDA) en 1991 (en réalité, l’idée de la géométrie de la concurrence peut être retracée jusque Dijkstra en 1965). Ces automates sont géométriques par nature: chaque ensemble de n processus exécutant des actions indépendantes en parallèle peuvent être modélisées par un cube de dimension n, et un tel automate donne naissance à un espace topologique, obtenu en recollant ces cubes. Cet espace a naturellement une direction du temps provenant du flot d’exécution. Il semble alors totalement naturel d’utiliser des outils provenant de la topologie algébrique pour étudier ces espaces: les chemins modélisent les exécutions et les homotopies de chemins, c’est-à-dire les déformations continues de chemins, modélisent l’équivalence entre exécutions modulo ordonnancement d’actions indépendantes, mais ces notions géométriques doivent préserver la direction du temps, d’une façon ou d’une autre. Ce caractère dirigé apporte des complications et la théorie doit être refaite, essentiellement depuis le début. Dans cette thèse, j’ai développé des théories de l’homotopie et de l’homologie pour ces espaces dirigés. Premièrement, ma théorie de l’homotopie dirigée est basée sur la notion de rétracts par déformations, c’est-à-dire de déformations continues d’un gros espaces sur un espace plus petit, suivant des chemins inessentiels, c’est-à-dire qui ne changent pas le type d’homotopie des « espaces d’exécutions ». Cette théorie est reliée aux catégories de composantes et catégories de dimension supérieures. Deuxièmement, ma théorie de l’homologie dirigée suit l’idée que l’on doit regarder les « espaces d’exécutions » et comment ceux-ci évoluent avec le temps. Cette évolution temporelle est traitée en définissant cette homologie comme un diagramme des « espaces d’exécutions » et en comparant de tels diagrammes en utilisant une notion de bisimulation. Cette théorie homologique a de très bonnes propriétés: elle est calculable sur des espaces simples, elle est un invariant de notre théorie homotopique, elle est invariante par des raffinements d’actions simples et elle une théorie des suites exactes. / Studying a system that evolves with time through its geometry is the main purpose of directed algebraic topology. This topic emerged in computer science, more particularly in true concurrency, where Pratt introduced the higher dimensional automata (HDA) in 1991 (actually, the idea of geometry of concurrency can be tracked down Dijkstra in 1965). Those automata are geometric by nature: every set of n processes executing independent actions can be modeled by a n-cube, and such an automaton then gives rise to a topological space, obtained by glueing such cubes together. This space naturally has a specific direction of time coming from the execution flow. It then seems natural to use tools from algebraic topology to study those spaces: paths model executions, homotopies of paths, that is continuous deformations of paths, model equivalence of executions modulo scheduling of independent actions, and so on, but all those notions must preserve the direction. This brings many complications and the theory must be done again.In this thesis, we develop homotopy and homology theories for those spaces with a direction. First, my directed homotopy theory is based on deformation retracts, that is continuous deformation of a big space on a smaller space, following directed paths that are inessential, meaning that they do not change the homotopy type of spaces of executions. This theory is related to categories of components and higher categories. Secondly, my directed homology theory follows the idea that we must look at the spaces of executions and those evolves with time. This evolution of time is handled by defining such homology as a diagram of spaces of executions and comparing such diagrams using a notion of bisimulation. This homology theory has many nice properties: it is computable on simple spaces, it is an invariant of our homotopy theory, it is invariant under simple action refinements and it has a theory of exactness.