Cette thèse est consacrée au calcul des solutions formelles d'un système différentiel linéaire méromorphe dans un voisinage de l'origine de c de la forme y(z)=a(z)y(z). Il est bien connu qu'une matrice fondamentale de solutions s'écrit formellement sous forme h(z)=f(z)g(z), ou f(z) est une série formelle en racine de z et g(z) est une matrice de fonctions élémentaires qui constituent des exponentiels polynomiaux en racine de z#1, puissance complexe de z##1, et puissance entière positive de log z. H. L. Turrittin et w. Wasow ont propose une methode algorithmique pour calculer h(z). Cette methode coute chére en calcul. Devant ce fait, nous proposons une nouvelle approche algorithmique pour trouver h(z). Cette approche a l'avantage d'utiliser des transformations simples et moins couteuses en calcul. De plus, notre approche permet de calculer le plus grand degré des polynômes exponentiels qui se trouvent dans la matrice g(z). En pratique, les systèmes a deux dimensions sont importants. Dans ce cas, nous proposons une methode programmable, inspirée de l'approche générale précédente pour calculer les solutions au voisinage d'une singularité

Nous étudions les semi-groupes de matrices avec des points de vue variés qui se re-coupent. Le point de vue de la croissance s'avère relié à un point de vue géométrique : nous avons partiellement généralisé aux semi-groupes un théorème de Patterson-Sullivan-Paulin sur les groupes, qui donne l'égalité entre exposant critique et dimension de Hausdorff de l'ensemble limite. Nous obtenons cela dans le cadre général des semi-groupes d'isométries d'un espace Gromov-hyperbolique, et notre preuve nous a permis d'obtenir également d'autres résultats nouveaux. Le point de vue informatique s'avère également relié à la croissance, puisque la notion de semi-groupe fortement automatique, que nous avons introduit, permet de calculer les exposants critiques exactes de semi-groupes de développement en base β. Et ce point de vue donne également beaucoup d'autres informations sur ces semi-groupes. Cette notion de croissance s'avère aussi reliée à des conjectures sur les fractions continues telles que celle de Zaremba. Et c'est en étudiant certains semi-groupes de matrices que nous avons pu démontrer des résultats sur les fractions continues périodiques bornées qui permettent de petites avancées dans la résolution d'une conjecture de McMullen.

