[pt] Apesar da pesquisa contínua para facilitar a programação de redes de sensores sem fio, a análise de perigos de concorrência ainda é de responsabilidade do programador, que deve tratar manualmente de questões como sincronização e memória compartilhada. Nós apresentamos uma linguagem de sistema que garante concorrência segura tratando ameaças em tempo de compilação. A fundamentação estática e síncrona da nossa abordagem permite um raciocínio mais simples sobre questões de concorrência, permitindo uma análise em tempo de compilação que garante programas determinísticos. Como contra-partida, nosso modelo impõe em termos da expressividade da linguagem, tais como para efetuar cálculos demorados, ou atender prazos estritos em tempo real. Nós implementamos diversos protocolos de rede conhecidos e o driver para rádio CC2420 para mostrar que a expressividade e responsividade obtida com a linguagem é suficiente para uma gama considerável de aplicações para redes de sensores. As implementações mostram uma redução de tamanho de código, com um aumento de memória abaixo de 10 porcento em comparação com nesC. O uso da linguagem proposta implica em diversas propriedades de segurança que se baseiam em abstrações de controle de alto nível, também resultando em código mais conciso e legível. / [en] Despite the continous research to facilitate Wireless Sensor Networks development, most safety analysis and mitigation efforts in concurrency are still left to developers, who must manage synchronization and shared memory explicitly. We propose a system language that ensures safe concurrency by handling threats at compile time, rather than at runtime. The synchronous and static foundation of our design allows for a simple reasoning about concurrency that enables compile-time analysis resulting in deterministic and memory-safe programs. As a trade-off, our design imposes limitations on the language expressiveness, such as doing computationally-intensive operations and meeting hard real-time responsiveness. To show that the achieved expressiveness and responsiveness is sufficient for a wide rage of WSN applications, we implement widespread network protocols and the CC2420 radio driver. The implemetations show a reduction in source code size, with a penalty of memory increase below 10 percent in comparison to nesC. Overall, we ensure safety properties for programs relying on high-level control abstractions that also lead to concise and readable code.

Vérifier formellement des programmes concurrents est une tâche difficile. S’il existe différentes techniques pour la réaliser, très peu sont effectivement mises en oeuvre pour des programmes écrits dans des langages de programmation réalistes. En revanche, les techniques de vérification formelles de programmes séquentiels sont utilisées avec succès depuis plusieurs années déjà, et permettent d’atteindre de hauts degrés de confiance dans nos systèmes. Cette thèse propose une alternative aux méthodes d’analyses dédiées à la vérification de programmes concurrents consistant à transformer le programme concurrent en un programme séquentiel pour le rendre analysable par des outils dédiés aux programmes séquentiels. Nous nous plaçons dans le contexte de FRAMA-C, une plate-forme d’analyse de code C spécifié avec le langage ACSL. Les différentes analyses de FRAMA-C sont des greffons à la plate-forme, ceux-ci sont à ce jour majoritairement dédiés aux programmes séquentiels. La méthode de vérification que nous proposons est appliquée manuellement à la vérification d’un code concurrent issu d’un hyperviseur. Nous automatisons la méthode à travers un nouveau greffon à FRAMA-C qui permet de produire automatiquement, depuis un programme concurrent spécifié, un programme séquentiel spécifié équivalent. Nous présentons les bases de sa formalisation, ayant pour but d’en prouver la validité. Cette validité n’est valable que pour la classe des programmes séquentiellement consistant. Nous proposons donc finalement un prototype de solveur de contraintes pour les modèles mémoire faibles, capable de déterminer si un programme appartient bien à cette classe en fonction du modèle mémoire cible. / Formal verification of concurrent programs is a hard task. There exists different methods to perform such a task, but very few are applied to the verification of programs written using real life programming languages. On the other side, formal verification of sequential programs is successfully applied for many years, and allows to get high confidence in our systems. As an alternative to dedicated concurrent program analyses, we propose a method to transform concurrent programs into sequential ones to make them analyzable by tools dedicated to sequential programs. This work takes place within the analysis framework FRAMA-C, dedicated to the analysis of C code specified with ACSL. The different analyses provided by FRAMA-C are plugins to the framework, which are currently mostly dedicated to sequential programs. We apply this method to the verification of a concurrent code taken from an hypervisor. We describe the automation of the method implemented by a new plugin to FRAMAC that allow to produce, from a specified concurrent program, an equivalent specified sequential program. We present the basis of a formalization of the method with the objective to prove its validity. This validity is admissible only for the class of sequentially consistent programs. So, we finally propose a prototype of constraint solver for weak memory models, which is able to determine whether a program is in this class or not, depending on the targeted hardware.

