Après plus de vingt-cinq ans d'expérience en tant que saxophoniste ténor jazz, la façon dont je communique mon expression aux auditeurs à travers la musique, en particulier à travers l'improvisation, conserve une part de mystère. La faculté qu'a la musique à communiquer des affects est bien documentée. Cette communication se produit, entre autres, à travers un répertoire de signaux sonores issus de la performance instrumentiste : les gestes performanciels. Je me suis donc interrogé sur les gestes performanciels et dans quelle mesure ils peuvent communiquer l'expression d'un instrumentiste à travers l'improvisation jazz au saxophone ténor. Mon analyse des gestes performanciels se fonde sur le modèle phonostylistique de Serge Lacasse pour le chant en musique populaire (2010). Ce modèle permet, en effet, de déterminer le sonostyle d'un instrumentiste, c'est-à-dire son répertoire des gestes performanciels et leur signification. À partir d'une approche de recherche-création, j'adopte alternativement les rôles de chercheur et de créateur à travers l'analyse de mes propres improvisations, avec à l'appui une triangulation essentielle à toute démarche de recherche scientifique. Ce faisant, la création informe la recherche, et vice versa. Puisque le timbre est un élément incontournable du sonostyle d'un instrumentiste, le chapitre 1 est consacré à une expérience où est observé la manière dont les saxophonistes ténors jazz verbalisent les caractéristiques acoustiques des timbres-instrumentiste, et comment ces verbalisations pourraient se rapporter aux caractéristiques acoustiques de ces timbres. Les chapitres subséquents sont consacrés au relevé des affects communiqués à travers les gestes performanciels : celles des qualités premières identificatrices, c'est-à-dire ce qui relève des timbres-instrumentiste, du volume et du débit-instrumentiste (chapitre 2), et celles qui relèvent de la texture du timbre, des inflexions, du registre altissimo et des sons apériodiques (chapitre 3). Cette investigation nous permet d'observer que les gestes performanciels retrouvés dans l'improvisation jazz au saxophone ténor communiquent l'expression instrumentiste avec un haut degré d'efficience. / After over 25 years of playing as a jazz tenor saxophonist, there is still some mystery as to how I convey my expression to listeners through music, especially through improvisation. The power of music to communicate affects is well documented. This communication occurs, among other things, through a repertoire of sonorous signals resulting from the instrumentalist's performance: the performative gestures. I therefore investigated performative gestures and the extent to which they can communicate the expression of an instrumentalist through jazz improvisation on tenor saxophone. My analysis of performative gestures is based on Serge Lacasse's phonostylistic model for singing in popular music (2010). This model allows us to determine the sonostyle of an instrumentalist, i.e., his or her repertoire of performative gestures and their meaning. From a research-creation approach, I alternatively adopt the roles of researcher and creator through the analysis of my own improvisations, using a triangulation technique essential to any scientific research process. In doing so, creation informs research, and vice versa. Since timbre is an unavoidable element of an instrumentalist's sonostyle, chapter 1 is about an experiment where we observe how jazz tenor saxophonists verbalize the acoustical characteristics of instrumentalist's timbres, and how these verbalizations could relate to the acoustical characteristics of these timbers. The subsequent chapters are dedicated to the investigation of the affects communicated through the performative gestures: those of the primary qualities, i.e., those related to the instrumentalist's timber, the volume and the instrumentalist's flow (chapter 2), and those related to the timbre's textures, the inflections, the altissimo register and the aperiodic sounds (chapter 3). This investigation allows us to observe that the performative gestures found in jazz improvisation on tenor saxophone communicate the instrumentalist expression with a high degree of efficiency.

8343511\u / 8343512\u

