La thèse porte sur l'effet de politiques publiques visant à agir sur le fonctionnement concurrentiel des marchés, en traitant une question de politique de la concurrence et une question de régulation sectorielle. La première partie de la thèse porte sur le contrôle des concentrations : elle examine tout d'abord les effets des concentrations sur les prix des biens produits, avant de rendre endogène la décision de l'autorité de concurrence. Un premier article examine si l'un des objectifs justifiant l'existence d'un contrôle de la concurrence - l'amélioration du surplus des consommateurs - est bien atteint en pratique dans le cas du contrôle des concentrations, par l'estimation empirique de l'effet des concentrations sur les prix des biens et services vendus dans les secteurs concernés, à partir de données françaises multisectorielles. Dans un deuxième article, la prise de décision d'une autorité de concurrence est examinée, par une analyse empirique des déterminants des avis du Conseil de la concurrence en matière de concentration. La seconde partie de la thèse porte sur un problème de régulation : comment les restrictions à la libre entrée sont valorisées par les acteurs présents sur le marché, du fait des profits anticipés, et quels sont les déterminants de cette valeur. Cette question est examinée dans deux situations : tout d'abord, la valorisation des fréquences du " dividende numérique ", qui sont libérées par l'extinction de la diffusion analogique de la télévision ; ensuite, la valeur d'une licence de taxi, dont l'élasticité au nombre de licences attribuées est estimée.

" Ici, les viticulteurs se cachent pour mourir... " témoigne en 2011 le président de la chambre régionale d'agriculture du Languedoc-Roussillon. Notre travail de thèse s'intéresse aux choix stratégiques et aux comportements concurrentiels des (très) petites entreprises dans le contexte d'une industrie vitivinicole en crise de la région Languedoc-Roussillon. Nous avons alors constaté qu'il existe très peu de travaux de recherche sur l'identification des stratégies suivies par les petites entreprises dans des industries en crise. Dans notre cadre conceptuel, nous nous attacherons donc à identifier des travaux proches concernant les stratégies dans les secteurs en déclin ou en dérégulation, dans l'hypercompétition ou encore dans divers contextes économiquement difficiles. Plus précisément, notre recherche tentera d'apporter des éléments de réponse face aux interrogations toutes en lien avec un contexte de crise caractérisé par une raréfaction des ressources et une baisse importante des performances. Quels sont les comportements adoptés par les petites entreprises et comment expliquer les différents niveaux de performance observés au sein d'un seul et même contexte de crise ? Des liens existent-ils entre les choix stratégiques des petites entreprises et leurs performances économiques ? Quels sont les déterminants, notamment managériaux, des succès et des échecs de ces stratégies ? Pour conduire cette recherche, nous avons procédé à une phase qualitative exploratoire afin d'affiner nos propositions de recherche issues de la littérature. Nous avons alors formulé des hypothèses de recherche que nous avons testées avec SPSS lors d'une phase quantitative et à partir de questionnaires interrogeant, sur la période 2000 à 2007, les comportements adoptés par 160 caves particulières de la région. Concernant nos résultats descriptifs, ils montrent que les petites entreprises cherchent leur salut dans des stratégies de spécialisation et de différenciation plutôt que dans des stratégies de coûts bas. Nos résultats mettent aussi en évidence que la recherche d'informations et la prospection sont des pratiques qui améliorent la performance de la petite entreprise en contexte de crise. Ces pratiques sont elles-mêmes renforcées par la réactivité et la recherche d'indépendance du dirigeant. Par là-même, nos résultats soulignent l'impact du dirigeant sur la performance de la petite entreprise, plus particulièrement à travers sa capacité à comprendre les nouvelles formes de pression concurrentielle ou encore du fait de sa propension à rechercher une forme d'indépendance, notamment financière, en contexte de crise.

