Droit répressif, droit des entreprises et du marché, situé aux confins du juridique et de l'économique, à la charnière des procédures et à la croisée des ordres juridiques nationaux et européens, le droit de la concurrence est un domaine original et complexe. Ces caractères laissent assurément leur empreinte sur la preuve, qui doit alors relever de nouveaux défis. La violation d'une règle de concurrence porte d'abord atteinte à l'ordre public économique; elle constitue aussi une atteinte aux intérêts privés et individuels des victimes de ces agissements anticoncurrentiels. Si ces deux volets, public et privé, du droit des pratiques anticoncurrentielles sont donc complémentaires et que l'effectivité du second contribue en effet à l'efficacité du premier, les difficultés relatives à la preuve se posent cependant en des termes différents. Dès lors, la recherche d'une cohérence des règles relatives à la preuve en droit des pratiques anticoncurrentielles impliquait une approche globale, seule permettant d'atteindre un équilibre dynamique, entre les exigences et garanties du droit de la preuve et les impératifs du droit de la concurrence. Il ressort des évolutions récentes qu'un tel équilibre peut être aujourd'hui constaté entre les règles substantielles et les règles processuelles de preuve applicables, tant dans le contentieux public que privé. L'étude de la preuve en droit des pratiques anticoncurrentielles permet ainsi de révéler que le droit de la concurrence tend aujourd'hui mieux qu'hier à concilier l'efficacité de sa mise en œuvre et la protection des droits de ses acteurs. / Competition law is markedly complex and original. Addressing both companies and markets, it combines punitive and regulative features, uses economic as well as legal tools of analysis and stands at the intersection of national and European law in both its procedural and substantial provisions. These features undoubtedly affect its use of evidence and proof. While competition law's fi st aim is to protect public economic policy, it also ensures the protection of private and individual interests against anti-competitive practices. Combining aspects of both private and public law in a complementary way, it effectively protects the interests of public policy by ensuring the protection of private actors against anti-competitive practices. While the double nature of the law on anti-competitive practices entails a different treatment of proof and evidence in the respective fields of public and private enforcement, both aspects need to be addressed together in order to reach a dynamic balance between the imperatives of competition law on the one hand and the requirements and guarantees embodied by the rules on proof and evidence on the other hand. Recent developments show that a balance between substantial and procedural rules on proof and evidence has indeed been reached in the fields of both public and private enforcement. A close study of the law on proof and evidence in the field of anti­competitive practices thus shows that today's competition law tends towards ensuring its efficient implementation as well as protecting the rights of its actors.

[pt] Nos últimos anos, a tendência por aumentar o desempenho de um microprocessador, como uma solução alternativa para a crescente demanda por recursos computacionais de aplicações e sistemas, diminuiu significativamente. Isto levou a um aumento do interesse em utilizar ambientes multi-processados. Embora muitos modelos e bibliotecas tenham sido desenvolvidos para oferecer suporte à programação concorrente, garantir que vários fluxos de execução acessem recursos compartilhados de forma controlada continua a ser uma tarefa complexa. A biblioteca Luaproc, que oferece suporte para a concorrência em Lua, mostrou alguma promessa em termos de desempenho e casos de uso. Nesta tese, nós estudamos a biblioteca Luaproc e incorporamos-lhe novas funcionalidades a fim de torná-la mais amigável e estender o seu uso a novos cenários. Primeiro, nós apresentamos as motivações para nossas extensões a Luaproc, discutindo formas alternativas de lidar com as limitações existentes. Em seguida, nós apresentamos requisitos, características da implementação e limitações associadas a cada um dos mecanismos desenvolvidos como soluções alternativas a essas limitações. Finalmente, nós utilizamos as funcionalidades incorporadas na implementação de algumas aplicações concorrentes, a fim de avaliar o desempenho e testar o funcionamento adequado de tais mecanismos. / [en] In recent years, the tendency to increase the performance of a microprocessor, as an alternative solution to the increasing demand for computational resources of both applications and systems, has decreased significantly. This has led to an increase of the interest in employing multiprocessing environments. Although many models and libraries have been developed to offer support for concurrent programming, ensuring that several execution ows access shared resources in a controlled way remains a complex task. The Luaproc library, which provides support for concurrency in Lua, has shown some promise in terms of performance and cases of use. In this thesis, we study the Luaproc library and incorporate to it new functionalities in order to make it more user friendly and extend its use to new scenarios. First, we introduce the motivations to our extensions to Luaproc, discussing alternative ways of dealing with the existing limitations. Then, we present requirements, characteristics of the implementation, and limitations associated to each of the mechanisms implemented as alternative solutions to these limitations. Finally, we employ the incorporated functionalities in implementing some concurrent applications, in order to evaluate the performance and test the proper functioning of such mechanisms.