Comparison of approaches to the issue of the concurrence of the performance of the function of a member of the statutory body and the employment relationship in commercial corporations in the French and Czech legal order The possibility of concurrence of the performance of the function of a member of the statutory body and the employment relationship within one company is traditionally non regulated by Czech legal order. The solution is based on case law which, due its rigorous approach and poorly developed argumentation, does not offer neither clear answer to the question, nor the sufficient level of legal certainty. The thesis aims to analyse the approaches to the issue of the concurrence and its solution in France and the Czech Republic respectively, compare this approaches and propose possible adjustments in the approach of Czech justice to the issue, regarding the decision of the Czech Constitutional court from 13th September 2016, no. I. ÚS. 190/15. The thesis is divided into four parts. First part defines the basic legal notions in context of the legal orders of both countries. In the second and third part are described both approaches to the issue of concurrence of the performance of the function of a member of the statutory body and the employment relationship in France and the Czech...

Le régime d'autorisation est traditionnellement présenté comme un instrument depolice institué dans le but d'éviter que l'exercice de certaines libertés ne trouble l'ordre public. De cette fonction du régime d'autorisation se déduisent les principaux caractères de l'acte d'autorisation, acte unilatéral de police, précaire et incessible. Chacun de ces caractères se trouve cependant partiellement démenti par certaines évolutions du droit positif, en particulier par le phénomène de patrimonialisation qui touche un nombre croissant d'autorisations. Jusqu'à présent, ces évolutions n'ont été appréhendées que comme des exceptions à des principes dont la prétention à la généralité valait encore. L'ampleur de ces évolutions invite cependant à douter de la pérennité d'une telle présentation. L'objet de cette recherche est de montrer que ces évolutions sont la conséquence de ladiversité fonctionnelle du régime d'autorisation. En effet, le régime d'autorisation n'est pas nécessairement un instrument de police. Il est également utilisé comme un moyen soit de répartir l'accès à une ressource rare, soit d'organiser l'exercice d'une activité d'intérêt général. Cette diversité fonctionnelle du régime d'autorisation donne naissance à des catégories d'autorisations, catégories qui, une fois ordonnées, forment une typologie. Cette approche plurielle permet de comprendre pourquoi les autorisations répondent à des régimes juridiquesdifférents. / The authorisation scheme is traditionally presented as a policing system. From thisfunction of the authorisation scheme one can deduce the principal characteristics of the authorisation, unilateral police decision, precarious and untransferable. However, each of these characteristics is refuted by certain developments of substantive law, particularly by the phenomenon of patrimonialisation which affects an increasing number of authorisations. Until now, these developments have only been understood as exceptions to well-established principles. However, the scope of these developments casts doubt on the durability of such a way of seeing.The objective of this research is to show that these developments are the consequence of the functional diversity of the authorisation scheme. The authorisation scheme is not necessarily a policing system. It is also used as a means to allocate resources or to organise an activity of general interest. The functional diversity of the authorisation scheme gives rise to several categories of authorisations, categories that once organised form a typology. This pluralapproach makes it possible to understand why the authorisations operate under different legal frameworks.