Inspiré par une croyance fondée sur l’inégalité des parties, le droit del’exécution poursuit le dessein d’un recouvrement rapide, sûr et peu coûteux descréances. Afin de relever ce défi, le droit OHADA a fait de la sécurité juridique uneexigence fondamentale devant démontrer son aptitude à répondre aux attentes desdifférentes parties. Cependant, la pratique du recouvrement permet d’identifier dessources d’insécurité juridique préjudiciable au climat de confiance voulu par lelégilateur communautaire. Ainsi, le caractère quasi-informel du recouvrementamiable, la résistance des juridictions nationales ou l’ineffectivité de certainesdécisions judiciaires perturbent la prévisibilité inhérente à l’exigence de sécuritéjuridique. Conçu comme un système cohérent, le droit de l’exécution OHADA offredes ressources interprétatives propices à la correction des lacunes observées. Dansces conditions, le juge occupe un rôle central dans la promotion de la sécuritéjuridique. D’une part, il assure le contrôle des prérogatives individuelles des partiesdans le sens de réguler les conflits d’intérêts induits par des attentes souventcontradictoires. Dans cette optique, l’une des finalités de l’intervention du juge estd’assurer le respect du recours à la contrainte dans l’exécution. D’autre part,l’exigence de sécurité juridique servira au juge à établir une meilleure corrélationentre toutes les techniques garantissant le paiement du créancier dans un souciconstant d’efficacité. En l’absence d’une consécration explicite de la sécuritéjuridique, la proposition d’une relecture de la théorie de l’exécution en droit privé offrel’opportunité de voir tous les mécanismes de son intégration dans le recouvrementdes créances en tenant compte de la réalité juridico-économique de la créance. / Inspired by the belief grounded on inequalities between parties, theenforcement law continues to design a fast, safe and inexpensive debt recovery. Tomeet this challenge, the OHADA law made legal certainty requirement which mustshow its ability to live up to the expectations of the different parties. However, therecovery practice identifies sources of legal uncertainty detrimental to the climate oftrust advocated by the Community legislature. Thus, the quasi-informal nature of debtcollection, the resistance of national courts or the ineffectiveness of certain judicialdecisions disrupt the predictability pertaining to the requirement of legal certainty.Designed as a coherent system, The OHADA enforcement law affords interpretativeresources conducive to the rectification of the flaws spotted. In these circumstances,the judge plays a central role in promoting legal certainty. On the one hand, hemonitors the individual prerogatives of the parties in the direction of regulatingconflicts of interest arising from the often conflicting expectations. In this context, oneof the purposes of the intervention of the judge is to ensure compliance of coercion inthe execution. On the other hand, the demand of legal certainty will allow the judge toestablish a better correlation between all techniques guaranteeing the payment of thecreditor for the constant sake of efficacy. In the absence of an explicit consecration oflegal certainty, the proposal for a reinterpretation of the theory of enforcement lawprovides the opportunity to see all the mechanisms of its integration in debt recovery,taking into account the legal and economic substance of the claim.