De nos jours, la notion de responsabilité dans un système distribué est devenue quasiment incontournable dans les techniques de détection de fautes. Elle permet non seulement de détecter les fautes mais aussi de fournir des preuves de dysfonctionnement contre les noeuds fautifs dans un système distribué. Les noeuds dits rationnels, c'est-à-dire des noeuds qui essayent de tirer profit du système en maximisant leur bénéfice sans y contribuer en, sont un exemple.Dans la littérature, il existe deux types de solutions exploitant cette notion : les solutions spécifiques et les solutions génériques.Les solutions spécifiques sont relatives à un type de système distribué donné et se construisent en tenant compte de la structure du système et de l'application qui s'y exécute. Les solutions génériques quant à elles, sont indépendantes du système.Dans cette thèse nous nous intéressons au second type de solutions c'est à dire les solutions génériques. Dans cette classe de solutions, il existe deux approches pour mettre en place la notion de responsabilité : l'approche matérielle et l'approche logicielle.Actuellement le seul protocole logiciel, générique qui permet d'assurer la notion de responsabilité dans un système distribué, est le protocole PeerReview.Ce protocole n'est basé sur une aucune configuration matérielle. Cependant, il n'est pas robuste aux comportements dits rationnels au sein de ses propres étapes.Notre objectif est de fournir une solution logicielle sous-jacente renforçant la notion de responsabilité au niveau d'une application qui s'exécute sur un système distribué en présence de noeuds rationnels.Pour ce faire nous proposons FullReview un protocole qui se base sur la théorie des jeux pour motiver et forcer les noeuds rationnels à suivre les différentes étapes, non seulement au niveau de son propre protocole mais aussi au niveau de l'application qu'il surveille. En outre, FullReview utilise l'architecture classique d'un système responsable, qui associe à chaque noeud un ensemble de noeuds appelés moniteurs ou surveillants, et ayant un rôle de surveillance périodique du noeud en question.Nous prouvons théoriquement que notre protocole est un équilibre de Nash, c'est-à-dire que les noeuds rationnels n'ont aucun intérêt à dévier du protocole.Ce genre de protocole étant coûteux en terme d'échanges de messages, nous nous sommes intéressés à l'étude théorique des différentes techniques de gestion des moniteurs ou surveillants.L'objectif de cette étude est d'identifier les conditions sur les paramètres du protocole pour lesquelles une méthode de gestion convient mieux qu'une autre.De plus nous évaluons notre protocole en l'appliquant à deux applications largement utilisées : SplitStream, un protocole efficace pour la multi-diffusion de flux vidéo et Onion Routing, le protocole de communication anonyme le plus utilisé. Les résultats montrent que FullReview détecte efficacement les comportements rationnels avec un faible surcoût comparé au protocole PeerReview et passe à l'échelle comme ce dernier. / Accountability is becoming increasingly required in today's distributed systems. It allows not only to detect faults but also to build provable evidence about the misbehaving nodes in a distributed system. Rational nodes that aim at maximising their benefit without contributing their fair share to the system, are an example. In the literature, there exists two types of solutions that exploit accountability: specific solutions and generic solutions.Specific solutions are related to a given type of distributed system and are built by taking into account the structure of the system and the running application. As for generic solutions, they are independent to the system.In this thesis we consider the second type of solutions i.e., generic solutions. There exists two approaches in this class of solutions: hardware approach and software approach. Nowadays the only software and generic protocol that allows to enforce accountability in a distributed system is PeerReview protocol. This protocol is not based on any hardware configuration. However, it is not robust to rational behaviour in its own steps.Our objective is to provide a generic software solution to enforce accountability on any underlying application that running on a distributed system in presence of rational nodes.To reach this goal we propose FullReview a protocol that uses game theory to motivate and force rational participants to follow different steps, not only in its own protocol but also in the application that it monitors. Moreover FullReview uses the classical architecture of an accountable system. This architecture assigns to each node in the system, a set of nodes called monitors. Periodically each node is monitored by its set of monitors.We theoretically prove that our protocol is a Nash equilibrium, i.e., nodes do not have any interest in deviating from it.This kind of protocol being costly in terms of messages exchanged, we are interested to the theoretic study of different techniques of monitors management. The objective of this study is to identify conditions on protocol parameters for which a method of management is more appropriate than another.Furthermore, we practically evaluate FullReview by deploying it for enforcing accountability in two applications: (1) SplitStream, an efficient multicast protocol for live streaming, and (2) Onion Routing, the most widely used anonymous communication protocol. Performance evaluation shows that FullReview effectively detects faults in presence of rational nodes while introducing a small overhead compared to PeerReview and scaling as PeerReview.