L'utilisation massive des plateformes multi-cœurs et multi-processeurs a pour effet de favoriser la programmation parallèle à mémoire partagée. Néanmoins, exploiter efficacement et de manière correcte le parallélisme sur ces plateformes reste un problème de recherche ouvert. De plus, leur modèle d'exécution sous-jacent, et notamment les modèles de mémoire "relâchés", posent de nouveaux défis pour les outils d'analyse statiques et dynamiques. Dans cette thèse nous abordons deux aspects importants dans le cadre de la programmation sur plateformes multi-cœurs et multi-processeurs: l'optimisation de sections critiques implémentées selon l'approche pessimiste, et l'analyse dynamique de flots d'informations. Les sections critiques définissent un ensemble d'accès mémoire qui doivent être exécutées de façon atomique. Leur implémentation pessimiste repose sur l'acquisition et le relâchement de mécanismes de synchronisation, tels que les verrous, en début et en fin de sections critiques. Nous présentons un algorithme générique pour l'acquisition/relâchement des mécanismes de synchronisation, et nous définissons sur cet algorithme un ensemble de politiques particulier ayant pour objectif d'augmenter le parallélisme en réduisant le temps de possession des verrous par les différentes threads. Nous montrons alors la correction de ces politiques (respect de l'atomicité et absence de blocages), et nous validons expérimentalement leur intérêt. Le deuxième point abordé est l'analyse dynamique de flot d'information pour des exécutions parallèles. Dans ce type d'analyse, l'enjeu est de définir précisément l'ordre dans lequel les accès à des mémoires partagées peuvent avoir lieu à l'exécution. La plupart des travaux existant sur ce thème se basent sur une exécution sérialisée du programme cible. Ceci permet d'obtenir une sérialisation explicite des accès mémoire mais entraîne un surcoût en temps d'exécution et ignore l'effet des modèles mémoire relâchées. A contrario, la technique que nous proposons permet de prédire l'ensemble des sérialisations possibles vis-a-vis de ce modèle mémoire à partir d'une seule exécution parallèle ("runtime prediction"). Nous avons développé cette approche dans le cadre de l'analyse de teinte, qui est largement utilisée en détection de vulnérabilités. Pour améliorer la précision de cette analyse nous prenons également en compte la sémantique des primitives de synchronisation qui réduisent le nombre de sérialisations valides. Les travaux proposé ont été implémentés dans des outils prototype qui ont permit leur évaluation sur des exemples représentatifs. / The invasion of multi-core and multi-processor platforms on all aspects of computing makes shared memory parallel programming mainstream. Yet, the fundamental problems of exploiting parallelism efficiently and correctly have not been fully addressed. Moreover, the execution model of these platforms (notably the relaxed memory models they implement) introduces new challenges to static and dynamic program analysis. In this work we address 1) the optimization of pessimistic implementations of critical sections and 2) the dynamic information flow analysis for parallel executions of multi-threaded programs. Critical sections are excerpts of code that must appear as executed atomically. Their pessimistic implementation reposes on synchronization mechanisms, such as mutexes, and consists into obtaining and releasing them at the beginning and end of the critical section respectively. We present a general algorithm for the acquisition/release of synchronization mechanisms and define on top of it several policies aiming to reduce contention by minimizing the possession time of synchronization mechanisms. We demonstrate the correctness of these policies (i.e. they preserve atomicity and guarantee deadlock freedom) and evaluate them experimentally. The second issue tackled is dynamic information flow analysis of parallel executions. Precisely tracking information flow of a parallel execution is infeasible due to non-deterministic accesses to shared memory. Most existing solutions that address this problem enforce a serial execution of the target application. This allows to obtain an explicit serialization of memory accesses but incurs both an execution-time overhead and eliminates the effects of relaxed memory models. In contrast, the technique we propose allows to predict the plausible serializations of a parallel execution with respect to the memory model. We applied this approach in the context of taint analysis , a dynamic information flow analysis widely used in vulnerability detection. To improve precision of taint analysis we further take into account the semantics of synchronization mechanisms such as mutexes, which restricts the predicted serializations accordingly. The solutions proposed have been implemented in proof of concept tools which allowed their evaluation on some hand-crafted examples.