A Constituição Federal Brasileira de 1988, primeiro texto constitucional após o regime militar no país, é um texto plural, pleno de significados e ambivalências, resultado de um esforço na busca de consensos em uma assembleia constituinte heterogênea num país democraticamente jovem. A abrangência de significados da Magna Carta precisa, portanto, a fim de ser aplicada às realidades também plurais e heterogêneas de um país enorme como o Brasil, ser interpretada à luz dessas mesmas realidades, sempre situadas e datadas. Nesse diapasão, a dedução dogmática da esfera legítima da atuação estatal no domínio econômico só pode ser apreendida através da técnica ponderativa, levando em conta o fato da constituição econômica encravada no texto da Lei Maior estabelecer como regra o desenvolvimento da atividade econômica pela livre iniciativa da sociedade. Sob o signo da emancipação da sociedade e da liberdade de empreender por um lado, e da obrigação do Estado garantir as condições da liberdade e do posicionamento estratégico do Brasil no cenário geopolítico e econômico mundial de outro, serão relidas as modalidades interventivas estatais como a prestação de serviços públicos, as atuações monopolistas e em regime de concorrência com a iniciativa privada, produzindo um quadro com as condições que justifiquem a presença do Estado na economia, servindo de guia dinâmico para a elucidação das fronteiras sempre contingentes entre as esferas pública e privada no domínio econômico. / The Brazilian Federal Constitution of 1988, first constitutional text after the military regime in the country, is a plural text, full of meanings and ambivalences, as the result of an effort for consensus in a heterogeneous constitutional parliament in a democratically young country. The abrangency of meanings of the Chart need, thus, in order to be applied to the also plural and heterogeneous realities of an enormous country such Brazil, to be interpreted in light of these very realities, always situated and dated. In consonance, the dogmatic deduction of the legitimate sphere of state actuation in the economic dominium can only be apprehended through the balancing technique, taking into account the fact that the economic constitution embedded in the constitutional text stipulates, as the rule, the development of economic activity by the private free initiative. Under the sign of emancipation of society and free enterprise on the one hand, and of the States obligations to ensure conditions of freedom, economic development and strategic positioning of Brazil in the geopolitical and economic world on the other, should be considered the state interventives modalities such as public services, monopolist actuation and in concurrence with private initiative, composing a frame with the conditions that legitimate the state presence in the economy, serving as a dynamic guide for the elucidation of the frontiers, always contingent, between the public and private spheres in the economic dominium.

Cette thèse étudie le développement du système financier chinois. Elle dévoile des aspects nouveaux du développement du système financier sur la dernière décennie. Globalement, les résultats montrent que les progrès réalisés vers un système efficient demeurent contrastés. Le premier chapitre montre que le marché obligataire des entreprises non financières est toujours sous influence du gouvernement. Sur la base de cet élément, il est peu probable d’espérer une baisse de la domination du secteur bancaire sur le système financier. Le second chapitre montre que la gouvernance d’entreprise interne reste imparfaite. En analysant les fluctuations des prix des actions au moment de l’annonce d’un changement de P-DG, nous trouvons que le type de propriété de l’entreprise joue une influence majeure sur les conséquences d’une telle décision. Le troisième chapitre révèle que peu de progrès ont été faits en termes de concurrence au sein du secteur bancaire malgré le nombre de nouveaux entrants sur le marché. Cependant, les banques se comportent de façon plus efficiente sur la décennie. Il ne semble pas exister d’arbitrage entre les bénéfices d’une plus grande concurrence et l’efficience du système bancaire en Chine. Le quatrième chapitre montre les effets bénéfiques de la nouvelle réglementation sur les exigences en capital des banques chinoises en termes d’efficience bancaire. Les exigences en capital, en plus de fournir des coussins en capital supplémentaires, apparaissent réduire l’aléa moral entre les actionnaires des banques et leurs créanciers. / This dissertation analyzes the development of the Chinese financial system from different perspectives. It has shed light on the recent advancements of the last decade. Overall, the findings reveal a contrasted picture of the progress achieved towards an efficient system. Chapter 1 has shown that the corporate bond market is still impeded by government influence. Based on this evidence, it is thus very unlikely to expect the banking system to decrease its dominance on the financial system. Chapter 2 also stressed that internal governance mechanisms remain imperfect. By analyzing the market price fluctuations at the time of the announcement of a CEO turnover, we find that ownership type plays a major influence on the expected consequences of such a decision. Chapter 3 revealed that little progress has been made in terms of banking competition despite the increasing number of new entrants in the market. However, banks behaved more efficiently over the decade. No trade-off seems to exist for policy-makers between the benefits of lower banking prices and efficiency of the system. Chapter 4 finally showed the beneficial effects of the capital requirement regulation on bank efficiency in China. Capital requirements, in supplement to provide higher capital buffers, appear to lower moral between banks’ shareholders and debtholders.