Dans les systèmes informatiques, la consommation énergétique est devenue le facteur le plus limitant de la croissance de performance observée pendant les décennies précédentes. Conséquemment, les paradigmes d'architectures d'ordinateur et de développement logiciel doivent changer si nous voulons éviter une stagnation de la performance durant les décennies à venir.Dans ce nouveau scénario, des nouveaux designs architecturaux et micro-architecturaux peuvent offrir des possibilités d'améliorer l'efficacité énergétique des ordinateurs, grâce à la spécialisation matérielle, comme par exemple les configurations de cœurs hétérogènes, des nouvelles unités de calcul et des accélérateurs. D'autre part, avec cette nouvelle tendance, le développement logiciel devra faire face au manque de portabilité de la performance entre les matériels toujours en évolution et à l'écart croissant entre la performance exploitée par les programmeurs et la performance maximale exploitable du matériel. Pour traiter ce problème, la contribution de cette thèse est une méthodologie et la preuve de concept d'un cadriciel d'auto-tuning à la volée pour les systèmes embarqués. Le cadriciel proposé peut à la fois adapter du code à une micro-architecture inconnue avant la compilation et explorer des possibilités d'auto-tuning qui dépendent des données d'entrée d'un programme.Dans le but d'étudier la capacité de l'approche proposée à adapter du code à des différentes configurations micro-architecturales, j'ai développé un cadriciel de simulation de processeurs hétérogènes ARM avec exécution dans l'ordre ou dans le désordre, basé sur les simulateurs gem5 et McPAT. Les expérimentations de validation ont démontré en moyenne des erreurs absolues temporels autour de 7 % comparé aux ARM Cortex-A8 et A9, et une estimation relative d'énergie et de performance à 6 % près pour le benchmark Dhrystone 2.1 comparée à des CPUs Cortex-A7 et A15 (big.LITTLE). Les résultats de validation temporelle montrent que gem5 est beaucoup plus précis que les simulateurs similaires existants, dont les erreurs moyennes sont supérieures à 15 %.Un composant important du cadriciel d'auto-tuning à la volée proposé est un outil de génération dynamique de code, appelé deGoal. Il définit un langage dédié dynamique et bas-niveau pour les noyaux de calcul. Pendant cette thèse, j'ai porté deGoal au jeu d'instructions ARM Thumb-2 et créé des nouvelles fonctionnalités pour l'auto-tuning à la volée. Une validation préliminaire dans des processeurs ARM ont montré que deGoal peut en moyenne générer du code machine avec une qualité équivalente ou supérieure comparé aux programmes de référence écrits en C, et même par rapport à du code vectorisé à la main.La méthodologie et la preuve de concept de l'auto-tuning à la volée dans des processeurs embarqués ont été développées autour de deux applications basées sur noyau de calcul, extraits de la suite de benchmark PARSEC 3.0 et de sa version vectorisée à la main PARVEC.Dans l'application favorable, des accélérations de 1.26 et de 1.38 ont été observées sur des cœurs réels et simulés, respectivement, jusqu'à 1.79 et 2.53 (toutes les surcharges dynamiques incluses).J'ai aussi montré par la simulation que l'auto-tuning à la volée d'instructions SIMD aux cœurs d'exécution dans l'ordre peut surpasser le code de référence vectorisé exécuté par des cœurs d'exécution dans le désordre similaires, avec une accélération moyenne de 1.03 et une amélioration de l'efficacité énergétique de 39 %.L'application défavorable a été choisie pour montrer que l'approche proposée a une surcharge négligeable lorsque des versions de noyau plus performantes ne peuvent pas être trouvées.En faisant tourner les deux applications sur les processeurs réels, la performance de l'auto-tuning à la volée est en moyenne seulement 6 % en dessous de la performance obtenue par la meilleure implémentation de noyau trouvée statiquement. / In computing systems, energy consumption is limiting the performance growth experienced in the last decades. Consequently, computer architecture and software development paradigms will have to change if we want to avoid a performance stagnation in the next decades.In this new scenario, new architectural and micro-architectural designs can offer the possibility to increase the energy efficiency of hardware, thanks to hardware specialization, such as heterogeneous configurations of cores, new computing units and accelerators. On the other hand, with this new trend, software development should cope with the lack of performance portability to ever changing hardware and with the increasing gap between the performance that programmers can extract and the maximum achievable performance of the hardware. To address this issue, this thesis contributes by proposing a methodology and proof of concept of a run-time auto-tuning framework for embedded systems. The proposed framework can both adapt code to a micro-architecture unknown prior compilation and explore auto-tuning possibilities that are input-dependent.In order to study the capability of the proposed approach to adapt code to different micro-architectural configurations, I developed a simulation framework of heterogeneous in-order and out-of-order ARM cores. Validation experiments demonstrated average absolute timing errors around 7 % when compared to real ARM Cortex-A8 and A9, and relative energy/performance estimations within 6 % for the Dhrystone 2.1 benchmark when compared to Cortex-A7 and A15 (big.LITTLE) CPUs.An important component of the run-time auto-tuning framework is a run-time code generation tool, called deGoal. It defines a low-level dynamic DSL for computing kernels. During this thesis, I ported deGoal to the ARM Thumb-2 ISA and added new features for run-time auto-tuning. A preliminary validation in ARM processors showed that deGoal can in average generate equivalent or higher quality machine code compared to programs written in C, including manually vectorized codes.The methodology and proof of concept of run-time auto-tuning in embedded processors were developed around two kernel-based applications, extracted from the PARSEC 3.0 suite and its hand vectorized version PARVEC. In the favorable application, average speedups of 1.26 and 1.38 were obtained in real and simulated cores, respectively, going up to 1.79 and 2.53 (all run-time overheads included). I also demonstrated through simulations that run-time auto-tuning of SIMD instructions to in-order cores can outperform the reference vectorized code run in similar out-of-order cores, with an average speedup of 1.03 and energy efficiency improvement of 39 %. The unfavorable application was chosen to show that the proposed approach has negligible overheads when better kernel versions can not be found. When both applications run in real hardware, the run-time auto-tuning performance is in average only 6 % way from the performance obtained by the best statically found kernel implementations.