Les variations des prix du pétrole et des carburants représentent depuis les années 1970 un sujet d'étude majeur pour les économistes, notamment en raison de leur impact sur le pouvoir d'achat des consommateurs. Dans les années 1990, des économistes ont mis en évidence et modélisé un effet d'asymétrie dans la transmission du prix du pétrole, ensuite approfondi grâce à des modèles économétriques plus sophistiqués.Cependant, le rôle de la volatilité est encore imparfaitement décrit et des questions demeurent ouvertes. Comment les agents économiques modifient-ils leurs comportements en périodes d'incertitude accrue? Les facteurs de transmission des prix sont-ils affectés ? Quelles différences existe-t-il entre l'amont et l'aval de la chaîne de valeur? Ces questions sont traitées dans trois études, qui ont fait ou vont faire l'objet de publications dans des revues internationales.Dans sa globalité, cette thèse montre l'importance du rôle des changements de régime dans la transmission des prix sur les marchés de l'énergie. Nos résultats nous auront aussi permis de confirmer ou d' infirmer certaines hypothèses de la littérature, comme la présence d' asymétries sur le marché français des carburants, leur disparition sur le marché aval sous l'effet de la concurrence et du renforcement des contrôles publics, l'effet de la volatilité des prix sur les asymétries ou encore celui de la production américaine de gaz de schiste sur la consommation de gaz naturel. Ces résultats empiriques présentent un intérêt académique pour les économistes, mais aussi opérationnel pour les autorités de régulation des marchés et les pouvoirs publics dans le cadre de la transition énergétique. / Changes in oil and fuel prices since the 1970s represent a major subject of study for economists, particularly because of tbeir impact on consumer purchasing power. In the 1990s, economists have ideotified and modeled an asymmetric effect in the transmission oil prices, which they deepened through more sophisticated econometric models. However, the role ofvolatility is still imperfectly de.scribed and questions remain open. How do economic agents change their behavior in times of increased uncertainty? Are transmission factors of prices affected? What differences are there between the upstream and downstream in the value chaio? These issues are addressed in three studies, which have been or will be the subject of publications in internatiooaJ journals. As a whole, this thesis shows the importance of the role of regime changes in the transmission of prices on energy markets. Our results also aUowed us to confirm or deny some assomptions ofliterature, such as the preseoce of asymmetries in the French fuel market, their disappearance in the downstream market as a result of competition and strengthening of public control, the effect of price volatility on asymmetries or that of the US production of sbale gas on the oatural gasconsumption. Tbese empirical results are of academic interest to ecooomists, but also operational for market regulators and governments in the management of the energy transition.

