Les plates-formes MPSoC permettent de satisfaire les contraintes de performance, de flexibilité et de consommation énergétique requises par les systèmes embarqués émergents. Elles intègrent un nombre important de processeurs, des blocs de mémoire et des périphériques, hiérarchiquement organisés par un réseau d'interconnexion. Le développement du logiciel est réputé difficile, notamment dû à la gestion d'un grand nombre d'entités (tâches/threads/processus). L'exécution concurrente de ces entités permet d'exploiter efficacement l'architecture mais complexifie le processus de mise au point et notamment l'analyse des erreurs. D'une part, les exécutions peuvent être non-déterministes notamment dû à la concurrence, c'est à dire qu'elles peuvent se dérouler d'une manière différente à chaque reprise. En conséquence, il n'est pas garanti qu'une erreur se produirait durant la phase de mise au point. D'autre part, la complexité de l'architecture et de l'exécution peut rendre trop important le nombre d'éléments à analyser afin d'identifier une erreur. Il pourrait donc être difficile de se focaliser sur des éléments potentiellement fautifs. Un des défis majeurs du développement logiciel MPSoC est donc de réduire le temps de la mise au point. Dans cette thèse, nous proposons une méthodologie de mise au point qui aide le développeur à identifier les erreurs dans le logiciel MPSoC. Notre premier objectif est de déboguer une même exécution plusieurs fois afin d'analyser des sources potentielles de l'erreur jusqu'à son identification. Nous avons donc identifié les sources de non-déterminisme MPSoC et proposé des mécanismes de ré-exécution déterministe les plus adaptés. Notre deuxième objectif vise à minimiser les ressources pour reproduire une exécution afin de satisfaire la contrainte MPSoC de maîtrise de l'intrusion. Nous avons donc utilisé des mécanismes efficaces de ré-exécution déterministe et considéré qu'une partie du comportement non-déterministe. Le troisième objectif est de permettre le passage à l'échelle, c'est à dire de déboguer des exécutions caractérisées par un nombre d'éléments de plus en plus croissant. Nous avons donc proposé une méthode qui permet de circonscrire et de déboguer qu'une partie de l'exécution. De plus, cette méthode s'applique aux différents types d'architectures et d'applications MPSoC. / MPSoC platforms provide high performance, low power consumption and flexi-bility required by the emerging embedded systems. They incorporate many proces-sing units, memory blocs and peripherals, hierarchically organized by interconnec-tion network. The software development is known to be difficult, namely due to themanagement of multiple entities (tasks/threads/processes). The concurrent execu-tion of these entities allows to exploit efficiently the architecture but complicatesthe refinement process of the software and especially the debugging activity. Onthe one hand, the executions of the software can be non-deterministic, namely dueto the concurrency, i.e. they perform differently each time. Consequently, thereis no guaranties that an error will occur during the debugging activity. On theother hand, the complexity of the architecture and the execution can increase theelements to be analyzed in the debugging process. As a result, it can be difficultto concentrate on the potentially faulty elements. Therefore, one of the most im-portant challenges in the development process of MPSoC software is to reduce thetime of the refinement process.In this thesis, we propose a new methodology to refine the MPSoC softwarewhich helps the developers to do the debugging activity. Our first objective is tobe able to debug the same execution several times in order to analyze potentialsources of the error. To do so, we identified the sources of non-determinism in theMPSoC software executions and propose the most appropriate methods to recordand replay them. Our second objective is to reduce the execution overhead requi-red by the record mechanisms to limit the intrusiveness which is an importantMPSoC constraint. To accomplish this objective, we consider a part of the non-deterministic behaviour and selected efficient record-replay methods. The thirdobjective is to provide a scalable solution, i.e. to be able to debug more and morecomplex executions, characterized by an increasing number of elements. Therefore,we propose a partial replay method which allows to isolate and debug a fraction ofthe execution elements. Moreover, this method applies to different types of archi-tectures and applications MPSoC.