Dans la littérature que la Stratégie d'Entreprise consacre au thème de la coopération, la nécessité, pour comprendre le management stratégique des alliances entre firmes, de disposer d'une typologie, à la fois solidement fondée au plan théorique et rigoureusement validée au plan empirique, apparaît comme essentielle. La recherche présentée dans cette thèse a pour objectif de répondre à cette question en étudiant les alliances stratégiques entre firmes concurrentes, sous l'angle du rapport de rivalité/association qui s'instaure entre les partenaires. Elle repose sur l'hypothèse qu'indépendamment des décisions que prendront les entreprises alliées au cours de leur partenariat, il existe des facteurs, présents et observables dès les origines de l'accord, qui conditionnent fortement la dynamique d'une alliance. Ces facteurs sont identifiés à l'aide de l'analyse des études empiriques existantes, ainsi que de celle d'approches théoriques essentiellement liées à la stratégie d'entreprise et à l'économie des coûts de transaction. A partir du traitement statistique d'une base de données originale, il apparait que ces facteurs initiaux peuvent être résumés en trois composantes principales: la symétrie des positions des alliés, l'altération de la concurrence entre partenaires, et la structure organisationnelle de l'alliance. Il est également montré que les accords étudiés peuvent, sur la base de ces dimensions, être regroupés en trois types homogènes et distincts: Les alliances additives, les alliances d'intégration conjointe, et les alliances complémentaires. Le lien entre l'appartenance d'une alliance à un des types identifiés et la dynamique de cette alliance est exploré au moyen d'études de cas. Ainsi, un modèle permettant de cerner le "champ des possibles" en termes de dynamique et d'évolution à venir est proposé pour chaque grande catégorie de partenariat entre concurrents

Une des phases essentielles dans l'analyse de la structure d'un marché est d'établir une mesure des relations entre les marques. Cette recherche a pour objectif d'étudier la validité de plusieurs mesures de la relation entre marques qui ont été proposées dans la littérature. La recherche comporte deux parties. Dans la première, après avoir proposé une méthodologie pour l'analyse de la structure des marchés, nous présentons les concepts qui sont liés indirectement (Situation d'Usage, Recherche de Variété, Modèles de choix) ou directement (Substituabilité, Concurrence, Définition des Marchés) au domaine de l'analyse de la structure des marchés. Nous présentons ensuite un panorama exhaustif des modèles d'analyse des relations entre marques, modèles qui procèdent à partir de données de jugement ou données de comportement des consommateurs. Dans la deuxième partie, nous nous centrons sur l'étude de la concurrence entre les marques à partir de données de comportement. La recherche est menée sur les données du panel SCAN 5000 de la société Nielsen, pour quatre marchés de produits de consommation fréquente. Nous considérons dans cette recherche que la concurrence entre deux marques est un concept théorique non observable et que, par conséquent, les mesures qui ont été proposées dans la littérature n'en sont que des opérationnalisations particulières. Pour apprécier la validité de ces mesures nous utilisons les techniques qui ont été développées en Psychométrie (la théorie de la mesure) et appliquées à la mesure de phénomènes psychologiques ou sociologiques. Nous proposons en outre une mesure de la concurrence permettant de prendre en compte la non-symétrie des relations de concurrence et possédant les propriétés d'une distance. D'autre part, nous étudions l'influence de plusieurs variables (Revenu, CSP, Quantité Consommée, Taille du Foyer, Point de Vente, Période d'observation) sur la mesure de la concurrence

Contribuer à l’élaboration d’un concept européen commun de service public implique de dégager, dans une perspective historique, les principales convergences et divergences dans la construction quatre secteurs d'activités (police, éducation obligatoire, distribution d’eau et assainissement, transports collectifs), dans six pays (Allemagne, Angleterre, Belgique, Italie, France, Espagne et Suède). Si chaque pays a ses spécificités historiques et culturelles, ils ont tous été confrontés à des problèmes et enjeux analogues, auxquels ils ont apporté des réponses comparables. De l’étude monographique de la construction sociale des différents services publics étudiés, il est possible de repérer la constitution de mondes d’objets matériels et symboliques, notamment juridiques similaires, ainsi qu’une histoire sociale tendanciellement commune. L’institutionnalisation juridique de services publics accessibles à toutes les catégories de la population a nécessité une intervention publique massive. Dans ce processus, se dégagent des constantes de l’encadrement juridique, quelles que soient les époques et les lieux, tant dans la maîtrise publique de l’établissement des services (décisions préalables d’habilitation, déterminations de conditions de réalisation, concours financier public), que dans leur exploitation (fixations d’obligations envers le public, réglementation des modalités de financement, moyens de surveillance et contrôle). Des variantes apparaissent également qui dépendent davantage des époques que des secteurs d'activité ou des pays. Elles portent essentiellement sur le degré d’intervention publique directe dans la fourniture des services et sur le degré de concurrence effective dans les secteurs de service. Ces différents éléments constituent les composantes d’un concept commun européen, appréhendé dans sa complexité. Les profondes transformations en cours impulsées par l’orientation néolibérale de l’Union européenne posent la question du devenir de ce concept commun. / The aim of this thesis is to contribute to the elaboration of a common European concept of public service. Adopting an historical perspective, this research tries to identify the main similarities and differences in the processes of construction of four areas of activity - police, compulsory education, water supply and sanitation, and public transports - in seven countries: Belgium, England, France, Germany, Italy, Spain, and Sweden. Even though each country has its own historical and cultural specificities, they have all faced analogous problems and issues and they have brought similar responses. Relying on monographic studies of social and historical construction of various public services, we may describe the formation of worlds of very different material and symbolic social "objects", including legal ones, through a relatively similar social history. The legal institutionalization of public services available to everyone has required massive public intervention. Whatever the times, areas, and countries, constants of legal regulation have emerged. They relate to public control of the establishment of services (preliminary empowerment decisions, definitions of conditions of implementation, public financial supports), as well as to their operation (institutions of obligations towards the public, regulation of financing, introduction of monitoring and control means). Variants have also appeared. They are more often linked to historical than national or sectorial contexts. These variants mainly relate to the degree of direct public intervention in the provision of services and to the degree of effective competition in the service sectors. The various constant elements are the core component of a common European concept of public service defined in all its complexity. The deep ongoing transformations driven by European Union's neoliberal orientations raise questions about the future of this concept.

