The study addresses the way, according to the author, in which must be resolved the problem of the concurrence of termination events in an administrative contract. It is common that parties attribute non-compliances to each other or the coexistence of termination events with different effects each of them. In these situations, the termination event which must be applied as a matter of priority with its corresponding associated effects must be determined. In this context, it should be pointed out the doctrine of the Spanish Council of the State according to which the termination event occurred before in time is applicable as a priority. However, the author considers that should be taken into account the priority in time regarding the invocation of the termination event («activación») rather than its appearance («aparición»). Thus, the general rule is that termination events may be used by the party of the contract which has not caused them. However, the aforementioned rule does not entail that the party which may invoke a termination event, actually does so (la active), even though the presence of a material circumstance that justifies the existence of the termination event.On this basis, the author concludes that it is the priority in time of the invocation of the termination event [«activación»] (and not of its mere appearance) [y no de la simple «aparición»] which determines the termination event applicable as a priority when several termination events concur. / El estudio aborda la forma en la que, a juicio del autor, hay que resolver el problema de laconcurrencia de causas de resolución sobre un mismo contrato administrativo. Es bastante habitual que las partes se imputen incumplimientos recíprocos, o que coexistan causas de resolución del contrato con efectos distintos cada una de ellas. En tales situaciones, hay que determinar la causa de resolución que debe aplicarse de manera prioritaria, con sus efectos anejos.En este contexto, se alude a la doctrina del Consejo de Estado español, relativa a considerar de aplicación prioritaria la causa de resolución que aparezca antes en el tiempo. Ahora bien, el autor considera que debe atenderse a la prioridad cronológica, no en la «aparición» de la causa de resolución, sino en su «activación». La regla general es que las causas de resolución sean de utilización potestativa por la parte en el contrato que no las provocó; ello se traduce en que aun cuando exista la circunstancia material que justifica la existencia de la causa de resolución, sin embargo ello no significa que quien puede hacerla valer efectivamente la ponga en funcionamiento (la active). Concluye por ello el autor que es la prioridad en el tiempo de la«activación» (y no de la simple «aparición») la que determina la causa de resolución del contratoque deberá aplicarse prioritariamente cuando concurran varias causas de resolución.

The author begins this article focusing on how historically the contract has reached such binding; from its philosophical origins, through his word to a matter of loyalty to Christian morality; to attribute the quality of certainty as contribution to the economy and become an indispensable legal instrument of forecasting for relations between individuals. Finally, in the second part of this article, essential applications mainly include contract between both parties and to third parties, also seeking the role of judge. / El autor inicia el presente artículo centrándose en cómo históricamente el contrato ha alcanzado dicha fuerza obligatoria; desde sus orígenes filosóficos, pasando por la palabra empeñada a una cuestión de fidelidad en la moral cristiana; hasta atribuirle la calidad de certeza como aporte en la economía y convertirse en un instrumento jurídico indispensable de previsión para las relaciones entre los particulares. Finalmente, en la segunda parte de este artículo, destacan principalmente las aplicaciones esenciales del contrato tanto entre las partes como frente a terceros, tratando también el rol del juez.

Pour faire face aux enjeux de santé publique et de protection de l'environnement liés à la gestion des déchets et dans un contexte de raréfaction des matières premières, la création de la responsabilité élargie des producteurs a donné un cadre à la mise en oeuvre du principe pollueur-payeur. Au coeur de ce système, un rôle principal est donné aux éco-organismes, moteurs du développement de l'économie circulaire. La complexité de leur appréhension juridique réside dans l'absence de statut unique et dans leur singularité car ils constituent des sociétés privées à but non lucratif participant à l'exercice d'une mission de service public. Compte tenu de la difficulté de concilier les enjeux économiques et environnementaux dans le secteur des déchets, un système de régulation des éco-organismes apparaît indispensable.Une absence de régulation pourrait aggraver les conflits d'intérêts freinant la politique de recherche et développement que les valorisateurs doivent mettre en oeuvre. Elle pourrait également ralentir la politique d'éco-conception que les producteurs de produits générateurs de déchets doivent mener. De plus, une telle défaillance pourrait conduire à une exacerbation des risques concurrentiels, renforçant le pouvoir de structuration et d'influence des éco-organismes.L'objet de cette étude consiste à proposer des améliorations juridiques de la structure et du fonctionnement des éco-organismes afin de limiter ces risques : nouvelle définition de ces structures grâce au droit administratif, mobilisation du droit des sociétés pour renforcer la prise en compte de l'intérêt général, création d'une autorité de régulation et clarification des responsabilités. / In response to public health and environmental protection challenges related to waste management and in the context of increasing scarcity of raw materials, the creation of the concept of Extended Producer Responsibility (REP) has structured the implementation of the "polluter-pays" principle. At the heart of this system, a leading role has been given to eco-organizations which has driven the development of the circular economy.The difficulty to understand their legal form lies in the absence of a common status and in their singularity as private not-for profit companies involved in the exercise of a public service mission.Given the difficulty of reconciling economic and environmental objectives in the waste industry, a system of regulation of eco-organizations is essential.A lack of regulation could accentuate the risk of conflicts of interest. Such conflicts would negatively limit the research and development policy in the waste recovery industry. They could also slow down the eco-design policy for waste-generating industries. Moreover, such a failure could lead to an exacerbation of competitive risks, reinforcing the power of structuring and influence of eco-organizations.The purpose of this study is to propose legal improvements in the structure and functioning of eco-organizations in order to limit these risks : a new definition of these structures through administrative law, mobilization of company law to reinforce the consideration of the general interest, creation of a regulatory authority and the clarification of the responsibilities incurred.