La problématique migratoire dans l’ultrapériphérie de l’Union européenne constitue un angle d’approche peu commun dans les études européennes. Espace de réflexion et de concertation qui cherche constamment à s’affirmer, l’ultrapériphérie européenne s’est, pour la première fois de son existence, penchée sur la thématique des flux migratoires. L’intérêt de cette situation sans précédent s’est confirmé lorsque la Commission européenne a officiellement décidé à travers sa communication du 12 septembre 2007 [COM(2007)507] intitulée « Stratégie pour les régions ultrapériphériques : bilan et perspectives », de prêter attention à la situation des régions ultrapériphériques (RUP) face au phénomène d’immigration. Si la plupart des travaux en la matière concernent les espaces nationaux ou transnationaux, rares sont ceux qui traitent d’un espace transrégional aussi éclaté géographiquement et dans sa composition juridico-institutionnelle.L’objet de la thèse porte ainsi sur la problématisation migratoire dans l’ultrapériphérie et l’étude de la fenêtre d’opportunité déclenchée par la communication de 2007. Ce qu’il s’agit d’observer, ce sont les conséquences de cette inscription à l’agenda européen pour l’espace ultrapériphérique sur cette thématique, à savoir la forme d’un processus d’élaboration d’un référentiel européen ultrapériphérique. Pour cela, il est nécessaire de comprendre les paramètres nationaux, régionaux, européens et ultrapériphériques qui englobent cet évènement.Cette étude de politiques publiques prend pour point de départ la notion d’européanisation définie de façon interactionnelle, et débouche sur un cadre théorique basé sur la Théorie du choix rationnel et l’Approche cognitive et normative. A l’aide de la méthode comparative, elle tente de confronter deux régions ultrapériphériques sélectionnées à cet effet : une région française, la Guadeloupe, et une région espagnole, les Iles Canaries. Deux archipels aux réalités juridiques, politiques et sociales différentes, ayant manifesté une inquiétude au sujet du phénomène d’immigration sur leur territoire dans la période précédant la prise en charge de 2007.L’analyse a mis en avant l’enchevêtrement de niveaux d’action publique assez complexe auquel sont confrontées ces régions. La diversité au sein de l’ultrapériphérie complique l’élaboration de bases communes au sujet de la question migratoire. Un processus d’européanisation directe dans l’ultrapériphérie a bien été lancé en 2007, mais reste à développer.L’objectif de la thèse est donc d’apporter des réponses aux difficultés observées, en menant une analyse assez précise de l’évènement de 2007. La démarche s’effectue en deux temps. D’une part, une analyse des paramètres internes (nationaux et régionaux) pouvant conditionner le processus étudié. D’autre part, un décryptage des racines conceptuelles et des premières observations de terrain pour comprendre la teneur du processus. / TraductionDésactiver la traduction instantanéeMigration into the outermost regions of the European Union is an angle unusual approach in European studies. Space for reflection and dialogue that constantly seeks to assert, Outermost Europe has for the first time in its existence, addressed the theme of migration. The advantage of this unprecedented situation is confirmed when the European Commission formally decided through its communication of 12 September 2007 [COM (2007) 507] entitled "Strategy for the outermost regions: achievements and perspectives", pay attention the situation of the outermost regions (OR) face to the immigration phenomenon. If most of the work on the subject relate to national or transnational, few areas are those that deal with cross-regional space also broke geographically and in its legal and institutionnelle.L'objet composition of the thesis and deals with migration in problematisation outermost regions and the study of the window of opportunity triggered by the communication of 2007. what is observed, it is the consequences of this inscription on the European agenda for the outermost space on this theme , namely as a process of developing a European outermost repository. For this it is necessary to understand the national parameters, regional, European and outermost encompassing évènement.Cette this policy study takes as its starting point the notion of Europeanization set of interactional way, and results in a theoretical framework based on Theory of rational choice and cognitive and normative approach. Using the comparative method, she tries to confront two outermost regions selected for this purpose: a French region, Guadeloupe, and one in Spain, the Canary Islands. Two archipelagos legal realities, different political and social, have expressed a concern about the phenomenon of immigration on their territory in the period preceding the care 2007.L'analyse highlighted the tangle of levels rather complex prosecution faced by these regions. The diversity of the outermost regions complicates the common foundations for development on the migration issue. A direct Europeanization process in the outermost regions has been launched in 2007, but remains développer.L'objectif of the thesis is to provide answers to the difficulties observed, leading a fairly accurate analysis of the event 2007. The process is carried out in two stages. On the one hand, an analysis of internal parameters (national and regional) that can condition the studied process. On the other hand, a decryption conceptual roots and the first field observations to understand the content of the process