L'Analyse des Données Fonctionnelles (ADF) est une branche de la statistique qui est de plus en plus utilisée dans de nombreux domaines scientifiques appliqués tels que l'expérimentation biologique, la finance, la physique, etc. Une raison à cela est l'utilisation des nouvelles technologies de collecte de données qui augmentent le nombre d'observations dans un intervalle de temps.Les jeux de données fonctionnelles sont des échantillons de réalisations de fonctions aléatoires qui sont des fonctions mesurables définies sur un espace de probabilité à valeurs dans un espace fonctionnel de dimension infinie.Parmi les nombreuses questions étudiées par l'ADF, la régression linéaire fonctionnelle est l'une des plus étudiées, aussi bien dans les applications que dans le développement méthodologique.L'objectif de cette thèse est l'étude de modèles de régression linéaire fonctionnels lorsque la covariable X et la réponse Y sont des fonctions aléatoires et les deux dépendent du temps. En particulier, nous abordons la question de l'influence de l'histoire d'une fonction aléatoire X sur la valeur actuelle d'une autre fonction aléatoire Y à un instant donné t.Pour ce faire, nous sommes surtout intéressés par trois modèles: le modèle fonctionnel de concurrence (Functional Concurrent Model: FCCM), le modèle fonctionnel de convolution (Functional Convolution Model: FCVM) et le modèle linéaire fonctionnel historique. En particulier pour le FCVM et FCCM nous avons proposé des estimateurs qui sont consistants, robustes et plus rapides à calculer par rapport à d'autres estimateurs déjà proposés dans la littérature.Notre méthode d'estimation dans le FCCM étend la méthode de régression Ridge développée dans le cas linéaire classique au cadre de données fonctionnelles. Nous avons montré la convergence en probabilité de cet estimateur, obtenu une vitesse de convergence et développé une méthode de choix optimal du paramètre de régularisation.Le FCVM permet d'étudier l'influence de l'histoire de X sur Y d'une manière simple par la convolution. Dans ce cas, nous utilisons la transformée de Fourier continue pour définir un estimateur du coefficient fonctionnel. Cet opérateur transforme le modèle de convolution en un FCCM associé dans le domaine des fréquences. La consistance et la vitesse de convergence de l'estimateur sont obtenues à partir du FCCM.Le FCVM peut être généralisé au modèle linéaire fonctionnel historique, qui est lui-même un cas particulier du modèle linéaire entièrement fonctionnel. Grâce à cela, nous avons utilisé l'estimateur de Karhunen-Loève du noyau historique. La question connexe de l'estimation de l'opérateur de covariance du bruit dans le modèle linéaire entièrement fonctionnel est également traitée. Finalement nous utilisons tous les modèles mentionnés ci-dessus pour étudier l'interaction entre le déficit de pression de vapeur (Vapour Pressure Deficit: VPD) et vitesse d'élongation foliaire (Leaf Elongation Rate: LER) courbes. Ce type de données est obtenu avec phénotypage végétal haut débit. L'étude est bien adaptée aux méthodes de l'ADF. / Functional data analysis (FDA) is a statistical branch that is increasingly being used in many applied scientific fields such as biological experimentation, finance, physics, etc. A reason for this is the use of new data collection technologies that increase the number of observations during a time interval.Functional datasets are realization samples of some random functions which are measurable functions defined on some probability space with values in an infinite dimensional functional space.There are many questions that FDA studies, among which functional linear regression is one of the most studied, both in applications and in methodological development.The objective of this thesis is the study of functional linear regression models when both the covariate X and the response Y are random functions and both of them are time-dependent. In particular we want to address the question of how the history of a random function X influences the current value of another random function Y at any given time t.In order to do this we are mainly interested in three models: the functional concurrent model (FCCM), the functional convolution model (FCVM) and the historical functional linear model. In particular for the FCVM and FCCM we have proposed estimators which are consistent, robust and which are faster to compute compared to others already proposed in the literature.Our estimation method in the FCCM extends the Ridge Regression method developed in the classical linear case to the functional data framework. We prove the probability convergence of this estimator, obtain a rate of convergence and develop an optimal selection procedure of theregularization parameter.The FCVM allows to study the influence of the history of X on Y in a simple way through the convolution. In this case we use the continuous Fourier transform operator to define an estimator of the functional coefficient. This operator transforms the convolution model into a FCCM associated in the frequency domain. The consistency and rate of convergence of the estimator are derived from the FCCM.The FCVM can be generalized to the historical functional linear model, which is itself a particular case of the fully functional linear model. Thanks to this we have used the Karhunen–Loève estimator of the historical kernel. The related question about the estimation of the covariance operator of the noise in the fully functional linear model is also treated.Finally we use all the aforementioned models to study the interaction between Vapour Pressure Deficit (VPD) and Leaf Elongation Rate (LER) curves. This kind of data is obtained with high-throughput plant phenotyping platform and is well suited to be studied with FDA methods.