[pt] O uso de multithreading tem se popularizado como forma de separar a execução de tarefas concorrentes e de alcançar maior desempenho aproveitando melhor o tempo das CPUs. No entanto, a programação com threads não é uma tarefa fácil. O uso dos recursos compartilhados deve ser coordenado, pois o acesso concorrente aos mesmos, na maioria dos casos, gera inconsistência na aplicação. O modelo de desenvolvimento orientado a eventos foi apontado por alguns como uma boa alternativa na criação de aplicações. Nesse modelo, a tarefa é realizada por um ou mais eventos, e um loop principal fica responsável por receber e despachar esses eventos. Investigamos, neste trabalho, um modelo em Lua que combina orientação a eventos com preempção sem trazer de volta os problemas de programação concorrente. Investigamos também como características da linguagem podem ser utilizadas para prover mecanismos de coordenação flexíveis. Essas características podem ajudar, por exemplo, a compor novos mecanismos a partir de existentes. / [en] Multithreading has become popular as a way to organize concurrent tasks and achieve better performance from CPUs. However, programming with threads is not an easy task. Usage of shared resources needs to be coordinated because concurrent access to them, in most cases, may create inconsistency in the application. The event-driven model has been pointed as a good alternative to multithreaded programming. In this model, a task is performed by one or more events, where a main loop is responsible for receiving and dispatching these events. In this work, we investigate a model to combine event-driven and preemption in Lua without bringing back all the concurrent programming problems. We also investigate how the language’s characteristics can be used to provide flexible coordination mechanisms. These characteristics can aid, for example, to create new mechanisms based on the ones already existent.