On s'intéresse, dans cette thèse, à des questions concernant le nombre maximum de points rationnels d'une courbe singulière définie sur un corps fini, sujet qui, depuis Weil, a été amplement abordé dans le cas lisse. Cette étude se déroule en deux temps. Tout d'abord on présente une construction de courbes singulières de genres et corps de base donnés, possédant un grand nombre de points rationnels : cette construction, qui repose sur des notions et outils de géométrie algébrique et d'algèbre commutative, permet de construire, en partant d'une courbe lisse X, une courbe à singularités X', de telle sorte que X soit la normalisée de X', et que les singularités ajoutées soient rationnelles sur le corps de base et de degré de singularité prescrit. Ensuite, en utilisant une approche euclidienne, on prouve une nouvelle borne sur le nombre de points fermés de degré deux d'une courbe lisse définie sur un corps fini.La combinaison de ces résultats, à priori indépendants, permet notamment d'étudier le problème de savoir quand la borne d'Aubry-Perret, analogue de la borne de Weil dans le cas singulier, est atteinte. Cela nous amène de façon naturelle à l'étude des propriétés des courbes maximales et, lorsque la cardinalité du corps de base est un carré, à l'analyse du spectre des genres de ces dernières. / In this PhD thesis, we focus on some issues about the maximum number of rational points on a singular curve defined over a finite field. This topic has been extensively discussed in the smooth case since Weil's works. We have split our study into two stages. First, we provide a construction of singular curves of prescribed genera and base field and with many rational points: such a construction, based on some notions and tools from algebraic geometry and commutative algebra, yields a method for constructing, given a smooth curve X, another curve X' with singularities, such that X is the normalization of X', and the added singularities are rational on the base field and with the prescribed singularity degree. Then, using a Euclidian approach, we prove a new bound for the number of closed points of degree two on a smooth curve defined over a finite field.Combining these two a priori independent results, we can study the following question: when is the Aubry-Perret bound (the analogue of the Weil bound in the singular case) reached? This leads naturally to the study of the properties of maximal curves and, when the cardinality of the base field is a square, to the analysis of the spectrum of their genera.

La GPEC se construit de plus en plus à l’échelle territoriale. Des acteurs institutionnels d’horizons divers et des entreprises de taille variable réfléchissent et travaillent ensemble pour mettre en place des actions qui répondent aux problématiques liées à l’emploi, à la formation, et aux compétences. Ces démarches se font tantôt à « chaud », tantôt à « froid » selon les circonstances, les territoires et les acteurs. L’extension de l’échelle de construction de la GPEC de l’entreprise au territoire peut se justifier par la prise en compte de plusieurs facteurs : internes ou externes aux entreprises, politiques, conjecturaux, socio-économiques, etc. Ainsi à travers des volontés convergentes, de multiples acteurs ambitionnent de lever les limites et insuffisances consubstantielles à la GPEC d’entreprise en recourant à une GPEC-Territoriale. Cette nouvelle approche de construction et d’analyse de la GPEC pose néanmoins des interrogations. Parmi celles-ci, nous avons réfléchi, à cinq questions : comment faire travailler ensemble les acteurs ? Quel diagnostic permet de fédérer les acteurs autour de la GPEC-Territoriale ? Comment se construit cette GPEC-Territoriale en termes de phasage ? Comment les acteurs se mettent-ils d’accord sur la construction et le contenu des actions de la GPEC-Territoriale ? Comment mobiliser les acteurs dans de telles démarches collectives ? Ces questions sont issues de la question principale de notre recherche : quel est le processus de construction d’une GPEC-Territoriale impliquant des acteurs institutionnels et des entreprises ? Nous avons abordé et discuté ces questions sur la base de données empiriques collectées dans deux cas : la GPEC-Territoriale dans la Communauté de communes du Cher à la Loire et la GPEC-Territoriale dans la filière Bois dans le département du Loir-et-Cher. Ces données sont collectées à partir d’observations, d’entretiens qualitatifs, d’études quantitatives et documentaires. Les théories de l’interaction, de la traduction, du choix rationnel et de la mobilisation nous ont servi de grille d’analyse. Au croisement de ces approches et de ces analyses, il en est ressorti que la GPEC-Territoriale se construit à partir de quelques nécessités : capacité du pilote à faire travailler ensemble plusieurs acteurs, établissement d’un diagnostic préalable et partagé se basant sur les problématiques et enjeux des entreprises et des territoires, mobilisation des acteurs à travers des incitations sélectives et l’analyse des catégories de priorités des acteurs. En outre, il est apparu que le contenu de la GPEC-Territoriale est continûment traduit et s’obtient sous un consensus relatif. Enfin et malgré l’aspect sui generis de chaque cas, une modélisation, en phases, de sa construction est possible. / Nowadays HRP is built increasingly on a territorial scale. Institutional actors from different backgrounds and varying size businesses work together to put in place actions that address issues related to employment, training, and skills. These approaches are sometimes in "hot", sometimes in "cold" depending on the circumstances, territories and stakeholders. The extension of the building of the HRP across a territory can be justified by taking into account several factors: internal or external to enterprises, policies, situational, socio-economic, etc. Thus through converging wills, multiple actors aspire to lift the limits and shortcomings related to HRP by using a HRP-Territorial. This new construction approach and analysis of HRP nevertheless raises several questions. Among the many questions we reflected about five of them: how do actors work together? What diagnosis allows to unite stakeholders around HRP-Territorial? How is this HRP-Territorial built in terms of phasing? How do actors agree on the construction and content of the actions of HRP-Territorial? How to mobilize actors in such collective approaches? These questions are taken from the main issue of our research: What is the process of building a HRP-Territorial involving institutional actors and businesses? We discussed and debated these issues on the basis of empirical data collected in two cases: HRP-Territorial in the Community of communes of Cher à la Loire and the HRP-Territorial in the timber Industry in Loir-et-Cher. Those data are collected by observation, qualitative interview, quantitative studies and documentaries. Theory of interaction, actor network theory, rational choice theory and mobilization theory served as our analytical framework. At the intersection of these approaches and these analyzes, it appears that the HRP-Territorial be built from a few necessities : the ability of the pilot to work together several actors, establishing a prior and shared diagnosis that rely on problem and challenges for companies and territory, mobilization of actors through selective incentives and analysis of priority categories of actors. Furthermore, it appears that the contents of the HRP-Territorial is continuously translated and obtained by relative consensus. Finally, and despite the particular case of each situation, a modeling phase of this construction is possible.