Les comportements des processus concurrents peuvent être exprimés en utilisant des calculs de processus, des langages formels simples qui permettent de démontrer des résultats mathématiques précis sur les interactions entre processus. Un exemple très simple est CCS, un autre exemple est le pi-calcul, plus expressif grâce à un mécanisme de communication de canaux. Dans ce dernier, on peut instaurer un système de types (pour raffiner l'analyse aux environnements plus contraints) et encoder le lambda-calcul (qui représente les calculs séquentiels).Certains de ces calculs, comme CCS ou des variantes du pi-calcul comme les calculs de fusions, ont une certaine propriété de symétrie. On utilise dans un premier temps cette symétrie comme un outil, pour prouver que deux encodages du lambda-calcul dans le pi-calcul sont en fait équivalents.Cette preuve nécessitant un système de types et une forme de symétrie, on se pose la question de l'existence d'un système de types pour les autres calculs symétriques, notamment les calculs de fusion, à laquelle on répond par la négative avec un théorème d'impossibilité.En analysant ce théorème, on découvre un contrainte fondamentale de ces calculs qui empêche l'utilisation des types, à savoir la présence d'une notion de relation d'équivalence entre les canaux de communication. Le relâchement de cette contrainte pour obtenir une relation de pré-ordre engendre un calcul intéressant qui recouvre des notions importantes du pi-calcul, absentes dans les calculs de fusion : les types et les noms privés. La première partie de la thèse se concentre sur l'étude de ce calcul.La deuxième partie de la thèse se concentre sur la bisimulation, une méthode pour établir l'équivalence de deux agents dans des langages d'ordre supérieur, par exemple le pi-calcul ou le lambda-calcul. Une amélioration de cette méthode est la théorie des techniques modulo, très puissante, mais qui malheureusement s'applique uniquement aux systèmes de premier ordre, comme les automates ou CCS.Cette thèse s'applique alors à décrire les langages d'ordre supérieur en tant que systèmes du premier ordre. On récupère ainsi la théorie générale des techniques modulo pour ces langages, en prouvant correctes la correspondance induite et les techniques spécifiques à chaque langage. On détaille les tenants et aboutissants de cette approche, pour fournir les outils nécessaires à son utilisation pour d'autres langages d'ordre supérieur. / The behaviours of concurrent processes can be expressed using process calculi, which are simple formal languages that let us establish precise mathematical results on the behaviours and interactions between processes. A very simple example is CCS, another one is the pi-calculus, which is more expressive thanks to a name-passing mechanism. The pi-calculus supports the addition of type systems (to refine the analysis to more subtle environments) and the encoding of the lambda-calculus (which represents sequential computations).Some of these calculi, like CCS or variants of the pi-calculus such as fusion calculi, enjoy a property of symmetry. First, we use this symmetry as a tool to prove that two encodings of the lambda-calculus in the pi-calculus are in fact equivalent.This proof using a type system and a form of symmetry, we wonder if other existing symmetric calculi can support the addition of type systems. We answer negatively to this question with an impossibility theorem.Investigating this theorem leads us to a fundamental constraint of these calculi that forbids types: they induce an equivalence relation on names. Relaxing this constraint to make it a preorder relation yields another calculus that recovers important notions of the pi-calculus, that fusion calculi do not satisfy: the notions of types and of privacy of names. The first part of this thesis focuses on the study of this calculus, a pi-calculus with preorders on names.The second part of this thesis focuses on bisimulation, a proof method for equivalence of agents in higher-order languages, like the pi- or the lambda-calculi. An enhancement of this method is the powerful theory of bisimulations up to, which unfortunately only applies for first-order systems, like automata or CCS.We then proceed to describe higher-order languages as first-order systems. This way, we inherit the general theory of up-to techniques for these languages, by proving correct the translations and up-to techniques that are specific to each language. We give details on the approach, to provide the necessary tools for future applications of this method to other higher-order languages.

Alors que l'application des règles du droit de la concurrence dans le secteur sanitaire est un phénomène croissant, il est pertinent de s'interroger sur son éventuelle remise en cause. L'étude de l'entrecroisement du droit de la concurrence et du droit de la santé, en effet, n'a pas encore fait l'objet d'une analyse d'ensemble. Celle-ci fait apparaître que l'entrelacement de principe des deux disciplines provient de ce qu'il est, à la fois, possible et favorisé. Le droit de la santé ne crée pas d'obstacles à l'emprise du droit de la concurrence, et participe même de s a mise en œuvre, en créant des mécanismes susceptibles de porter atteinte au processus concurrentiel. Le recours aux normes concurrentielles, par ailleurs, semble opportun. Bénéfique, l'application des règles de concurrence renforce les règles du droit de la santé. Bien qu'instrumentalisée par les normes sanitaires, la concurrence n'est pas suffisamment protégée. L'application des règles concurrentielles, alors, apparaît nécessaire. Mais les rapports qu'entretiennent les deux disciplines montrent également des aspects négatifs. Si le droit de la concurrence offre une protection indirecte aux «consommateurs de soins», ses mécanismes, exclusivement orientés vers l'intérêt général concurrentiel, ne permettent pas, en réalité, d'accueillir directement les finalités sanitaires. S'élèvent, en outre, des conflits entre les deux corps de règles, conduisant à leur neutralisation et à leur altération mutuelles. Aussi convient-il de rechercher un moyen d'améliorer leur articulation. C'est donc à un recours renouvelé au droit de la concurrence qu'il s'agit finalement de songer. / As the Judicial Enforcement of Competition Law in health services is increasing, it seems relevant to wonder whether this phenomenon could somehow be questioned. Indeed, Competition Law and Health Law have not yet been investigated together through an overall study – though the intertwining of these disciplines is not only possible, but also visibly encouraged. In fact, far from thwarting the influence of Competition, Health Law even participates in its enforcement, triggering mechanisms likely to provoke it. Besides, the application of Competition Rules is advisable whenever it strengthens Health Rules. Sanitary norms have nonetheless used Competition without it being satisfactorily protected. Consequently, the application of Competition Rules appears necessary. The relation between disciplines has also known negative effects : even though Competition Law offers indirect protection to “health consumers”, its mechanisms do not, in actuality, take sanitary objectives into account. Conflicts between the disciplines compel them to alter one another, leading to their mutual neutralization. Consequently, the interaction between Competition and Health norms needs to be improved. Limited or residual rights of appeal could be the key under Competition Law.

La théorie de la concurrence déloyale n'a cessé d'évoluer en droit français. A l'origine, le droit français de la concurrence déloyale visait à protéger les intérêts individuels des concurrents, et ce en stigmatisant les moyens déloyaux par lesquels les agents économiques cherchaient à détourner la clientèle de leurs rivaux. Depuis quelques années, cette théorie subit des transformations très importantes. Aujourd'hui, elle a dépassé son seul et unique objectif, qui lui avait été reconnu depuis fort longtemps. En effet, elle ne vise plus uniquement la protection de la clientèle de la victime de l'acte déloyal, mais s'intéresse aussi aux atteintes à la capacité concurrentielle des autres opérateurs. Dès lors, la concurrence déloyale dans sa nouvelle conception tend à réguler le comportement objectif de tous les opérateurs sur le marché, qu'ils soient ou non concurrents aux fins de rétablir l'égalité affectée dans les moyens de concurrence. Malgré son introduction en droit jordanien par la loi de la concurrence déloyale n° 15 de l'année 2000, la théorie de la concurrence déloyale reste, selon sa compréhension stricte de la part de la doctrine jordanienne, alimentée par la présence de la formule de l'article 2 de la loi de la concurrence déloyale, enfermée dans une conception traditionnelle sans aucune évolution. Toutefois, l'unité du critère de la déloyauté du comportement fautif en droit français et en droit jordanien permet un rapprochement très utile entre les deux droits, de telle sorte que le droit jordanien pourrait, à son tour, suivre les évolutions constatées en droit français. Ainsi, la théorie de la concurrence déloyale pourrait être aménagée selon de nouveaux contours permettant d'adopter les solutions récentes acquises en droit français. / At the outset, the theory of unfair competition In French law was devoted to penalizing professionals who used means which were contrary to the honest commercial customs to lure away their competitor's customers. Over several years, this theory has undergone significant changes. Today, it no longer aims sloley at the protection of the clientele of the victim of unfair competition but also the smooth functioning of the market by regulating the behavior of all the economic operators, whether competitors or not, to ensure equality in competitive practices. Despite its introduction in Jordanian law by the law of unfair competition No. 15 of 2000, the theory of unfair competition remains, according to its strict understanding by the Jordanian doctrine fueled by the present formula of Article 2 of this law, to be confined in a conservative traditional construct. However, the uniformity of the test of unfairness regarding tortious behaviour under the French and Jordanian laws, provides a useful harmonised approach between the two laws, in a way that would allow the Jordanian law to follow the changing regulations intitiated by the French law. Thus, the theory of unfair competition could be modified in new contexts to allow the adoption of new solutions provided by the French law.

Pas de résumé / Doctorat en droit / info:eu-repo/semantics/nonPublished

Dans ce travail de recherche, de nature interdisciplinaire et systémique, nous examinons, après avoir développé dans une première partie quelques notions préliminaires sur l’économie de la connaissance et la société de la connaissance, dans quelle mesure le droit des pratiques anticoncurrentielles, en particulier le droit des ententes, pourrait contribuer, de façon optimale, à la réalisation d’une économie fondée sur la connaissance et l’innovation. À cet effet, nous avons concentré notre étude sur un ensemble d’ententes caractéristiques des marchés innovants, dans lesquelles les droits de la propriété intellectuelle assument un rôle déterminant. / Doctorat en Sciences juridiques / info:eu-repo/semantics/nonPublished

La responsabilité des intermédiaires d'Internet fait débat dans un univers numérique de plus en plus complexe. Les intermédiaires offrent des services en ligne. Ils créent ou facilitent des transactions entre des parties tierces (hébergement, e-commerce, fournisseurs d'accès…). A la fin des années 1990, un consensus s'est établi sur l'instauration d'une responsabilité limitée pour ces acteurs, dans le but de favoriser leur développement ainsi que celui d'Internet par des externalités croisées. Cependant, l'apparition régulière de nouveaux usages a induit des externalités négatives affectant certains agents économiques. La multiplication récente de décisions de jurisprudence parfois contradictoires, en particulier dans le domaine de la propriété intellectuelle, vient désormais remettre en cause cette exemption. Elle fait naître un risque juridique pour les intermédiaires d'Internet. Ces-derniers doivent alors prendre en compte ce nouveau contexte dans leurs modèles d'affaires. Notre recherche étudie les comportements spécifiques que la responsabilité des intermédiaires d'Internet engendre à travers l'exemple de la propriété intellectuelle. En premier lieu nous décrivons l'évolution historique de cette responsabilité. Nous développons ensuite un modèle théorique simple qui explore l'influence du risque légal dans un contexte de concurrence entre un intermédiaire et un ayant droit du copyright. Enfin nous étendons ce modèle de concurrence aux différents comportements de protection que peuvent choisir les intermédiaires. / Internet intermediaries' liability is a rising issue in a more and more complex digital environment. Intermediaries provide online services. They create or facilitate transactions between third parties (hosting, online shops, ISPs...). At the end of the 1990s, a limited liability has been established for these actors with the aim of developing intermediaries and Internet through cross externalities. However, the arrivals of new uses and functions have created negative externalities for some economic agents. The new increase of case law sometimes contradictory, in particular for intellectual property rights, questions this exemption. It creates legal risk for Internet intermediaries. Thus, they have to take into account this new situation in their business models. This thesis studies specific behaviors that Internet intermediaries' liability creates with the example of intellectual property rights. First we describe the historic evolution of this liability. Then we develop a simple theoretical model in order to explore the influence of legal risk when there is competition between an intermediary and a copyright holder. Finally, the model is extended to take into account avoidance activities of Internet intermediaries.