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.

On est habitué à penser comme suit à un programme qui exécute: une donnée entre (un input), un moment passe, et un résultat ressort. On assume tacitement de l'information complète sur le input, le résultat, et n'importe quels résultats intermédiaires. Dans ce travail-ci, on demande ce que ça voudrait dire d'exécuter un programme sur de l'information partielle. Comme réponse possible, on introduit l'interprétation partielle, notre contribution principale. Au lieu de considérer un seul input, on considère un ensemble de inputs possibles. Au lieu de calculer un seul résultat, on calcule un ensemble de résultats possibles, et des ensembles de résultats intermédiaires possibles. On approche l'interprétation partielle à partir du problème de la spécialisation de programme: l'optimisation d'un programme pour certains inputs. Faire ça automatiquement porte historiquement le nom d'évaluation partielle. Ç'a été appliqué avec succès à plusieurs problèmes spécifiques. On croit que ça devrait être un outil de programmation commun, pour spécialiser des librairies générales pour usage spécifique - mais ce n'est pas le cas. Souvent, une implantation donnée de l'évaluation partielle ne fonctionne pas uniformément bien sur tous les programmes. Ça se prête mal à un usage commun. On voit ce manque de régularité comme un problème de précision: si l'évaluateur partiel était très précis, il trouverait la bonne spécialisation, indépendamment de notre style de programme. On propose donc une approche de principe à l'évaluation partielle, visant la précision complète, retirée d'exemples particuliers. On reformule l'évaluation partielle pour la baser sur l'interprétation partielle: le calcul sur de l'information partielle. Si on peut déterminer ce qu'on sait sur chaque donnée dans le programme, on peut décider quelles opérations peuvent être éliminées pour spécialiser le programme: les opérations dont le résultat est unique. On définit une représentation d'ensembles qui ressemble à la définition en compréhension, en mathématiques. On modifie un interpréteur pour des programmes fonctionnels, pour qu'il calcule sur ces ensembles. On utilise un solver SMT pour réaliser les opérations sur les ensembles. Pour assurer la terminaison de l'interpréteur modifié, on applique des idées de l'interprétation abstraite: le calcul de point fixe, et le widening. Notre implantation initiale produit de bons résultats, mais elle est lente pour de plus gros exemples. On montre comment l'accélérer mille fois, en dépendant moins de SMT. / We are used to the following picture of an executing program: an input is provided, the program runs for a while, and a result comes out. We tacitly assume complete information about the input, the result, and any intermediate results in between. In this work, we ask what it would mean to execute a program over partial information. As a possible answer, we introduce partial interpretation, our main contribution. Instead of considering a unique input, we consider a set of possible inputs. Instead of computing a unique result, we compute a set of possible results, and sets of possible intermediate results. We approach partial interpretation from the problem of program specialization: the optimization of a program's execution time for certain inputs. Doing this automatically is historically known as partial evaluation. Partial evaluation has been applied successfully to many specific problems. We believe it should be a mainstream programming tool, to specialize general libraries for specific use - but such a tool has not been delivered. One common problem is that a given implementation of partial evaluation is inconsistent: it does not work uniformly well on all input programs. This inconsistency makes it unsuited for mainstream use. We view this inconsistency as an accuracy problem: if the partial evaluator was very accurate, it would find the correct specialization, no matter how we present the input program. We therefore propose a principled approach to partial evaluation, aimed at complete accuracy, removed from any particular example program. We reformulate partial evaluation to root it in partial interpretation: computation over partial information. If we can determine what we know about every piece of data in the program, we can decide which operations can be removed to specialize the program: those operations whose result is uniquely known. We represent sets with a kind of mathematical set comprehension. We modify an interpreter for functional programs, to compute over these sets. We use an SMT solver (Satisfiability Modulo Theories) to perform set operations. To ensure termination of the modified interpreter, we apply ideas from abstract interpretation: fixed point computation, and widening. Our initial implementation produces good results, but it is slow for larger examples. We show how to speed it up a thousandfold, by relying less on SMT.