Les choix éducatifs, et notamment celui de l'accession à l'enseignement supérieur, sont le résultat de processus complexes qui font intervenir des instances de décisions variées (individu/collectivité ; parent/enfant ; système éducatif/établissement d'enseignement supérieur et de recherche) qui elles-mêmes se présentent avec des motivations multiples : gains économiques, recherche de bien-être ou de statut sociale, efficacité ou encore justice sociale. Chacune de ces décisions interdépendantes pèsent sur la création, l'allocation et la distribution des ressources dans une société.Notre contribution est ici de mieux comprendre comment les agents interagissement et de déterminer les conséquences de ces interactions. / Educative choices, and the entry in higher education in particular, result from complex processes which bring in various decision-makers (individual / community; parent / child; education system/higher education institutions) who appear with multiple incentives: economic gains, well-being or social status, efficiency or social justice ; given that each of these interdependent decisions influences the creation, the allocation and the distribution of the resources in a society.Our contribution is to demonstrate how the agents interact and what are the consequences of these interactions.

Les développements récents dans l'organisation du secteur des télécoms, particulièrement en ce qui concerne l'adaptation du cadre réglementaire, soulèvent certaines questions. La première porte sur l'identification d'un mode de régulation permettant d'accompagner le développement de la concurrence, soutenue par les progrès technologiques importants du secteur, et favorisant l'investissement privé. Une seconde question porte sur l'élargissement de la régulation aux pays en développement, marqués par la faiblesse de leur environnement institutionnel. Notre ambition est d'aider à clarifier ces questions qui ne sont pas tranchées sur le plan économique. A travers une analyse, s'appuyant en partie sur la théorie des coûts de transactions, nous arrivons à la conclusion que le mode de régulation qui nous semble le plus adapté au développement des télécoms consiste en une régulation indépendante. La justification de l'intérêt d'une telle régulation aux pays en développement constitue un autre apport de notre travail. Ces orientations sont corroborées, sur le plan empirique, par une analyse qualitative de l'expérience de quelques pays en développement et par une analyse économétrique. Nos résultats, issus de données portant sur 19 pays de l'OCDE durant la période 1992-2001, révèlent la place capitale d'une régulation indépendante pour le développement des télécoms. Les effets de cette indépendance se manifestent plus précisément sur la concurrence, l'investissement, la couverture téléphonique et la tarification / Recent developments in the organisation of telecommunications, especially concerning regulatory frameworks, raise some questions. The first one concerns what regulatory model would be able to sustain competition, favoured by the rapid technological progress, and attract private investment. The second one concerns the implementation of regulation in developing countries, characterized by a weak institutional environment. We intend to clarify this controversy issues. Using a transaction costs framework, we conclude for the need of an independent regulation. We also emphasize the importance of the establishment of such regulation in developing countries. This is corroborated by an empirical research. Beyond a qualitative analysis on the cases of some developing countries, the effectiveness of regulation is analysed through econometric studies. Using a dataset of 19 OCDE countries during 1992-2001, our results reveal the efficiency of an independent regulation to the development of telecommunications. The beneficial impacts of this regulation's model appear on the competition, investment, telephonic penetration and pricing

Les autorités communautaires ont toujours eu une approche très pragmatique du droit, utilisant ce dernier comme un outil afin d4atteindre les objectifs de l4Union européenne et notamment la réalisation du marché intérieur. La thèse examine le cas particulier du marché de la pièce de rechange automobile et propose une évaluation des moyens mis en oeuvre sur ce secteur. L'étude s'articule alors autour de deux grands principes : la nécessité de renforcer la concurrence sur lemarché et la limitation progressive des droits de propriété intellectuelle sur ces produits.De par son importance tant économique que sociétale, le marché automobile s'est vu traité spécifiquement par le droit communautaire de la concurrence. Au sein de ce secteur, le marché de la pièce de rechange automobile jouit d'un régime particulier depuis le règlement d'exemption catégorielle n° 1400/2002 ; et la rédaction du nouveau règlement n'a fait que réaffirmer avec force la singularité de ce marché. Ainsi, alors que le marché des véhicules neufs revient, après plus d'unquart de siècle, au sein du régime général, le marché secondaire maintient son statut particulier dans le règlement n° 461/2010.De plus, le marché présente une autre particularité avec les pièces de rechange visibles (carrosserie, lanternerie, etc.) qui bénéficient, en France, d'un cumul de protection au titre du droit des dessins et modèles et du droit d'auteur. Ces droits assurent un monopole de droit et de fait aux constructeurs automobiles. Il serait donc nécessaire d'admettre et de tendre vers leur limitation pour assurer laréalisation du marché. / The European authorities have always had a very pragmatic approach to law, using it as a tool to achieve the goals of the European Union, such as the completion of the internal market. This thesis discusses the specific situation of the automotive spare parts market and assesses the resources deployed for this sector. This study is thus grounded on two main principles: the need to reinforce the competition within the market and the gradual limitation of intellectual property rights on thoseproducts.Due to its economic and social importance, the automobile sector has had special treatment under community competition law. Within this sector, the spare parts market has been separately regulated since block exemption regulation n° 1400/2002; and the draft of the new regulation only reaffirmed the specificity of the market. As a result, the new vehicle market has been reintegrated, after over a quarter century, into the general arrangement, while the secondary market maintains its specific status pursuant to regulation n° 461/2010.Furthermore, this market presents another distinctive characteristic shared by the visible spare parts market (bodywork, headlights, etc.) which benefits, in France, from the dual protection of industrial design right and copyright. Those rights ensure car manufacturers a de jure and de facto monopoly. One should therefore acknowledge them and work toward limiting them in order to complete the internal market.

Cette thèse présente 4 articles de recherche qui étudient les relations entre la structure de marché, la concurrence, la régulation et les investissements dans les réseaux de télécommunications. Les réseaux de télécommunications nécessitent des investissements réguliers et importants. Ces investissements sont essentiels pour incorporer le progrès technique dans le réseau et ont une influence importante sur la croissance et l’emploi . C’est pourquoi la question des incitations à investir revêt une importance particulière. Le premier article étudie les relations entre la régulation ( tarif de la charge d’accès au réseau cuivre, taux d’accès cuivre vendu en gros) et les taux de pénétration des différentes technologies (cuivre, fibre optique et câble). Il montre qu’une régulation trop favorable au cuivre, diminue les incitations à investir et peut donc ralentir le développement des autres technologies et en particulier les technologies de nouvelle génération. Le deuxième article étudie la relation entre les investissements dans la téléphonie mobile et les prix moyens du trafic (en mégaoctet). Il montre que ledéveloppement du trafic est lié aux investissements et au progrès technique. Un investissement régulier produit une croissance exponentielle du trafic. Il montre aussi que la baisse des prix unitaires du mégaoctet est principalement due à la croissance du trafic et donc aux investissements. Le troisième étudie la relation entre la marge et l’investissement des opérateurs de téléphonie mobile. Il met en évidence une rupture de comportement des opérateurs en fonction de leur niveau de marge. Il montre aussi qu’il existe un niveau d’investissement qui maximise le profit. Ce niveau d’investissement dépend de la structure du marché et de la demande des consommateurs. Lorsque la marge des opérateur est suffisante, le niveau d’investissement maximisant le profit est atteint, dans le cas contraire, l’investissement est plus faible ce qui ralentit l’incorporation du progrès technique dans le réseau, la croissance du trafic et finalement la baisse des prix de mégaoctet au détriment des consommateurs. Le quatrième étudie empiriquement de manière précise la relation entre le taux de marge et l’investissement dans la téléphonie mobile. Il met en évidence une relation en U inversé. L’investissement maximum est atteint pour un taux de marge de 37,2%. Un modèle théorique complète cette étude et montre que le progrès technique, c’est-à-dire la réponse à l’investissement en terme d’utilité pour les consommateurs, joue un rôle important dans la forme de la relation entre marge et investissement. Lorsque le progrès technique est faible, la relation est monotone et décroissante. Laprobabilité d’avoir une relation en U inversé augmente avec le progrès technique et lorsque la relation est en U inversé, le sommet de la courbe se déplace vers des niveaux de marge plus élevés. / This thesis presents four research papers studying the relationship between market structure, competition, regulation and investment in telecommunications networks. Telecommunications networks require regular and substantial investments. These investments are essential to incorporate the technical progress in the network and have a large impact on growth and employment. This is why the issue of investment incentives is especially important. The first paper examines the relationship between regulation (price of the access charge to legacy network, copper wholesale access share) and penetration of different technologies (copper, optical fiber and cable). It shows that a regulation which is too favorable to copper, decreases incentives to invest in other technologies and may slow down their development , especially the new generation technologies. The second paper examines the relationship between investment in mobile telephony and the average prices of the traffic (in megabytes). It shows that traffic growth depends on investments and technical progress. Regular investment yields an exponential growth of traffic. It also shows that the fall in average prices of the megabyte is mainly due to traffic growth and therefore investment. The third paper examines the relationship between margin and investment of mobile telephony operators. It shows a break in operators behavior based on their level of profit margin. It also shows that there is a level of investment that maximizes profit. This level of investment depends on the structure of the market and consumers’ demand. When the margin of the operator is sufficient, the level of investment to maximize profit is reached, otherwise, the investment is lower which slows down the incorporation of technical progress in the network, traffic growth and ultimately the fall in megabyte prices to the detriment of consumers. The fourth paper empirically examines precisely the relationship between the rate of margin (margin/revenues) and investment in mobile telephony. It highlights an inverted U-shaped relationship. The maximum investment is achieved for a 37.2% rate of margin. A theoretical model complements this study and shows that technical progress, that is to say, the response to the investment in terms of usefulness to consumers, plays an important role inshaping the relationship between the rate of margin and investment. When technical progress is weak, the relationship ismonotonic and decreasing. The likelihood of having an inverted U relationship increases with technological progress andwhen the relationship is inverted U, the peak of the curve shifts to higher rates of margin.

Les compilateurs modernes constituent des programmes complexes, réalisant de nombreuses optimisations afin d'améliorer la performance du code généré. Du fait de cette complexité, des bugs y sont régulièrement détecté, conduisant à l'introduction de nouveau comportement dans le programme compilé. En réaction, il est aujourd'hui possible de prouver correct, dans des assistants de preuve tels que Coq, des compilateurs optimisants pour des langages tels que le C ou ML. Transporter un tel résultat pour des langages haut-niveau tels que Java est néanmoins encore hors de portée de l'état de l'art. Ceux-ci possèdent en effet deux caractéristiques essentielles: la concurrence et un environnement d'exécution particulièrement complexe.Nous proposons dans cette thèse de réduire la distance vers la conception d'un tel compilateur vérifié en nous concentrant plus spécifiquement sur la preuve de correction d'un glaneur de cellules concurrent performant. Ce composant de l'environnement d'exécution prend soin de collecter de manière automatique la mémoire, en lieu et place du programmeur. Afin de ne pas générer un ralentissement trop élevé à l'exécution, le glaneur de cellules doit être extrêmement performant. Plus spécifiquement, l'algorithme considéré est dit «au vol»: grâce à l'usage de concurrence très fine, il ne cause jamais d'attente active au sein d'un fil utilisateur. La preuve de correction établit par conséquent que malgré l'intrication complexe des fils utilisateurs et du collecteur, ce dernier ne collecte jamais une cellule encore accessible par les premiers. Nous présentons dans un premier temps l'algorithme considéré et sa formalisation en Coq dans une représentation intermédiaire conçue pour l'occasion. Nous introduisons le système de preuve que nous avons employé, une variante issue de la logique «Rely-Guarantee», et prouvons l'algorithme correct. Raisonner simultanément sur l'algorithme de collection et sur l'implantation des structures de données concurrentes manipulées générerait une complexité additionnelle indésirable. Nous considérons donc durant la preuve des opérations abstraites: elles ont lieu instantanément. Pour légitimer cette simplification, nous introduisons une méthode inspirée par les travaux de Vafeiadis et permettant la preuve de raffinement de structures de données concurrentes dites «linéarisables». Nous formalisons l'approche en Coq et la dotons de solides fondations sémantiques. Cette méthode est finalement instanciée sur la principale structure de données utilisée par le glaneur de cellules. / Modern compilers are complex programs, performing several heuristic-based optimisations. As such, and despite extensive testing, they may contain bugs leading to the introduction of new behaviours in the compiled program.To address this issue, we are nowadays able to prove correct, in proof assistants such as Coq, optimising compilers for languages such as C or ML. To date, a similar result for high-level languages such as Java nonetheless remain out of reach. Such languages indeed possess two essential characteristics: concurrency and a particularly complex runtime.This thesis aims at reducing the gap toward the implementation of such a verified compiler. To do so, we focus more specifically on a state-of-the-art concurrent garbage collector. This component of the runtime takes care of automatically reclaiming memory during the execution to remove this burden from the developer side. In order to keep the induced overhead as low as possible, the garbage collector needs to be extremely efficient. More specifically, the algorithm considered is said to be ``on the fly'': by relying on fine-grained concurrency, the user-threads are never caused to actively wait. The key property we establish is the functional correctness of this garbage collector, i.e. that a cell that a user thread may still access is never reclaimed.We present in a first phase the algorithm considered and its formalisation in Coq by implementing it in a dedicated intermediate representation. We introduce the proof system we used to conduct the proof, a variant based on the well-established Rely-Guarantee logic, and prove the algorithm correct.Reasoning simultaneously over both the garbage collection algorithm itself and the implementation of the concurrent data-structures it uses would entail an undesired additional complexity. The proof is therefore conducted with respect to abstract operations: they take place instantaneously. To justify this simplification, we introduce in a second phase a methodology inspired by the work of Vafeiadis and dedicated to the proof of observational refinement for so-called ``linearisable'' concurrent data-structures. We provide the approach with solid semantic foundations, formalised in Coq. This methodology is instantiated to soundly implement the main data-structure used in our garbage collector.

Après les médicaments génériques, copies de médicaments d’origine chimique, c’est désormais le marché des médicaments biologiques qui s’ouvre à la concurrence de « copies » avec les bio-similaires. De nombreuses incertitudes demeurent concernant l’essor de ce marché aujourd’hui émergent et la capacité des bio-similaires à entrer en compétition avec les autres bio-médicaments innovants.Comme dans le cas des génériques, l’objectif avec les bio-similaires est d’assurer un accès optimal et équitable des patients à des traitements aussi efficaces et sûrs d’utilisation que leurs médicaments de référence, mais à des coûts sensiblement moindres. Suite à l’analyse des premières expériences avec ces produits dans l’Union européenne et au Japon, des limites des politiques mises en place pour encourager leur utilisation et des écueils au développement de ce marché, nous proposons des recommandations pour la construction d’une politique des bio-similaires ambitieuse et cohérente en France. / After generics, which are copies of chemical medicines, "copies" of already patented biologics (biosimilars) are entering the biologics market and competing with their originators. Many uncertainties remain regarding the development of this newly emerging market, and the ability of biosimilars to compete with other innovative biologics. As in the case of generics, the objective with biosimilars is to ensure optimal and equitable patient access to treatment as effective and safe to use as their originators, but at significantly lower costs. Following the analysis of the first experiences with these products in the European Union and Japan, we have noted the limits of existing policies to encourage their use as well as noting pitfalls in the development of this market. To remedy these problems, we make recommendations for the construction of an ambitious and coherent policy for biosimilars in France.