La solution numérique des systèmes dynamiques est un moyen efficace pour étudier des phénomènes physiques complexes. Cependant, dans un cadre à grande échelle, la dimension du système rend les calculs infaisables en raison des limites de mémoire et de temps, ainsi que le mauvais conditionnement. La solution de ce problème est la réduction de modèles. Cette thèse porte sur les méthodes de projection pour construire efficacement des modèles d'ordre inférieur à partir des systèmes linéaires dynamiques de grande taille. En particulier, nous nous intéressons à la projection sur la réunion de plusieurs sous-espaces de Krylov standard qui conduit à une classe de modèles d'ordre réduit. Cette méthode est connue par l'interpolation rationnelle. En se basant sur ce cadre théorique qui relie la projection de Krylov à l'interpolation rationnelle, quatre algorithmes de type Lanczos rationnel pour la réduction de modèles sont proposés. Dans un premier temps, nous avons introduit une méthode adaptative de type Lanczos rationnel par block pour réduire l'ordre des systèmes linéaires dynamiques de grande taille, cette méthode est basée sur l'algorithme de Lanczos rationnel par block et une méthode adaptative pour choisir les points d'interpolation. Une généralisation de ce premier algorithme est également donnée, où différentes multiplicités sont considérées pour chaque point d'interpolation. Ensuite, nous avons proposé une autre extension de la méthode du sous-espace de Krylov standard pour les systèmes à plusieurs-entrées plusieurs-sorties, qui est le sous-espace de Krylov global. Nous avons obtenu des équations qui décrivent cette procédure. Finalement, nous avons proposé une méthode de Lanczos étendu par block et nous avons établi de nouvelles propriétés algébriques pour cet algorithme. L'efficacité et la précision de tous les algorithmes proposés, appliqués sur des problèmes de réduction de modèles, sont testées dans plusieurs exemples numériques. / Numerical solution of dynamical systems have been a successful means for studying complex physical phenomena. However, in large-scale setting, the system dimension makes the computations infeasible due to memory and time limitations, and ill-conditioning. The remedy of this problem is model reductions. This dissertations focuses on projection methods to efficiently construct reduced order models for large linear dynamical systems. Especially, we are interesting by projection onto unions of Krylov subspaces which lead to a class of reduced order models known as rational interpolation. Based on this theoretical framework that relate Krylov projection to rational interpolation, four rational Lanczos-type algorithms for model reduction are proposed. At first, an adaptative rational block Lanczos-type method for reducing the order of large scale dynamical systems is introduced, based on a rational block Lanczos algorithm and an adaptive approach for choosing the interpolation points. A generalization of the first algorithm is also given where different multiplicities are consider for each interpolation point. Next, we proposed another extension of the standard Krylov subspace method for Multiple-Input Multiple-Output (MIMO) systems, which is the global Krylov subspace, and we obtained also some equations that describe this process. Finally, an extended block Lanczos method is introduced and new algebraic properties for this algorithm are also given. The accuracy and the efficiency of all proposed algorithms when applied to model order reduction problem are tested by means of different numerical experiments that use a collection of well known benchmark examples.