Le projet SoC-Trace a pour objectif le développement d'un ensemble de méthodes et d'outils basés sur les traces d'éxécution d'applications embarquées multicoeur afin de répondre aux besoins croissants d'observabilité et de 'débogabilité' requis par l'industrie. Le projet vise en particulier le développement de nouvelles méthodes d'analyse, s'appuyant sur différentes techniques d'analyse de données telles que l'analyse probabiliste, la fouille de données, et l'agrégation de données. Elles devraient permettre l'identification automatique d'anomalies,l'analyse des corrélations et dépendances complexes entre plusieurs composants d'une application embarquées ainsi que la maîtrise du volume important des traces qui peut désormais dépasser le GigaOctet. L'objectif de la thèse est de fournir une représentation de haut niveau des informations contenues dans les traces, basée sur la sémantique. Il s'agira dans un premier temps de développer un outil efficace de comparaison entre traces;de définir une distance démantique adaptée aux traces, puis dans un second temps d'analyser et d'interpréter les résultats des comparaisons de traces en se basant sur la distance définie. / The SoC-Trace project aims to develop a set of methods and tools based on execution traces of multicore embedded applications to meet the growing needs of observability and 'débogability' required by the industry. The project aims in particular the development of new analytical methods, based on different data analysis techniques such as probabilistic analysis, data mining, and data aggregation. They should allow the automatic identification of anomalies, the analysis of complex correlations and dependencies between different components of an embedded application and control of the volume traces that can now exceed the gigabyte. The aim of the thesis is to provide a high-level representation of information in the trace based semantics. It will initially develop an effective tool for comparing traces, to define a semantic distance for execution traces, then a second time to analyze and interpret the results of comparisons of traces based on the defined distance.