L'interprétation de la musique classique et de la musique traditionnelle québécoise sont deux univers très différents qui comportent chacun leurs particularités. La transition d'un genre à l'autre s'avère ardue pour la plupart des musiciens, en grande partie en raison du parcours d'apprentissage contrastant. Les musiciens classiques apprennent de façon formelle, généralement à l'aide d'une partition et dans un contexte où l'enseignement est prodigué de façon stricte (i.e. conservatoire ou université). Du côté de la musique traditionnelle, le répertoire est transmis oralement et de façon informelle (Green 2001). Ces deux univers musicaux se côtoient donc difficilement. Plus encore, peu de chercheurs discutent de la transition d'un genre à l'autre. Certains auteurs se penchent sur l'apprentissage de la musique populaire (Browning 2016; Thibeault 2009; Wiedemann 2014), mais aucun n'aborde spécifiquement l'impact d'une formation classique lorsqu'une violoniste s'immerge dans la musique traditionnelle québécoise (MTQ). Par une approche de recherche-création, où les méthodes de recherche et les activités de création s'influencent mutuellement (Stévance et Lacasse 2018), je me plonge moi-même dans l'univers de la MTQ. Mon objectif est d'évaluer dans quelle mesure ma formation, en tant que violoniste classique, pourrait influencer ma conception et ma pratique de la musique traditionnelle québécoise instrumentale (MTQI). Plus largement, cette recherche, en éclairant non seulement l'impact de ma formation classique lorsque j'aborde un autre genre musical et les défis rencontrés lors de cette incursion (que ce soit sur le plan des techniques instrumentales, de l'esthétique musicale ou du contexte social et musical qui influence l'aspect psychologique de l'apprentissage et de la performance), pourrait nourrir d'autres études en vue de mieux comprendre les avantages et les limites de ce changement de style. Dans le cadre de la présente recherche, je procède à des analyses qualitatives (entrevues, autoconfrontation croisée, logiciel d'analyse vidéo) et quantitatives (logiciels d'analyse de vibrato, d'articulation, de timbre et d'intonation), en vue d'observer et de décrire les paramètres musicaux qui émergent de ce changement de paradigme, lesquels pourraient servir de cadre de référence, de points de départ pour des études similaires avec d'autres instruments ou d'autres genres. / The performance of classical music and traditional music in Québec are two very different worlds, each with its own particularities. The transition from one genre to the other is difficult for most musicians, in large part because of the contrasting learning paths. Classical musicians learn formally, usually with the aid of a score, and in a context where instruction is strictly provided (i.e. conservatory or university). In traditional music, the repertoire is transmitted orally and informally (Green 2001). These two musical universes are therefore difficult to reconcile. Moreover, few researchers discuss the transition from one genre to the other. Some authors examine the learning of popular music (Browning 2016; Thibeault 2009; Wiedemann 2014), but none specifically address the impact of classical training when a fiddler immerses herself in traditional music from Québec (MTQ). Through a research-creation approach, where research methods and creative activities influence each other (Stévance and Lacasse 2018), I am immersing myself in the world of MTQ. My goal is to assess the extent to which my training, as a classical violinist, might influence my conception and practice of instrumental traditional music from Québec (MTQI). More broadly, this research, by shedding light not only on the impact of my classical training when I approach another musical genre and the challenges encountered during this incursion (whether in terms of instrumental techniques, musical aesthetics, or the social and musical context that influence the psychological aspect of learning and performance), could inform other studies in order to better understand the benefits and limitations of this change of style. In this research, I am conducting qualitative (interviews, self-confrontation, video analysis software) and quantitative (vibrato, articulation, timbre and intonation analysis software) analyses, in order to observe and describe the musical parameters that emerge from this paradigm shift, which could serve as a frame of reference, as starting points for similar studies with other instruments or other genres.