Notre étude cherche à démontrer pourquoi les agents économiques sont incités à enfreindre le droit de la concurrence. Le choix de l’infraction dépend de l’avantage retiré du manquement comparé au coût subi. La notion de « faute lucrative » illustre parfaitement l’espoir d’un lucre tiré du manquement à la loi. L’économie comportementale nous enseigne cependant que les déterminants de la conformité au droit sont autres que la recherche du profit. Selon cette discipline, l’incitation – c’est-à-dire la motivation principale de l’agent qui fait le choix d’enfreindre la loi – est détachée d’un calcul coût-avantage. L’agent économique est sujet à des « biais cognitifs » : le défaut d’information disponible ne lui permet pas de faire toujours le choix susceptible de maximiser son intérêt. Appliquée au droit de la concurrence, la théorie de l’agent rationnel, fût-elle critiquable, reste néanmoins la plus pertinente pour examiner la dissuasion car elle permet de comparer la règle de droit à un « prix » qui pèse sur le choix d’enfreindre la loi. L’influence des règles juridiques comme un ensemble de normes incitatives ou dissuasives qui influencent le comportement des agents sur le marché est moins pris en compte par l’économie comportementale qui se concentre davantage sur les biais cognitifs des agents.L'agent économique rationnel qui entend retirer un profit de son manquement peut spéculer sur les multiples failles propres au droit de la concurrence, lesquelles affaiblissent le risque juridique de l’infraction. Deux limites fondamentales affectent la dissuasion : d’une part, celles relatives à l’effectivité des règles de concurrence. La probabilité, pour le fautif, d’échapper à l’application du droit génère des infractions « rentables ». D’autre part, celles relatives à l’efficacité des règles de concurrence favorisent aussi la conservation des gains illicites retirés du manquement, car la sanction imposée par le déclenchement de l’action publique et/ou privée n’est pas adaptée à la dissuasion du comportement déviant.Ces limites concernent aussi bien l’application de l’action publique que l’application de l’action privée en réparation. La fonction dissuasive du « private enforcement » est limitée en l’absence de dommages-intérêts confiscatoires. De même, les vices congénitaux à la loi Hamon paralysent la portée dissuasive de l’action de groupe. S’agissant de l’action publique, le développement des ententes algorithmiques et la spécificité des marchés numériques compliquent le travail de détection des autorités de concurrence. Même en cas de détection, la sanction appliquée à l’agent économique semble sous-dissuasive car, comme le démontre notre étude empirique, l’amende et/ou les dommages-intérêts imposés sont souvent inférieurs aux gains retirés des infractions de concurrence.Par ailleurs, le faible risque pénal pesant sur les dirigeants responsables de pratiques illicites affaiblit la dissuasion, car ceux-ci forment aussi des calculs sur l’avantage qu’ils ont personnellement à tirer du manquement à la loi. Il ressort de nos travaux que la création d’un test de légitimité de l’emprisonnement permet de répondre à la question de savoir, pour chaque type d’infraction de concurrence, si la prison est ou non une peine légitime.En somme, l’étude propose la construction d’un régime dissuasif par étapes, visant à renforcer à la fois l’effectivité et l’efficacité des règles de concurrence. Considérant que l’agent économique opère des prédictions sur le droit applicable, il faut non seulement faire en sorte que le droit de la concurrence s’applique effectivement, c’est-à-dire que le contrevenant soit confronté aux coûts de sa violation, mais efficacement, ce qui signifie que le coût du manquement doit être supérieur à son éventuel bénéfice. / This study explores the reasons why economic agents are likely to break the rules of competition law. This paper demonstrates that main reasons are related to a cost-benefit calculation, also known as the concept of “lucrative infringement”. Our results are conflicting with the findings of behavioural economics, which reject the theory of cost-benefit calculations incentives and argues that economic agents are subject to “cognitive biases”. However, the theory of the rational agent, despite its limitations, remains the most relevant for assessing the competition law ability to deter anticompetitive practices because it compares the rule of law to a "price" that weighs on the choice to break the law. The influence of legal rules as a set of incentive or deterrent norms that influences agents' behaviour on the market is less considered by behavioural economics that focuses more on agents' cognitive biases.Economic agents are rational and look for a “lucrative infringement”. They speculate on the multiple loopholes of competition law, which weakens the legal risk of the infringement. In this regard, two fundamental limits affect deterrence: on the one hand, the low probability of getting caught which generates “lucrative faults,” and on the other hand, the retention of all unlawful gains derived from the infringement.These limits concern both the application of public and private enforcement. First, the dissuasive function of "private enforcement" is limited by the absence of confiscatory damages. Similarly, the restrictive standard of proof to admit a collective class action hinders its dissuasive nature. When it comes to enforcement, the development of algorithmic cartels and the specificity of digital markets reduce competition authorities’ ability to detect illegal practices. Even when they manage to detect such practices, the sanction applied to the economic agent seems under-dissuasive. As our empirical study shows, fines and/or compensatory damages imposed are often lower than the benefit derived from the infringement.In addition, deterrence is weakened by the absence of criminal punishments for business leaders who have coordinated anticompetitive practices. This study demonstrates that they also make calculations about the benefit they may derive from violating the law. Our study develops a “legitimacy test of imprisonment” to provide an answer to the question of when imprisonment is a legitimate penalty.This study builds a step-by-step deterrent legal regime to daunt anticompetitive practices. Deterrence requires a twofold analysis on the application of competition law and the adequacy of sanctions to deter anticompetitive conducts. It is necessary not only to make competition law effective, i.e. that no infringer can escape with the costs of its violation, but also – to achieve an adequate level of deterrence – that fines and/or compensatory damages exceed any potential gains that may be expected from the infringement.