Cette thèse étudie la gestion de ressources pour des services de calcul intensif à la demande sur une grappe de calcul partagée. Dans un tel contexte, il s'agissait de définir des outils d'exploitation qui permettent d'allouer dynamiquement les ressources pour l'exécution des requêtes à la demande, de partager équitablement les ressources entre les différents services, tout en maximisant leur utilisation. Financé par le pôle de compétitivité Minalogic dans le cadre du projet Ciloe (http://ciloe.minalogic.net), ce travail s'adresse à des organisations de types PME ou PMI, où les budgets de fonctionnement ne permettent pas de supporter les charges d'une infrastructure de calcul dédiée. Dans un premier temps, nous avons dressé un état de l'art sur la gestion de ressources dans les domaines de nuage de calcul et de calcul intensif. Puis, tirant partie de cette étude, nous avons défini une architecture virtualisée pour faciliter l'exécution dynamique des requêtes grâce à un gestionnaire de ressources spécifique. Nous avons enfin proposé une stratégie de partage et d'allocation de ressources flexible qui offre un compromis entre équité et utilisation efficace de ressources. Ayant travaillé dans un contexte de collaboration avec des industriels, nous avons développé un prototype comme une preuve de concept. Basé sur des standards ouverts, ce prototype s'appuie sur des outils existants de virtualisation tel que OpenNebula pour allouer et manipuler les machines virtuelles sur les noeuds de la grappe. A partir de ce prototype et diverses charges de travail qui sont détaillés dans cette thèse, nous avons mené des expériences pour évaluer l'architecture et les algorithmes de gestion de ressources. Les résultats montrent que ces différentes contributions satisfont les objectifs fixés tout en étant performantes et efficaces. / This thesis studies resource management for on-demand computing services through a shared cluster. In such a context, the aim was to propose tools to enable allocating resources automatically for executing on-demand user requests, to enable sharing resources proportionally among those services, while maximizing their use. Funded by the Minalogic global business cluster through the Ciloe Project (http://ciloe.minalogic.net), this work targets on organizations such as SMB, which are not able to support the charge of purchasing and maintaining a dedicated computing infrastructure. Firstly, we have achieved a deep survey in the areas of on-demand computing and high performance computing. From this survey, we have defined a virtualized architecture to enable dynamic execution of user requests thanks to a special resource manager. Finally, we have proposed policies and algorithms which are so flexible to offer a suitable tradeoff between equity and resource use. Having worked in a context of industrial collaboration, we have developed a prototype of our proposal as a proof of concept. Based on open standards, this prototype relies on existing virtualization tools such as OpenNebula for allocating and manipulating virtual machines over the cluster's nodes. From this prototype along with various workloads, we have carried out experiments to evaluate our architecture and scheduling algorithms. Results have shown that our contributions allow to achieve the expected goals while being reliable and efficient.

Dans cette thèse, nous considérons deux types d'application des effets de rétroaction en finance. Ces effets entrent en jeu quand des participants de marché exécutent des séquences de transactions ou prennent part à des réactions en chaîne, ce qui engendre des pics d'activité. La première partie présente un modèle d'exécution optimale dynamique en présence d'un flux stochastique et exogène d'ordres de marché. Nous partons du modèle de référence d'Obizheva et Wang, qui définit un cadre d'exécution optimale avec un impact de prix mixte. Nous y ajoutons un flux d'ordres modélisé à l'aide de processus de Hawkes, qui sont des processus à sauts présentant une propriété d'auto-excitation. A l'aide de la théorie du contrôle stochastique, nous déterminons la stratégie optimale de manière analytique. Puis nous déterminons les conditions d'existence de Stratégies de Manipulation de Prix, telles qu'introduites par Huberman et Stanzl. Ces stratégies peuvent être exclues si l'auto-excitation du flux d'ordres se compense exactement avec la résilience du prix. Dans un deuxième temps, nous proposons une méthode de calibration du modèle, que nous appliquons sur des données financières à haute fréquence issues de cours d'actions du CAC40. Sur ces données, nous trouvons que le modèle explique une partie non-négligeable de la variance des prix. Une évaluation de la stratégie optimale en backtest montre que celle-ci est profitable en moyenne, mais que des coûts de transaction réalistes suffisent à empêcher les manipulations de prix. Ensuite, dans la deuxième partie de la thèse, nous nous intéressons à la modélisation de la volatilité intra-journalière. Dans la littérature, la plupart des modèles de volatilité rétroactive se concentrent sur l'échelle de temps journalière, c'est-à-dire aux variations de prix d'un jour sur l'autre. L'objectif est ici d'étendre ce type d'approche à des échelles de temps plus courtes. Nous présentons d'abord un modèle de type ARCH ayant la particularité de prendre en compte séparément les contributions des rendements passés intra-journaliers et nocturnes. Une méthode de calibration de ce modèle est étudiée, ainsi qu'une interprétation qualitative des résultats sur des rendements d'actions américaines et européennes. Dans le chapitre suivant, nous réduisons encore l'échelle de temps considérée. Nous étudions un modèle de volatilité à haute fréquence, dont l'idée est de généraliser le cadre des processus Hawkes pour mieux reproduire certaines caractéristiques empiriques des marchés. Notamment, en introduisant des effets de rétroaction quadratiques inspirés du modèle à temps discret QARCH nous obtenons une distribution en loi puissance pour la volatilité ainsi que de l'asymétrie temporelle / In this thesis we study feedback effects in finance and we focus on two of their applications. These effects stem from the fact that traders split meta-orders sequentially, and also from feedback loops. Therefore, one can observe clusters of activity and periods of relative calm. The first part introduces an dynamic optimal execution framework with an exogenous stochastic flow of market orders. Our starting point is the well-known model of Obizheva and Wang which defines an execution framework with both permanent and transient price impacts. We modify the price model by adding an order flow based on Hawkes processes, which are self-exciting jump processes. The theory of stochastic control allows us to derive the optimal strategy as a closed formula. Also, we discuss the existence of Price Manipulations Strategies in the sense of Huberman and Stanzl which can be excluded from the model if the self-exciting property of the order flow exactly compensates the resilience of the price. The next chapter studies a calibration protocol for the model, which we apply to tick-by-tick data from CAC40 stocks. On this dataset, the model is found to explain a significant part of the variance of prices. We then evaluate the optimal strategy with a series of backtests, which show that it is profitable on average, although realistic transaction costs can prevent manipulation strategies. In the second part of the thesis, we turn to intra-day volatility modeling. Previous works from the volatility feedback literature mainly focus on the daily time scale, i.e. on close-to-close returns. Our goal is to use a similar approach on shorter time scales. We first present an ARCH-type model which accounts for the contributions of past intra-day and overnight returns separately. A calibration method for the model is considered, that we use on US and European stocks, and we provide some qualitative insights on the results. The last chapter of the thesis is dedicated to a high-frequency volatility model. We introduce a continuous-time analogue of the QARCH framework, which is also a generalization of Hawkes processes. This new model reproduces several important stylized facts, in particular it generates a time-asymmetric and fat-tailed volatility process

Cette thèse propose de découvrir les apports du droit des sociétés à la théorie générale de l'obligation de faire et de déterminer le rôle qu'elles occupent dans ce domaine du droit. A cette fin, des analyses sont consacrées à l'identification des obligations juridiques de faire parmi les différents types de contraintes pesant sur l'activité des personnes. L'étude présente ensuite une typologie des principales obligations des dirigeants et des associés. Après la détermination de l'objet des obligations de faire, il est entrepris un examen des façons d'accomplir les obligations de faire. A cet égard, les délégations constituent un mode d'exécution naturel, car elles permettent de « faire faire» au sein des entreprises. Par ailleurs, le contrôle de la manière d'exécuter l'obligation de faire constitue une étape décisive en vue de libérer le débiteur. Pour apprécier les façons de faire, les standards et le droit souple jouent un rôle important pour séparer les bonnes pratiques des mauvais procédés d'exécution. Par la suite, les réponses du droit à l'inexécution des obligations de faire sont examinées. Il s'agit alors d'analyser les difficultés résultant des obligations de faire à l'égard des responsabilités civile et pénale. Pour pallier ces difficultés, le législateur a cherché à renouveler les sanctions en recourant à la déchéance, aux injonctions de faire, au mandat ad hoc ou la stigmatisation publique. Les mérites de ces nouvelles façons de faire sont appréciés. Enfin, cette thèse défend l'idée que le régime de l'exécution forcée doit être adapté aux sociétés, car les personnes morales n'agissent pas comme les personnes physiques. / Obligation to do refers to the Roman classification of obligations: dare, facere, nonfacere, and praestare. The debtor of an obligation to do has to perform a task of any kind such as intellectual and legal services or labour works. This thesis intends to develop a legal analysis of directors' and shareholders' duties in corporate law with a specific interest for obligations to do. For instance, it focuses on duty of care, internai control, compliance or cooperation with legal auditors. Regarding shareholders' obligations, it highlights the duties of controlling shareholders - whether contractual or legal - collaterals, sweat equities, and other various cornmitments subscribed as they purchase or sale shares. This thesis also deals with how corporations, directors, and shareholders perform their obligations. In this regard, it shows that directors divide up tasks through delegations for their corporation to comply with its liabilities as well as performing their own duties. Moreover, this study reviews guidance provided by soft law and how can judges use it - through standards - to decide whether an obligation has been properly completed or not. Furthermore, it investigates the efficiency of remedies in case of the debtor's non-performance. Along with a critical examination of civil and criminal liability, this thesis assesses new forms of remedies and their merits such as injunction to do, forfeiture, and shaming.

Cette thèse a pour objectif de proposer des solutions aux problématiques de la narration interactive. Nous souhaitons ainsi proposer une méthode de conception pour les auteurs, ainsi qu’une logique d’exécution utilisant ce modèle pour contrôler la construction d’un récit. Nous appliquons nos travaux au contexte des jeux vidéo, mais souhaitons adresser la narration interactive dans une dimension plus large. Nous abordons la narration interactive comme une déstructuration de la narration classique. Le processus de création du récit n’est ainsi plus à la seule charge de l’auteur, mais implique également le public. Au travers d’une revue de la narration classique, nous souhaitons donc, dans un premier temps, formaliser le récit et ses enjeux. Nous utilisons ensuite le concept d’œuvre en mouvement pour identifier les processus et acteurs mis en jeu dans la coproduction d’une œuvre, et ainsi définir les enjeux de nos travaux. Pour adresser ces problématiques, nous proposons un modèle de la narration interactive à base d’automates. Celui-ci permet un contrôle et une vérification des récits possibles, tant lors de la conception, que dynamiquement à l’exécution. Cependant ce formalisme peut être complexe à prendre en main pour des auteurs non-initiés. Ainsi, nous formulons un modèle de haut-niveau, basé sur les concepts de la narratologie, permettant à ces derniers de créer un modèle de narration interactive en manipulant des concepts qu’ils maitrisent. Ce modèle est alors converti vers notre modèle à base d’automates. Ce dernier sert alors de référent pour le contrôle dynamique de la narration interactive par un superviseur multi-agents. Celui-ci, par observation des évènements produits dans le jeu vidéo, est alors en mesure de contrôler le récit en cours de production pour garantir les critères de qualités spécifiés par l’auteur. Nous proposons une implémentation de notre approche sous la forme d’un framework, comprenant notamment des outils auteurs d’édition des modèles que nous définissons, mais également les algorithmes de supervision nécessaires à l’asservissement de l’univers virtuel du jeu vidéo. / This PhD thesis has for objective to propose solutions to interactive storytelling problems. We aim to propose a design method for the authors, as well as a logic of execution using this model to control the narrative unfolding. We apply our works in the video games context, but wish to address interactive storytelling in a wider dimension. We so approach the interactive story as a breakdown of the classic storytelling. Indeed, interactive storytelling creation process is not any more only under the author responsability, but also involves spectators. Through a review of the classic storytelling, we thus wish, at first, to formalize storytelling and its stakes. We use then the concept of ”œuvre en mouvement” to identify processes and actors involved in this creation process of a work, and thus to define the stakes in our research works. We propose an interactive storytelling mode base on automata. This one allows a controland a check on possible narratives, during design as well as dynamically while producing the story. However this formalism is complex to handle by authors. So, we formulate a top-level model, based on storytelling concepts, allowing authors to create an interactive story model using concepts they know. This model is then converted into our automaton based model. The latter serves then as referent for the dynamic control of the interactive storytelling, done by a supervisor multi-agents. This one, by observing produced events in the video game, is then able of controlling and guarantee the quality criteria specified by authors. We propose an implementation of our approach in a framework, including authoring tools to edite our models. We also implements automata check and supervision algorithms necessary to control video game virtual universe.

Le budget est un instrument essentiel à la gestion publique, à travers lequel l’État peut mettre en place les politiques publiques et atteindre ses objectifs. La gestion du budget est orientée par le droit budgétaire, qui détermine, en outre, les compétences des pouvoirs législatif et exécutif dans les étapes du cycle budgétaire : la préparation, l’adoption, l’exécution et le contrôle. La distribution de compétences entre le gouvernement et le Parlement et les interactions entre ces acteurs vis-à-vis du budget déterminent le caractère plus ou moins démocratique du système politique de l’État. La participation du Parlement à la décision financière apparaît non seulement comme essentielle à la démocratie, mais aussi comme une garantie de plus de transparence et d'efficacité des finances publiques.Le Brésil est un pays dont la démocratie a été consolidée récemment, à partir de la Constitution Fédérale de 1988. Depuis la promulgation de ce texte, le droit budgétaire a beaucoup évolué pour prendre en compte une plus grande participation du pouvoir législatif et adopter un modèle plus efficace de gestion publique. Toutefois, les rapports entre les pouvoirs législatif et exécutif restent toujours conflictuels, l’exécutif ayant tendance à se superposer au législatif, y compris et notamment, en ce qui concerne le budget de l’État. L’objectif de cette thèse est donc d’analyser comment les pouvoirs législatif et exécutif interviennent au sein du cycle budgétaire et quelle est la nature des rapports entretenus entre Gouvernement et Parlement dans chaque étape de ce cycle, de façon à appréhender si le pouvoir exécutif domine vraiment la procédure budgétaire, comme il est souvent affirmé, et dans quelle mesure le pouvoir législatif contribue à la prédominance du pouvoir exécutif vis-à-vis du budget de l’État. / Government budget is an essential tool for Public Administration, which needs to make good use of it in order to implement policies and achieve its objectives. Budget management is regulated by budget law, which also determines the roles of the Legislative and Executive branches in the stages of the budget cycle: preparation, approval, execution and control. The distribution of powers between the Government and the Parliament and the interactions between these actors regarding the budget may determine if a given political system is more or less democratic. The Parliament's involvement in financial decisions is not only essential to democracy, but also a guarantee of greater transparency and efficiency in public finances. Brazil is a young democracy, one that has been consolidated only since the enactment of the Federal Constitution of 1988. From that moment on, Brazilian budget law has substantially evolved, the enhancement of the level of participation of the Legislature Power and the adoption of a more effective governance model being great examples. However, the relationship between the Legislative and Executive branches is still conflicting. The Executive branch has a tendency to overpower the legislature, especially when it comes to the government budget. The aim of this thesis is to analyze how the Legislative and Executive Powers are involved in the budget cycle and what is the kind of relationship that is established between them in each stage of this cycle. These research questions are intended to shed some light on the often-stated argument that the Executive branch dominates the budget process and to assess to which extent is the Legislative Power responsible for such a dominance.

Les techniques dynamiques de vérification et validation (V&V) de modèles sont nécessaires pour assurer la qualité des modèles exécutables. La plupart de ces techniques reposent sur la concept de trace d'exécution, une séquence contenant un ensemble d'informations sur une exécution. Par conséquent, pour permettre la V&V dynamique de modèles exécutables conformes à n'importe quel langage de modélisation dédié exécutable (LMDx), il est crucial de fournir des outils pour construire et manipuler toutes sortes de traces d'exécution. À cet effet, nous proposons d'abord une approche de clonage efficace de modèles afin de pouvoir construire des traces d'exécution génériques à base de clones. À l'aide d'un générateur aléatoire de métamodèles, nous montrons que cette approche passe à l'échelle avec seulement un léger surcoût lors de la manipulation de clones. Nous présentons ensuite une approche générative pour définir des métamodèles dédiés et multidimensionnels pour représenter des traces d'exécution, qui consiste à créer la structure de données spécifique aux traces d'exécution d'un LMDx donné. Ainsi, les traces d'exécution de modèles conformes à ce LMDx peuvent être capturées et manipulées efficacement de manière dédiée et à l'aide de différentes dimensions. Nous appliquons cette approche à deux techniques de V&V dynamiques existantes, à savoir la différentiation sémantique et le débogage omniscient. Nous montrons qu'un tel métamodèle de traces d'exécution généré fournit une bonne facilité d'usage et un bon passage à l'échelle pour la V&V dynamique au plus tôt pour n'importe quel LMDx. Nous avons intégré notre travail au sein du GEMOC Studio, un environnement de définition de langages et de modélisation issu de l'initiative internationale du même nom. / Dynamic verification and validation (V&V) techniques are required to ensure the correctness of executable models. Most of these techniques rely on the concept of execution trace, which is a sequence containing information about an execution. Therefore, to enable dynamic V&V of executable models conforming to any executable domain-specific modeling language (xDSML), it is crucial to provide efficient facilities to construct and manipulate all kinds of execution traces. To that effect, we first propose a scalable model cloning approach to conveniently construct generic execution traces using model clones. Using a random metamodel generator, we show that this approach is scalable in memory with little manipulation overhead. We then present a generative approach to define multidimensional and domain-specific execution trace metamodels, which consists in creating the execution trace data structure specific to an xDSML. Thereby, execution traces of models conforming to this xDSML can be efficiently captured and manipulated in a domain-specific way. We apply this approach to two existing dynamic V&V techniques, namely semantic differencing and omniscient debugging. We show that such a generated execution trace metamodel provides good usability and scalability for dynamic early V&V support for any xDSML. Our work have been implemented and integrated within the GEMOC Studio, which is a language and modeling workbench resulting from the eponym international initiative.

Contrairement aux contrats de droit privé où l'exécution est surtout l'affaire des parties, l'exécution des marchés publics est soumise à des contrôles multiples qui ont proliféré en Tunisie au gré de l'évolution des politiques publiques. Dans une perspective systémique, trois niveaux de contrôle différents mais interdépendants peuvent être distingués : celui exercé par les parties contractantes, celui exercé par des organes plus ou moins dépendants de l'administration, et celui, décisif, exercé par les tribunaux. L'étude des interactions entre ces différents éléments, dans un contexte nouveau caractérisé par l'adoption d'une nouvelle Constitution d'inspiration libérale et par l'adoption d'un nouveau code des marchés publics, aura permis de mettre l'accent sur les tensions qui continuent d'affecter l'équilibre général du système. En dépit du changement de contexte, le système de contrôle demeure en effet essentiellement tourné vers la protection de l'intérêt public. L'incertitude qui continue d'entourer la validité des normes de contrôle issues de l'ordre ancien et les carences du système de recours ne permettent pas aux autorités de contrôle de maintenir la balance entre l'intérêt public et l'intérêt des opérateurs économiques qui acceptent de contracter avec l'administration.À l'heure où s'amorce l'entreprise de refondation des institutions, le législateur et le juge pourraient s'inspirer utilement du mouvement général qui caractérise l'évolution de l'exécution des marchés publics en France, en tant que source principale d'influence du droit tunisien, pour concevoir les solutions qui pourraient mettre fin à l'inefficacité globale du système. / Unlike private law contracts whose implementation system is mainly the responsibility of both parties, the implementation of public procurement contracts is subject to several controls that have proliferated in Tunisia along the evolution of public policies. Following a systemic approach, three different and yet interdependent levels of control can be distinguished: the control exercised by the contracting parties; the control exercised by authorities, which are in a certain extent dependent of the administration; and the, critical one, the control exercised by courts. The study of the interactions between these actors in a context characterized by the adoption of a new liberal Constitution and a new Code of Public Procurements, would make it possible to shed light on the tensions that continue to affect the general equilibrium of the system. The research concluded that, despite the changing context, the control system remains essentially focused on protecting the public interest.The research also concluded that the uncertainty surrounding the validity of the old regime's control norms and the deficiencies of the legal remedies' system remains and does not allow the monitoring authorities to maintain the balance between the public interest and the interests of economic operators contracting with the administration.

Ce travail a pour objectif d’étudier certaines représentations – écrites et imagées – des exécutions capitales en France, dans la seconde moitié du XVIe siècle et les premières décennies du XVIIe siècle. Ces exécutions sont nombreuses à une époque marquée par d’importants troubles politiques et religieux. Elles ont lieu en place publique, se veulent édifiantes et exemplaires pour les spectateurs, et affirment l’autorité du souverain, qui restaure l’ordre dans le royaume.Cette étude s’organise autour des trois figures fondamentales de la punition : le roi, le peuple et le condamné. La punition entretient toujours un lien très étroit avec l’autorité qui châtie. Nous verrons que les réflexions de Foucault autour du supplice se vérifient dans certaines sources, mais que les écrits et les images ne font pas obligatoirement de ce spectacle une affirmation de l’autorité royale, ni de la justice divine, parfois problématiques. Dans les sources écrites, les spectateurs réagissent souvent à l’exécution capitale et il arrive que les auteurs expliquent les violences populaires dans un cadre extra-judiciaire, comme une tentative de rétablir l'ordre et la justice. Le condamné, lui, est à la fois « acteur » du supplice à travers son comportement sur l’échafaud et « victime ». Ce travail, qui envisage des contextes politiques et religieux différents et compare des sources très diverses, entend montrer que la littérature et l’iconographie construisent une image complexe du spectacle de l’exécution capitale, en particulier à travers les motifs de l’ordre et du désordre qui les traversent. / Our thesis focuses on the representations – textual as well as illustrated – of capital punishments in France, during the second half of the 16th century and the first decades of the 17th century. This period, marked by significant political and religious troubles, saw a large number of public executions, aimed to be edifying and admonitory examples for the audience and to assert the sovereign’s authority to restore order in the realm. This study is centered around the three crucial characters of the punishment: the king, the public and the convicted person. The punishment is always closely linked to the authority which chastises. We’ll see that Foucault’s thoughts about capital punishment are relevant for some sources, but that the writings and the images do not necessarily present this spectacle as an assertion of royal authority, nor of divine justice, sometimes problematical. In the written sources, the audience often react to the execution and authors also attempt to re-establish justice and order during the descriptions of violent popular actions. As for the convicted, they are both “actors” of the executions, through their behaviour on the scaffold, and “victims”. Some traits appear in the convicted’s representations, considering their sex, their age, the religious beliefs of the authors and the different types of texts and images where the convicted are depicted. This study, which considers different political and religious situations and compares very diverse sources, aims to show that literature and images give a complex image of capital punishments’ spectacle, especially through the motifs of order and disorder.