[pt] Cada vez mais os aparelhos móveis estão se aperfeiçoando, com aumentos em suas capacidades de processamento e memória. Essa tendência acaba tornando o processamento móvel uma alternativa interessante. Este trabalho visa explorar esse mundo mobile e o seu potencial através do paralelismo, tanto localmente, na forma de exploração multicore, quanto distribuida, na forma de exploração multidispositivo. Exploramos isto através de uma biblioteca de paralelismo da linguagem de programação Lua, chamada Luaproc. Propomos um novo modelo de comunicação para esta biblioteca, para incluir esse cenário multidispositivo e combinar as facilidades de um serviço de enfileiramento de mensagens com o suporte para paralelismo já existente. Apresentamos algumas aplicações da biblioteca desenvolvida, avaliando sua utilização e desempenho em diferentes cenários. / [en] Mobile devices are undergoing constant increases in their processing and memory capabilities. This tendency is making mobile processing an interesting alternative. This work aims to support the programmer in exploring this potential by using parallelism, both local, in the form of multicore exploitation, as well as distributed, in the form of multidevice exploration. We explored this through a parallel library for the Lua programming language, called Luaproc. We propose an extension to this library and its communication model, to include this multidevice scenario and combine the facilities of a message queuing service with the existing facilities for multicore programming. We then present some applications to show different use cases with distribution and their performance.

La programmation orientée langage (Language-Oriented Programming – LOP) préconise l’utilisation de langages de modélisation dédiés exécutables (eXecutable Domain-Specific Modeling Languages – xDSMLs) pour la conception, le développement, la vérification et la validation de systèmes hautement concurrents. De tels systèmes placent l’expression de la concurrence dans les langages informatiques au coeur du processus d’ingénierie logicielle, par exemple à l’aide de formalismes dédiés appelés modèles de concurrence (Models of Concurrency – MoCs). Ceux-ci permettent une analyse poussée du comportement des systèmes durant les phases de vérification et de validation, mais demeurent complexes à comprendre, utiliser, et maîtriser. Dans cette thèse, nous développons et étendons une approche qui vise à faire collaborer l’approche LOP et les MoCs à travers le développement de xDSMLs dans lesquels la concurrence est spécifiée de façon explicite (Concurrency-aware xDSMLs). Dans de tels langages, on spécifie l’utilisation systématique d’un MoC au niveau de la sémantique d’exécution du langage, facilitant l’expérience pour l’utilisateur final qui n’a alors pas besoin d’appréhender et de maîtriser l’utilisation du MoC choisi.Un tel langage peut être raffiné lors de la phase de déploiement, pour s’adapter à la plateforme utilisée, et les systèmes décrits peuvent être analysés sur la base du MoC utilisé. / Language-Oriented Programming (LOP) advocates designing eXecutable Domain-Specific Modeling Languages (xDSMLs) to facilitate the design, development, verification and validation of modern softwareintensive and highly-concurrent systems. These systems place their needs of rich concurrency constructs at the heart of modern software engineering processes. To ease theirdevelopment, theoretical computer science has studied the use of dedicated paradigms for the specification of concurrent systems, called Models of Concurrency (MoCs). They enable the use of concurrencyaware analyses such as detecting deadlocks or starvation situations, but are complex to understand and master. In this thesis, we develop and extend an approach that aims at reconciling LOP and MoCs by designing so-called Concurrencyaware xDSMLs. In these languages, the systematic use of a MoC is specified at the language level, removing from the end-user the burden of understanding or using MoCs. It also allows the refinement of the language for specific execution platforms, and enables the use of concurrency-aware analyses on the systems.