Cette recherche s'intéresse à la modélisation des éco-industries et aux propriétés qui leurs sont généralement attribuées. Précisément, mettre l'accent sur les éco-industries requiert de faire des suppositions dont les conséquences ne sont pas triviales. Ce travail détaille ces conséquences ainsi que la pertinence de certaines. Le premier chapitre considère des éco-industries polluantes, alors que l'analyse économique sur ce sujet assume généralement que les biens et services environnementaux suppriment les polluants. Ce chapitre montre le mécanisme par lequel le marché distribue une activité aux éco-industries en fonction de leur technologie. Le deuxième chapitre enquête sur les limites à supposer une allocation de pollution positive à la solution optimale alors qu'une élimination complète serait possible. L'exemple de l'amiante montre qu'il existe des situations où la pollution-zéro est préférable à un niveau positif. Ce chapitre montre sous quelles conditions ce postulat est vrai. Le troisième travail se concentre sur la notion de services environnementaux. Ce chapitre montre que ceux-ci sont parfaitement substituables aux autorisations de polluer. L'Etat peut donc sélectionner le prix des services environnementaux et il devient possible d'établir une allocation optimale des ressources même en présence de compétition imparfaite. Enfin, le dernier chapitre détaille une supposée fusion entre un pollueur et son fournisseur de biens et services environnementaux. Il montre les répercussions de la fusion sur une firme non-intégrée et amène une discussion sur la différence entre réduction de la pollution en procédé-intégré ou en bout-de-chaîne. / This research focuses on the modeling of ecoindustries and the properties commonly assigned to them. Precisely, highlighting ecoindustries requires the making of some assumptions with nontrivial consequences. This work uncovers these consequences as well as the adequacy of some of them.The first chapter considers polluting ecoindustries, although economic analysis on the subject generally assumes that environmental goods and services suppress the pollutants. This chapter shows mechanisms through which the market distributes economic activity to ecoindustries according to their technology.The second chapter investigates the limits of supposing a positive pollution allocation at the optimal solution although complete suppression is feasible. The example of asbestos shows that there are situations in which zero-pollution is preferred to a positive amount. The chapter shows the conditions under which this hypothesis is true.The third work focuses on the concept of environmental services. This chapter shows that environmental services and pollution allowances are perfect substitutes, then the government can decide on their prices so that it is possible to decentralize a first-best allocation of resources even in the presence of imperfect competition.Finally, the last chapter details a fictional fusion between a polluter and its environmental goods and services supplier. It shows the consequences of such fusion on an unintegrated firm and opens a discussion on the difference between process-integrated and end-of-pipepollution abatement.