En industrie alimentaire et notamment dans le domaine des produits céréaliers, les ingrédients utilisés et les procédés associés ont des impacts sur les réactions chimiques des constituants ainsi que sur la structure des produits fabriqués. Les réactions peuvent avoir des impacts positifs (arômes, couleur) ou négatifs (développement de composés néoformés potentiellement toxiques). Bien que très étudiées dans des systèmes simplifiés, une meilleure connaissance et maitrise des réactions dans des conditions plus réalistes permettrait de mieux piloter la qualité des produits et de favoriser la balance bénéfices/risques. L’objectif de ce travail était de rendre possible l'étude des réactions dans un milieu solide, certes, simplifié, mais maîtrisé en composition et structure, et fidèle aux procédés de fabrication et à la structure à des produits réels. La génoise a été choisie comme produit de référence.La première étape a consisté à développer un produit modèle constituant une base d’étude de la réactivité. Pour cela, une étude des fonctionnalités apportées par chaque ingrédient à chaque étape du procédé de fabrication a permis d’identifier les dérivés de cellulose comme candidats intéressants pour remplacer les ingrédients réactifs (oeuf, sucre et protéines de la farine). Une étude multiéchelles a permis de mieux comprendre l’impact des principales propriétés apportées par les dérivés de cellulose (viscosité à froid, stabilisation des interfaces, gélification à chaud) sur la structuration du produit. Enfin, le produit modèle a été validé comme étant non-réactif vis-à-vis de la réaction de Maillard et de caramélisation.Dans une seconde étape, des composés réactifs (glucose, leucine) ont été réintroduits dans le produit modèle et un suivi cinétique de marqueurs de la réactivité dans les vapeurs et dans le produit a été réalisé au cours de la cuisson. Ainsi, l’enrichissement du modèle en glucose + leucine a permis de suivre le développement de composés typiques de la réaction de Maillard (aldéhydes de Strecker et pyrazines), qui n’apparaissent pas dans le cas où le produit n’est enrichi qu’en glucose, où seuls les composés issus de la caramélisation ont été identifiés. De plus, la modification des conditions de cuisson (température, convection) a permis de mettre en évidence l’impact des transferts thermiques et du séchage sur les voies réactionnelles. Ces résultats ouvrent ainsi la voie à de futures études cinétiques, couplant expérimentation systématique et modélisation. / In the food industry and notably in the field of cereal products, the type of ingredients used and their associated processes have several effects on the structure of the products and on the chemical reactions occurring during the manufacturing process. These reactions could have positive impacts (aroma, color) as well as negative outcomes (formation of potentially toxic compounds). Although being thoroughly studied in model systems, a better understanding of reactions in more realistic conditions would allow to improve the quality of the products. The aim of this work was to enable the study of chemical reactions occurring in a simplified solid system where the composition and structure were controlled while remaining representative regarding the conditions of the processes and the structure of the real product. Sponge cake was chosen as the product of reference.The first step consisted in developing a model product constituting a basis for studying the reactivity. In this regard, a study on new functionalities brought by each ingredient during each step of the manufacture process allowed to identify the cellulose derivatives as candidates to replace the reactive ingredients (eggs, sugar and wheat flour proteins). A multi-scale study allowed to better understand the impact of the main properties brought by the cellulose derivatives (viscosity at cold temperature, interface stabilization, gelation at high temperature) on the structure of the product. Finally, the model product was validated as a non-reactive media regarding the Maillard reaction and the caramelization.In a second step, reactive compounds (glucose and leucine) were placed in the model product and a kinetic monitoring on reaction markers was set up in the vapors and in the matrix during the baking. Thus, the addition of glucose and leucine in the model allowed to follow the formation of typical compounds coming from the Maillard reaction (Strecker’s aldehyde and pyrazines). These compounds did not developed when the model product was only enriched in glucose, whereas compounds generated by the caramelization reaction were identified. Moreover, changes in baking conditions (temperature, convection) allowed to emphasize the impact of heat transfer and drying on reaction pathways. These results pave the way of future kinetic studies, coupling systemic experiment and reaction modelling.