Le concept de réversibilité est ancien, mais il soulève de nos jours beaucoup d'intérêt. Il est en effet exploité dans de nombreux domaines tels que la conception de circuits, le débogage et le test de programmes, la simulation et l'informatique quantique. L'idée d'un modèle de programmation réversible peut se montrer particulièrement intéressante pour la construction de systèmes sûrs de fonctionnement, ne serait-ce que parce que plusieurs techniques connues pour la construction de tels systèmes exploitent une forme ou une autre de retour en arrière ou de reprise. Nous poursuivons dans cette thèse l'étude entreprise avec CCS réversible par Vincent Danos et Jean Krivine, en définissant un pi-calcul d'ordre supérieur réversible (rhopi). Nous prouvons que le modèle obtenu est causalement cohérent, et que l'on peut encoder fidèlement rhopi dans une variante du pi-calcul d'ordre supérieur. Nous définissons également une primitive de reprise à grain fin qui permet de contrôler le retour en arrière dans une exécution concurrente. Nous spécifions formellement la sémantique de cette primitive, et nous montrons qu'elle possède de bonnes propriétés, y compris en présence d'opérations de reprise concurrentes. Enfin nous définissons un algorithme concurrent implantant cette primitive de reprise et ous montrons que cet algorithme respecte la sémantique définie. / Reversible computing has a long history. Nowadays, reversible computing is attracting increasing interest because of its potential applications in diverse fields, including hardware design, biological modelling, program debugging and testing and quantum computing. Of particular interest is the application of reversible computation notions to the study of programming abstractions for dependable systems, because several techniques used to build dependable systems rely on some forms of undo or rollback. We continue, in this thesis, the study undertaken on reversible CCS by Vincent Danos and Jean Krivine, by defining a reversible higher-order pi-calculus (rhopi). We prove that reversibility in our calculus is causally consistent and that one can encode faithfully rhopi into a variant of HOpi. Moreover we design a fine-grained rollback primitive able to control the rollback of a concurrent execution. We give a formal specification of this primitive and show that it enjoys good properties, even in presence of concurrent conflicting rollbacks. We then devise a concurrent algorithm implementing such primitive and show that the algorithm respects the defined semantics.

Dans cette thèse nous étudions l’isolation mémoire et les mesures de communications efficaces par passage de message dans le contexte des environnements à mémoire partagée et la programmation orientée-objets. L’état de l’art en la matière se base presque exclusivement sur deux techniques complémentaires dites de propriété des objets (ownership) et d’unicité de références (reference uniqueness) afin d’adresser les problèmes de sécurité dans les programmes concurrents. Il est frappant de constater que la grande majorité des travaux existants emploient des méthodes de vérification statique des programmes, qui requirent soit un effort d’annotations soit l’introduction de fortes contraintes sur la forme et les références vers messages échangés. Notre contribution avec SIAAM est la démonstration d’une solution d’isolation réalisée uniquement à l’exécution et basée sur le modèle de programmation par acteurs. Cette solution purement dynamique ne nécessite ni annotations ni vérification statique des programmes. SIAAM permet la communication sans copie de messages de forme arbitraire. Nous présentons la sémantique formelle de SIAAM ainsi qu’une preuve d’isolation vérifiée avec l’assistant COQ. L’implantation du modèle de programmation pour le langage Java est réalisé dans la machine virtuelle JikesRVM. Enfin nous décrivons un ensemble d’analyses statiques qui réduit automatiquement le cout à l’exécution de notre approche. / In this thesis we study state isolation and efficient message-passing in the context of concurrent object-oriented programming. The ’ownership’ and ’reference uniqueness’ techniques have been extensively employed to address concurrency safety in the past. Strikingly the vast majority of the previous works rely on a set of statically checkable typing rules, either requiring an annotation overhead or introducing strong restrictions on the shape and the aliasing of the exchanged messages.Our contribution with SIAAM is the demonstration of a purely runtime, actor-based, annotation-free, aliasing-proof approach to concurrent state isolation allowing efficient communication of arbitrary objects graphs. We present the formal semantic of SIAAM, along with a machine-checked proof of isolation. An implementation of the model has been realized in a state-of-the-art Java virtual-machine and a set of custom static analyses automatically reduce the runtime overhead.