La puissance d'achat est appréhendée par le droit européen comme un pouvoir de marché entraînant des effets pro et anticoncurrentiels sur le marché intérieur. Les dispositions de droit positif concernant les pratiques restrictives de concurrence et les concentrations d'une part, ainsi que les abus de domination d'autre part, correspondent à deux hypothèses d'appréhension de la puissance d'achat par le droit de la concurrence. Si les premières relèvent d'une logique structurelle tempérée, les abus de domination obéissent à une logique ordo- structurelle forte teintée d'un élément subjectif afférent au comportement. Dans le premier cas, la puissance d'achat est considérée comme nocive pour la concurrence si son degré est trop important. Dans le second cas, elle est présumée nocive et réprimée si elle est exercée abusivement. Les objectifs de politique concurrentielle européenne de protection de l'efficience globale de marché et les outils normatifs afférents témoignent toutefois d'une approche limitative de la puissance d'achat. Les lois actuelles démontrent certaines faiblesses dans l'appréhension de la puissance d'achat, celle-ci dépassant les situations monopso- ou oligopsonistiques et s'exprimant notamment comme pouvoir de marché relatif. Les modifications législatives proposées dans le sens d'une appréhension de la puissance d'achat dans ses différentes acceptions économiques pourraient toutefois permettre de protéger utilement l'ensemble des acteurs économiques concernés sans se limiter au consommateur final. / European law considers buyer power as a market power able to create pro and anticompetitive effects on the internal market. Buyer power is concerned by the application of competition law in cases of anticompetitive pratices and mergers on the one hand and abuse of dominance on the other hand which differents economic logics. Rules about anticompetitive practices and mergers focuse on the buyer power's degree which define pro and anticompetitive effects. Rules about abuse of dominance focuse on the abuse of a dominant buyer and assume anticompetitive effects. The assessment of buyer power under competition law is substantially influenced by the general competition policy concept which is aimed at maximising consumer welfare. Competition law considers buyer power predominantly as an absolute market power and not in the form of bargaining power exercised bilaterally vis-à-vis individual suppliers. Nevertheless european existing law is not able to consider all situations of buyer power. Monopolistic or oligopolistic situations do not reflect the reality of buyer power which also significate a relative market power. It seems that proposed legislative modifications aiming to consider the economic reality of buyer power on the entire market could lead to a better protection of all concerned competitors and not only the end consumer. / Das europäische Recht tendiert dazu Nachfragemacht als Marktmacht aufgrund ihrer wettbewerbspositiven und -negativen Effekten auf dem Binnenmarkt zu erfassen. Die Nachfragemacht im europäischen Recht wird zum einen durch das Kartellrecht, die Fusionskontrolle und zum anderen durch die Missbrauchskontrolle erfasst. Diese Normen entsprechen alle einer wettbewerbspolitischen Orientierung, können jedoch aufgrund ihrer jeweiligen Wettbewerbssysteme unterschieden werden. Zum einem erfassen das Kartellrecht und die Fusionskontrolle die Nachfragemacht als Marktmacht, die aufgrund ihres Grades positive und negative Auswirkungen auf die Marktstruktur bewirken kann. Zum anderen wird die Nachfragemacht aber auch vom europäischen Missbrauchsverbot erfasst. Es wird anders als im Kartellrecht oder bei der Fusionskontrolle nicht ermittelt, inwiefern Nachfragemacht den Wettbewerb möglicherweise schädigt, sondern ob der Wettbewerb wegen der Ausnutzung dieser Marktmacht geschädigt wird. Jedoch erfassen die europäischen Rechtsnormen den ökonomischen Ansatz der Nachfragemacht auch anhand des Monopsonmodell nur teilweise und stellen deshalb eine begrenzte juristische Analyse dieses Phänomens dar. Dabei schliesst das europäische wettbewerbspolitische Leitbild den Schutz bilateraler Verhältnisse aus seinem Anwendungsbereich aus wohlfahrtsneutralen Gründen aus. In diesem Sinne wird Nachfragemacht prinzipiell als absolute Marktmacht definiert. In der Weise einer vereinfachten aber zugleich wirksamen Erfassung von Nachfragemacht durch das europäische Recht könnten jedoch die vorgeschlagenen Änderungen der aktuellen Rechtsnormen zu einem umfassenden Schutzes aller Marktteilnehmer führen.