Nous étudions les semi-groupes de matrices avec des points de vue variés qui se re-coupent. Le point de vue de la croissance s’avère relié à un point de vue géométrique : nous avons partiellement généralisé aux semi-groupes un théorème de Patterson-Sullivan-Paulin sur les groupes, qui donne l’égalité entre exposant critique et dimension de Hausdorff de l’ensemble limite. Nous obtenons cela dans le cadre général des semi-groupes d’isométries d’un espace Gromov-hyperbolique, et notre preuve nous a permis d’obtenir également d’autres résultats nouveaux. Le point de vue informatique s’avère également relié à la croissance, puisque la notion de semi-groupe fortement automatique, que nous avons introduit, permet de calculer les exposants critiques exactes de semi-groupes de développement en base β. Et ce point de vue donne également beaucoup d’autres informations sur ces semi-groupes. Cette notion de croissance s’avère aussi reliée à des conjectures sur les fractions continues telles que celle de Zaremba. Et c’est en étudiant certains semi-groupes de matrices que nous avons pu démontrer des résultats sur les fractions continues périodiques bornées qui permettent de petites avancées dans la résolution d'une conjecture de McMullen. / We study matrix semigroups with different point of view that overlaps. The growth point of view seems to be related with the geometric point of view : we partially generalize to the semigroups a theorem on groups of Patterson-Sullivan-Paulin, that give the equality between the critical exponent and the Hausdorff dimension of the limit set. We obtain this in the general framework of isometries of a Gromov-hyperbolic space, and our proof give also others new results. The computer science point of view is also related to the growth, since we obtain a way to calculate exact values of critical exponents of somes β-adic development semigroups, from a notion of automatic semigroups that we introduce. Furthermore this point of view give a lot of information on these semigroups. This notion of growth shows to be also related to conjectures on continued fractions like Zaremba’s one. And by studing some matrix semigroups we were able to prove some results on bounded periodic continued fractions, doing a little step in the resolution of a conjecture of McMullen.