Etant membre de la communauté internationale, l'Etat ne peut pas être irresponsable pour ses actions. De même la spécificité principale de la responsabilité internationale est liée aux particularités du droit international et de ses sujets principaux- Etats souverains. La compréhension du mécanisme de la mise en œuvre de la responsabilité internationale des Etats et de son rapport avec la souveraineté montre la validité et l'efficacité du droit international. La réalisation de la responsabilité en tant que processus est examinée en thèse en tenant compte des différents critères : comme la réalisation des éléments de la responsabilité (application de mesures de contrainte), le processus de l’attribution de la responsabilité (le procès de l’attribution à l'Etat des faits des autres sujets du droit international) et la réalisation des phases de la responsabilité (les questions liées à la procédure judiciaire et à l’exécution des décisions internationales).La corrélation de ces deux notions est conçu en thèse sous deux aspects: à savoir, si l'Etat souverain peut en se couvrant sous la souveraineté tenter d'éviter la responsabilité et quels sont les mécanismes pour l’en empêcher et à contrario, comment la réalisation de la responsabilité peut toucher ou même violer la souveraineté des Etats. / Being a member of the international society, the State can not be irresponsible for its actions. At the same time the peculiarity of international responsibility is joined to the peculiarities of the international law and its subjects-sovereign states.The understanding of the mechanism of application of State’s international responsibility and its relation with sovereignty shows the validity and the efficiency of the international law.The realization of the responsibility is regarded in this research as a process taking into account different criterions: as the realization of elements of responsibility (application of coercive measures), as a process of attribution of responsibility (a process of attribution to a State the acts of other subjects of the international law) and as a realization of phases of the responsibility (questions related to the court procedures and to the execution of the international awards).This research considers the correlation of these two legal concepts in two aspects: on the one hand, if the Sovereign state by using the principle of sovereignty can escape the responsibility and what are the mechanisms to prevent it, and, on the other hand, how the realization of responsibility could touch or even violate the sovereignty of the states.

C’est un adage bien connu, la peine privative de liberté n’est, théoriquement, que la privation de la liberté d’aller et venir. La France s’est ainsi dotée, le 24 novembre 2009, d’une loi pénitentiaire régissant les droits et les devoirs des personnes incarcérées. Son article 26 précise que : « les personnes détenues ont droit à la liberté d'opinion, de conscience et de religion ». Ce droit implique en substance celui de rechercher des informations, de construire son opinion, puis de l’extérioriser, soit, de pouvoir librement s’exprimer. Or, la réclusion physique d’un individu entraîne inévitablement des restrictions à l’usage de sa liberté deparole, entendue au sens large. S’il ne fait nul doute que les individus incarcérés sont titulaires de droits subjectifs, dans quelles conditions peuvent-ils être exercés ? Les droits des personnes détenues sont contraints par les limites inhérentes à la détention, la sécurité et le bon ordre. Cela implique une censure des autorités pénitentiaires, tant sur la parole que sur les écrits des personnes placées sous sa garde. A ces limitations générales, il faut aussi ajouter lescontraintes liées à la surpopulation carcérale et le poids du contexte sécuritaire actuel. Il entraîne un durcissement des politiques pénales qui peut fragiliser la liberté d’expression des personnes incarcérées. / It is a well-known saying, the sentence depriving of liberty is, in theory, only the deprivation of the freedom of movement. France has established, on November 24th, 2009, a prison law regulating the incarcerated persons rights and duties. Article 26 of said law indicates : “incarcerated persons have the right to freedom of opinion, conscience and religion”. This right implies the right to search information, build an opinion and carry it out, therefore to be able to speak freely. Yet, the physical imprisonment of an individual inevitably triggers restrictions to the use of his broader freedom of speech. If there is no doubt thatincarcerated persons have subjective rights, in what conditions can they be asserted? The inmate’s rights are compelled by the limits inherent in detention, security and order, which lead the prison administration to censor speech and writing of the individuals placed in custody. In addition to these general restrictions, be added all the constraints related to prison overcrowding but also the weight of the current security context. It leads to the strengthening of criminal policies which can weaken the prisoners’s freedom of expression.

A l’aune d’une réforme du droit des obligations, et alors que les relations contractuelles se complexifient et ont vocation à durer, le contrat a parfois besoin d’être protégé. Le respect de la parole donnée par les contractants, en raison de la confiance que les parties se sont mutuellement accordées, n’est pas toujours chose aisée pour les parties et un risque d’extinction du contrat sans satisfaction pèse sur les parties. La nullité du contrat, pour défaut de validité, mais surtout les risques d’inexécution, qui peuvent conduire à la résolution ou à la caducité du contrat, menacent l’existence du contrat qui doit pouvoir être sauvé. Une telle survie du contrat, qui a vocation à permettre la réalisation de l’objectif contractuel, est envisageable par la mise en place de remèdes aux défaillances du contrat et, plus généralement, de traitements en cas de risques d’inexécution. Ce droit des remèdes, déjà présent en droit positif, doit pouvoir être étendu, par une systématisation de la survie, qu’il est possible d’intégrer dans une conception renouvelée du contrat.Pour cela, il est indispensable qu’une obligation préexistante dont l’exécution est possible soit maintenue, afin de dépasser la menace d’inexécution. Ce préalable posé, une application extensive destinée à préserver la satisfaction du créancier est envisageable. De la période précontractuelle à l’extinction intégrale des obligations, autrement dit, le droit à l’exécution mais également la protection des obligations post-contractuelles une survie doit pouvoir être mise en place. Mais à quel prix ? La systématisation de la survie du contrat doit permettre de fixer les limites du mécanisme. Puisque les difficultés d’exécution doivent pouvoir être traitées par une modification, par une atteinte à l’intangibilité du contrat. Or, cette atteinte est parfois synonyme de protection de la force obligatoire et de la sécurité juridique des contractants. La loyauté et la bonne foi imposent parfois certains abandons au créancier, mais permettront la réalisation de l’objectif contractuel. Toutefois, des garde-fous doivent être intégrés pour préserver les intérêts d’un créancier, qui n’a pas à subir indéfiniment la situation contractuelle douloureuse. / From a reform of law of obligations standpoint, and while contractual relationships become evermore complex and are meant to last, the contract may need to be protected. Respect for the word given by the contractors, due to the trust that the parties have mutually granted, is not always an easy task for the parties, who may see the contract be extinguished without any satisfaction.The nullity of the contract, by way of invalidity, but especially the risk of default, which can lead to the resolution or the lapse of the contract, threatens the existence of the contract that must be saved. Such survival of the contract, which is intended to enable the achievement of the contractual objective, is foreseen by implementing remedies for the deficiencies of the contract and, more generally, the risk of treatment failure. This right to remedies, already present in positive law, must be extended by a systematization of survival so that it may be possible to integrate a remedy into a new version of the contract.For this, it is essential that preexisting obligation, for which execution is possible, be maintained in order to overcome the threat of default. This prior condition, extensively applied and designed to preserve the satisfaction of the creditor, is possible. From the pre-contractual period to full termination of obligations, including post contractual obligations, through the preservation of the execution, then survival is possible. But at what price?The systemization of contract survival can fix the limits of the mechanism. Implementation difficulties must be addressed by a change, for a breach of the inviolability of the contract, but this achievement is sometimes synonymous with protection of binding and legal security contractors. Loyalty and good faith sometimes provide some ways out for the creditor, but will achieve the contractual objective. However, limits should be incorporated to protect the interests of creditors, whom should not have to endure the painful contractual situation.

Cette thèse s’inscrit dans le domaine de l'intelligence ambiante (Ambient Intelligence - AmI). Les systèmes AmI sont des systèmes interactifs composés de plusieurs éléments hétérogènes. Principalement : les capteurs et les effecteurs.D'un point de vue fonctionnel, l'objectif des systèmes AmI est d'activer certains effecteurs, sur la base des mesures des capteurs. Toutefois, les capteurs et les effecteurs peuvent subir des défaillances. Notre motivation dans cette thèse est de munir les systèmes AmI de capacités d'auto-détection des pannes.Les ressources physiques ne sont pas nécessairement connues au moment de la conception, mais elles sont plutôt découvertes dynamiquement lors de l'exécution. Il est donc impossible d’appliquer les techniques classiques pour prédéterminer des boucles de régulation ad-hoc.Nous proposons une nouvelle approche où la stratégie de détection de défaillances est déterminée dynamiquement lors de l'exécution. Pour cela, les couplages entre capteurs et effecteurs sont déduits automatiquement lors de l’exécution. Ceci est rendu possible par la modélisation des caractéristiques des capteurs, des effecteurs, ainsi que des phénomènes physiques (que nous appelons effets) qui sont attendus dans l'environnement ambiant suite à une action d’un effecteur. Ces effets sont utilisés en run-time pour lier les effecteurs (produisant les effets) avec les capteurs correspondants (détectant ces effets). Nous introduisons une plateforme de détection des pannes qui génère à l’exécution un modèle de prédiction des valeurs attendues sur les capteurs. Ce modèle, de nature hétérogène (il mêle flots de données et automates finis) est exécuté par un outil adapté (ModHel’X) de façon à fournir les valeurs attendues à chaque instant. Notre plateforme compare alors ces valeurs avec les valeurs réellement mesurées de façon à détecter les défaillances. / This thesis takes place in the field of Ambient Intelligence (AmI). AmI Systems are interactive systems composed of many heterogeneous components. From a hardware perspective these components can be divided into two main classes: sensors, using which the system observes its surroundings, and actuators, through which the system acts upon its surroundings in order to execute specific tasks.From a functional point of view, the goal of AmI Systems is to activate some actuators, based on data provided by some sensors. However, sensors and actuators may suffer failures. Our motivation in this thesis is to equip ambient systems with self fault detection capabilities. One of the particularities of AmI systems is that instances of physical resources (mainly sensors and actuators) are not necessarily known at design time; instead they are dynamically discovered at run-time. In consequence, one could not apply classical control theory to pre-determine closed control loops using the available sensors. We propose an approach in which the fault detection and diagnosis in AmI systems is dynamically done at run-time, while decoupling actuators and sensors at design time. We introduce a Fault Detection and Diagnosis framework modeling the generic characteristics of actuators and sensors, and the physical effects that are expected on the physical environment when a given action is performed by the system's actuators. These effects are then used at run-time to link actuators (that produce them) with the corresponding sensors (that detect them). Most importantly the mathematical model describing each effect allows the calculation of the expected readings of sensors. Comparing the predicted values with the actual values provided by sensors allows us to achieve fault-detection.

Afin de garantir qu'un programme respectera toutes ses contraintes temporelles, nous devons être capable de calculer une estimation fiable de son temps d'exécution au pire cas (WCET: worst case execution time). Cependant, identifier une borne précise du pire temps d'exécution devient une tâche très complexe du fait de la sophistication croissante des processeurs. Ainsi, l'objectif de nos travaux de recherche a été de définir une méthode formelle qui puisse s'adapter aux évolutions du matériel. Cette méthode consiste à développer un modèle du processeur cible, puis à l'exécuter symboliquement afin d'associer à chaque trace d'exécution un temps d'exécution au pire cas. Une méthode de fusionnement est également prévue afin d'éviter une possible explosion combinatoire. Cette méthode a pour principale contrainte de ne pas introduire trop d'imprécision sur les temps calculés. / To ensure that a program will respect all its timing constraints we must be able to compute a safe estimation of its worst case execution time (WCET). However with the increasing sophistication of the processors, computing a precise estimation of the WCET becomes very difficult. In this report, we propose a novel formal method to compute a precise estimation of the WCET that can be easily parameterized by the hardware architecture. Assuming that we developed an executable timed model of the hardware, we use symbolic execution to precisely infer the execution time for a given instruction flow. We also merge the states relying on the loss of precision we are ready to accept, in order to avoid a possible states explosion.

Le droit à la santé, en tant que droit inaliénable, constitue l’un des droits fondamentaux de tout être humain, quelles que soient sa race, sa religion, ses opinions politiques, ou encore sa condition économique ou sociale. En détention comme « dehors », la société doit faire son possible pour que la situation des malades ne soit pas menacée. De même, en tant que titulaires d’un droit subjectif et usagers du service public, les détenus doivent être capables d’exercer ce droit et de savoir comment en revendiquer le respect. La réforme de 1994, en confiant leur prise en charge sanitaire au Ministère de la Santé, a suscité de nombreux espoirs. Néanmoins, l’application des droits en détention demeure toujours aussi complexe. A la fois facteur d’équilibre et générateur d’instabilité, ce droit ne requiert-il pas, par nature ou par définition, un espace de liberté ? Comment concevoir la reconnaissance et l’exercice de ce droit dans le contexte d’une institution totale, là où la liberté n’est pas la règle mais l’exception ? Les spécificités de l’exercice du droit à la santé en détention sont en effet une parfaite illustration de cette problématique. La prise en charge sanitaire des détenus nécessite la prise en compte des impératifs de sécurité, de sûreté et de discipline. Impératifs qui viennent freiner le respect des droits de l’homme et qui exigent inlassablement de rechercher la meilleure façon de concilier les objectifs sanitaires avec les contraintes pénitentiaires. L’effectivité de ce droit, tout comme l’efficacité de leur prise en charge, en sont donc tributaires, appelant une réflexion autour des notions visées par les textes ainsi qu’un perfectionnement des pratiques / The right to health, as an inalienable right, constitutes one of the fundamental rights of all human beings, whatever their race, religion, political opinions, or even their economic and social circumstances. Whether they are in detention or “outside”, society must do its best to protect sick people. As holders of a subjective right but also as public service users, the prisoners must be able to exercise this right and must know how to demand it be respected. By putting the Ministry of health in charge of the health care of prisoners, the 1994 reform raised much hope. Nevertheless, the implementation of the rights of prisoners remains just as complicated as ever. As it brings both balance and instability to prison life, doesn’t the right to health, by nature or by definition, require a free space? How can one envision the recognition and the exercising of this right within the context of a closed-off institution, where freedom is not the rule but the exception? The specificities of exercising one’s right to health while incarcerated are a perfect illustration of this problem. The health care of prisoners necessitates taking into account security, safety and disciplinary requirements. Requirements which can impede human rights concerns and which necessitate a tireless effort to find the best way to reconcile health goals and the many constraints of the prison institution. The effectiveness of prisoners’ right to health, as well as the efficacy of the care they receive, depend on the conditions of their detention and on the scheme being applied to them, thus calling for careful examination of the notions addressed by law, and for an effort to improve practices