L'objectif de ce travail est d'analyser l'impact de l'intégration européenne sur les systèmes nationaux de politiques fiscales. La concurrence fiscale internationale, inhérente à l'internationalisation croissante des économies, induit une course au moins disant fiscal. Ce type de stratégies, que nous nommons « darwinisme institutionnel », pose la question de la convergence des systèmes fiscaux vers un modèle unique non satisfaisant pour chaque économie. C'est encore plus vrai à l'échelle de l'Union européenne : alors que les effets externes de l'intégration poussent, en théorie, à l'harmonisation, nous constatons une absence de convergence depuis 2001. En l'absence de théories de la concurrence fiscale aptes à rendre compte de la nature complexe de l'ensemble des phénomènes fiscaux en Europe, et afin de mieux prendre en compte les ressorts dynamiques de la fiscalité, notre travail propose une grille de lecture de l'hétérogénéité fiscale européenne. Notre étude élabore une typologie des différents « modèles » fiscaux et institutionnels existants, évalués à six : continental développé, scandinave, libéral, continental en développement, micro-insulaire et oriental en transition. Sur la base de cette typologie, nous établissons des correspondances, pour chacun des États européens, entre leur modèle d'économie de marché et le type de structure fiscale. De plus, nos résultats mettent en avant que l'appartenance à un de ces modèles n'explique pas les différences de performances financières. Enfin, leur analyse en dynamique (1995-2007) nous conduit à caractériser les évolutions de ces différents modèles comme un phénomène de polymorphisme fiscal européen, où leur hétérogénéité n'a eu de cesse de s'accentuer sur la période considérée. Par conséquent, pour que chaque État-membre puisse suivre sa trajectoire institutionnelle tout en minimisant les effets externes résultant de stratégies nationales non-coopératives, il apparaît que le renforcement d'une coordination européenne des politiques fiscales est nécessaire au niveau des clubs de convergence définis à l'échelle des modèles fiscaux identifiés. / This thesis analyzes the impact of European integration on national tax policies. The international tax competition, inherent to the growing internationalization of economies, induces a tax race to the bottom. Such strategies, which we call “institutional Darwinism”, raise the question of the convergence of tax systems into an unsatisfactory single model for each economy. This is especially true across the EU: while the external effects of integration lead, in theory, to harmonization, we can see a lack of convergence since 2001. In the absence of tax competition theories able to report the complex nature of all tax phenomenon in Europe, and to be able to better take into account the dynamic spring of taxation, our work offers an interpretative framework of the European tax heterogeneity. Our study develops a typology of six tax “models” and institutional frameworks: Developed Continental, Scandinavian, liberal, developing continental, micro-insular and Oriental in transition. On the basis of this typology, we establish correspondences for each of all the European states, between their market economy model and their type of tax structure. Furthermore, our results highlight that, to belong to one of those models, does not explain the difference in their financial performance. Finally, they dynamic analysis (1995-2007) leads us to characterize the evolution of those models as European tax polymorphism, where their heterogeneity has continued to grow over the considered period. Therefore, if each member state wants to follow its institutional trajectory while minimizing external effects resulting from national non-cooperative strategies, it appears that the reinforcement of the European coordination of tax policies appears to be needed at the convergence club level, which is defined scale of the identified tax “models”.

Ce travail propose une géographie-historique des dynamiques du tourisme en Pyrénées, au regard de la situation dans les Alpes et notamment dans les Alpes du Nord. À partir du postulat constructiviste, il s'agit de traiter comment les dynamiques de projet en Pyrénées imitent, concurrencent, ou se détachent du modèle alpin, c'est-à-dire interroger la présence d'un rapport de domination entre ces territoires socialement constitués. Conjointement, il s'agit d'apporter contribution à l'étude des rapports entre le mouvement Olympique et les nouvelles pratiques sportives développées à l'origine en opposition au sport moderne de compétition: surf, BMX, skateboard, escalade, vol libre, VTT, canyoning… une situation heuristique pour observer les liens géographiques, sociologiques et historiques entre tourisme, sport et loisir.À la suite d'une première partie de thèse qui revisite la période 1741-1990 ; une seconde partie détaille le cas du programme transfrontalier "Pyrénées: Laboratoire de l'Olympisme" dont les Jeux Pyrénéens de l'Aventure 1993 en France et en Espagne restent l'une des principales réalisations. Il s'agit d'étudier l'organisation, les acteurs et les implications politiques de ce programme. La discussion finale tente de comprendre notamment à partir du concept de stéréotype transposé en géographie, les difficultés des Pyrénées dans le champ du tourisme et contribue à une géographie cognitive à la fois culturelle et sociale. / This thesis proposes an historical geographical study of tourism dynamics in the Pyrenees, taking account of the situation in the Alps, particularly in the Northern Alps. Based upon the constructivist postulate, this work studies how the dynamics of the project in the Pyrenees imitate, compete with, or differ from the Alpine model; that is to say, it examines the presence of a domination relationship between these socially formed territories.Furthermore, the thesis offers a contribution to the study of relationships between the Olympic movement and new sports such as surfing, BMX, skateboarding, climbing, paragliding, canyoning and mountain biking, all of which were originally developed in opposition to modern sports. This provides a heuristic approach to observing the geographical, sociological and historical relationships between tourism, sport and leisure.Following the first part of the thesis that revisits the period 1741-1990, the second part details the case of the cross-border programme "Pyrénées: Laboratoire de l'Olympisme" in which the Pyrenean Adventure Games 1993, hosted by France and Spain, remain one of the main achievements. This part studies the organisation, the actors and the policy implications of this programme. The final discussion attempts to understand the difficulties of the Pyrenees in the field of tourism, particularly by using the concept of stereotype (adapted to geography) and contributes towards a cognitive geography which is both cultural and social.