Le répertoire original pour harpe est relativement restreint. Deux voies permettent de concourir à son accroissement : la création contemporaine d’une part, et la transcription d’autre part. La présente étude interroge le rapport entre les habitus anciens et une pratique actuelle de transcription, depuis le répertoire de clavecin français du XVIIIe siècle vers la harpe. La transcription est ici considérée comme une pratique non notée qui relève de l’interprétation, et qui partage avec celle-ci, comme avec la traduction, des problématiques fondamentales en apparence antinomiques : esprit et lettre, idiomatisme et fidélité. Elle confronte l’interprète à ses propres limites ainsi qu’à celles de son instrument, et favorise la rencontre avec l’altérité d’une écriture dépourvue de gestes familiers. La transcription constitue l’un des moyens privilégiés de compréhension du répertoire transcrit, de l’instrument de destination, et du rapport de l’interprète à son instrument. La transcription du répertoire de clavecin français pour harpe sera envisagée tout d’abord sous un angle historique, puis à travers les interrogations de nature esthétique que suscite l’antagonisme entre idiomatisme et fidélité, enfin la question des limites et impossibilités sera interrogée selon une approche technique et pratique. / The original harp repertoire is rather limited. It seems there are two efficient ways to help its increase : contemporary creation on the one hand, and transcription on the other. This study questions the relation between early music and a current way of transcribing for harp the eighteenth century french harpischord repertoire. Transcription is here considered as an unwritten practice that comes close to interpretation, and like interpretation and translation, it faces fundamental issues which seem paradoxical : spirit and letter, idiomatism and fidelity. Transcription forces the performer to face his own limits as well as his intrument’s, and it favours the encounter with the otherness of a writing that is free of any familiar gesture. Transcription is one of the best ways to comprehend the transcribed repertoire, the instrument the piece is being transcribed for, and the relationship the performer has with his instrument. The transcription for harp of the eighteenth century french harpischord repertoire will be examined first under a historic angle, then, with esthetic concerns raised by the paradox between idiomatism and fidelity, and finally, the issue of the limits and impossibilities will be studied from a technical and practical approach.

Examinando-se a idéia romana da auctoritas, encontra-se nela o registro, em linguagem mítica, da experiência de superação do conflito de vontades antagônicas e da instalação de um espaço horizontal em que se torna possível, graças ao julgamento e à ação, fundar as bases de um novo agir conjunto. Tal perspectiva permite analisar em chave distinta as relações entre direito e poder, abrindo espaço para a compreensão do direito como um fenômeno plural e dotado de dramaticidade, em cujo centro a figura do legislador racional, forjada a partir da experiência jurídica, não comunica potestas aos interlocutores jurídicos, mas sim a auctoritas de uma linguagem em que as mensagens de uns a outros podem ser traduzidas, nenhuma delas pode ser ignorada, e mesmo aquelas que não se traduzem em decisões prosseguem dotadas de força comunicativa. Investiga-se em seguida o direito como palco de representação, confronto, reformulação e ajuste de interesses, identificando-se o processo como órgão de que a civitas se vale para captar o político, e o populus representado para expressar o seu julgamento a respeito dos resultados globais da representação jurídica e política - eventualmente ensejador da mobilização de regras de calibração para a emissão, pelos comunicadores normativos, de respostas dotadas de auctoritas, e afinadas com os problemas apresentados pelas partes. Passa-se então ao exame da relação entre o vigor das normas jurídicas e a liberdade dos cives, mostrando-se que o êxito pragmático da comunicação normativa não se relaciona à imposição potestativa de um sentido único, mas à manutenção de um espaço em que se oferece aos cives, como alternativa aos riscos de violência e dominação do campo político, a possibilidade - e a liberdade - da ação dentro do sistema jurídico. / En examinant l\'idée romaine d\'auctoritas, on y trouve le rapport, en langage mythique, de l\'expérience du dépassement du conflict des volontés antagoniques et de l\'tablissement d\'un espace horizontal oùl il devient possible, grâce au jugement et à l\'action, fonder les bases d\'un nouveau agir conjoint. Cela rend possible une analyse distincte des rélations entre le droit et le pouvoir, et la compréension du premier comme un phénomène pluriel et doué de la dynamique d\'un drame, au coeur duquel la figure du legislateur rationnel, báti au sein de l\'experience juridique, ne communique point de potestas aux interlocuteurs juridiques, mais si l\'auctoritas d\'un langage où les uns peuvent traduire ce que les autres leur disent, où aucune message ne peut pas être ignorée et où même celles qui ne réussissent pas à fonder des décisions conservent leur force communicative. On examine ensuite le droit comme scène de representation, confrontation, reformulation et ajustement d\'interêts, et l\'on reussit à identifier le procéss comme organe dont la civitas se serl pour saisir le champ politique, et dont le populus representé se vaut pour exprimer son jugement sur les resultés de l\'activité des representants des champs juridique et politique. Ce jugement peut, à la limite, mettre en mouvement des règles de calibrage, qui assurent l\'auctoritas des reponses des communicateurs normatifs et leur consonance avec les problèmes soulevés par les parts du procés. L\'on reflet ensuite sur la relation entre la vigueur des règles de droit et la liberté des cives, et l\'on voit que le succès pragmatique de la communication normative n\'equivaut pas à l\'imposition potestative d\'un sens unique, mais plutôt à la manutention d\'un espace où les cives jouissent de la possibilité et de la liberté de l\'action dans le systhème juridique, comme voie alternative aux risques de violence et de domination du champ politique.

Résumé en français Le personnage homosexuel masculin dans le théâtre en France au cours du XXème siècle a singulièrement évolué. Nous analyserons d’une part, les typologies de ce personnage, à travers huit pièces. D’autre part, pour chacune d’entre elles, nous verrons comment la presse et les publics ont interprété ces personnages. Nous verrons comment, au delà de la forme théâtrale, c’est tout un discours sur les homosexuels qui est donné à voir et qui vient par là interroger les rapports entre le théâtre et la société. Dans la première partie de notre présente étude nous avons présenté le personnage homosexuel dans trois pièces, de facture différente, mais qui donnent toutes les trois à voir une figure de solitaire : Le Monsieur aux Chrysanthèmes, Armory, Un Taciturne de Roger Martin du Gard er Adam de Marcel Achard.. Il est solitaire car emmuré dans une tradition qui le condamne pour son désir alors même qu’il est resté inassouvi. L’homosexualité serait donc la marque d’un esprit faible, qui ne sait pas taire ses penchants et ne s’y employant pas suffisamment bien, se suicide.La deuxième partie de notre travail s’est penchée sur le personnage homosexuel présenté comme source de comique. Il s’agira le plus souvent de montrer que le rire qu’il suscite est une autre forme de condamnation par la société. Il s’agit alors d’un mode mineur, moins violent apparemment, mais tout aussi significatif d’un regard porté par la société sur les homosexuels. Cette partie est centrée sur les pièces d’Edouard Bourdet, La Fleur des Pois, d’André Roussin, Les Œufs de l’Autruche et enfin de Jean Poiret, La Cage aux folles. Le personnage homosexuel fait rire car il est incapable de se conformer à ce que la société, implicitement, attend de lui. Un homme doit, naturellement aimer les femmes, être viril, masculin, maîtriser ses sentiments et ses émotions, ne pas pleurer. Dans notre dernière partie, apparaîtra, pour la première fois, une réappropriation qui va se faire par les homosexuels eux mêmes et, de ce fait, ouvrir la voie à d’autres artistes qui ne parleront pas à la place des homosexuels. Au contraire, naîtront des formes qui seront revendiquées comme étant écrites par des homosexuels. C’est le cas avec les deux dernières pièces que nous avons réunies dans notre corpus : Angels in America de Tony Kushner et Le Pays Lointain de Jean-Luc Lagarce. Elles évoquent, de manière plus directe pour la première, l’épidémie de SIDA dans les années 1980 et 1990 au sein de la communauté homosexuelle. / In the XXth century, in French theatre, the gay male character has remarkably changed. We will analyse on one hand the character typologies across eight plays. One the other hand, for each of the plays we will see how the public and the press interpreted these characters. We will see, above the theatrical form, how it finally is a speech on homosexual that is given and that comes and asks the links that are between theatre and society.In the first part of our study we introduced, the gay male character in three plays, with different styles but the three of them will give a solitary figure : Le Monsieur aux Chrysanthèmes of Armory, Un taciturne of Roger Martin and Adam of Marcel Achard. It is a solitary character because it is walled in a tradition that condemns it for its own desire where it is already unfulfilled. Homosexuality will then be seen as the mark of a weak spirit, that can not shut its inclinations and when it’s too obvious the character will commit suicide.The second part of our work underlines gay male character seen as a comic part. The point will show how the character generates laughter, and so, it does prove society condemnation. It is a minor mode indeed, apparently less violent, but it just shows how society sees homosexuals, in an other way . This part will be focused on 3 plays : La Fleur des Pois of Edouard Bourdet,, Les Oeufs de l’Autruche of André Roussi and La Cage aux folles of Jean Poiret. The homosexual character does make laugh because it is unable to conform to what society really expects from him. A man has to love a woman, be manly, masculine, he has to master his feelings and not cry.In our last part will appear for the first time, an acquisition of homosexual signs. Thanks to that other artists will not talk instead of homosexuals. On the contrary, some forms will be born and they will be claimed as written by homosexuals. It is the case in the last two plays we gathered in our corpus: Angels in America of Tony Kushner and Le Pays Lointain of Jean-Luc Lagarce. They both talk, in a more direct way, of the AIDS epidemic in the 80’s and 90’s among the homosexual community.

Doctorat en philosophie et lettres / info:eu-repo/semantics/nonPublished

Doctorat en philosophie et lettres / info:eu-repo/semantics/nonPublished

Qu'est-ce qui fait de la philosophie une discipline autonome par rapport aux sciences ? Centrale dans l’œuvre de Granger, cette question nous conduira à examiner l'opposition entre deux procédés : la structuration scientifique et l'interprétation philosophique. La première construit l'expérience dans des structures d'objets, tandis que la seconde la commente dans des systèmes de significations. Nous montrerons comment ces deux procédés prolongent une distinction plus fondamentale qui se situe au niveau même de la réalité : le virtuel et l'actuel. En reconnaissant que le parcours de la connaissance est un va-et-vient constant entre l'actualité brute de l'expérience et sa virtualité construite, le chemin de la science à la philosophie se tracera ainsi : au point de départ - les sciences formelles - lieu de naissance du virtuel ; à une étape intermédiaire - les sciences empiriques - moment de confrontation du virtuel à l'actuel ; à l'aboutissement - la philosophie - champ d'unification de la réalité dans la totalité de ses aspects. / What makes philosophy an autonomous discipline regarding sciences? Central in the oeuvre of Granger, this question will lead us to examine the opposition between two procedures: the scientific structuration and the philosophical interpretation. The first builds the experience in structures of objects, whereas the second comments it in systems of significations.We will demonstrate how these two procedures extend a more fundamental distinction that lies in the very level of reality: the virtual and the actual. Acknowledging that the course of knowledge is a constant back and forth between the crude actuality of experience and its built virtuality, the way from science to philosophy can be drawn as follows: at the starting point - formal sciences - birthplace of virtual; to an intermediate stage - the empirical sciences - moment of confrontation between the virtual and the actual; and ultimately - the philosophy - unification field of the reality in the totality of its aspects.

Cette thèse propose un nouveau cadre pour la composition de domaines abstraits. L'idée principale en est l'organisation d'une sémantique abstraite suivant la distinction usuelle entre expressions et instructions, en cours dans la plupart des langages impératifs. La définition d'une sémantique abstraite peut alors se diviser entre abstractions de valeurs et abstractions d'états (ou domaine abstrait). Les abstractions de valeurs représentent les valeurs possibles d'une expression en un point donné, et assurent l'interprétation de la sémantique des expressions. Les abstractions d'états représentent les états machines qui peuvent se produire lors de l'exécution d'un programme, et permettent d'interpréter la sémantique des instructions. De ce choix de conception découle naturellement un élégant système de communication entre abstractions. Lors de l'interprétation d'une instruction, les abstractions d'états peuvent échanger des informations au moyen d'abstractions de valeurs, qui expriment des propriétés à propos des expressions. Les valeurs forment donc une interface de communication entre états abstraits, mais sont également des éléments canoniques de l'interprétation abstraite. Ils peuvent donc eux-même être combinés par les moyens existants de composition d'abstractions, permettant encore davantage d'interactions entre les composants des sémantiques abstraites. Cette thèse explore les possibilités offertes par cette nouvelle architecture des sémantiques abstraites. Nous décrivons en particulier des stratégies efficaces pour le calcul d'abstractions de valeurs précises à partir des propriétés inférées par les domaines, et nous illustrons les différentes possibilités d'interactions que ce système offre. L'architecture que nous proposons inclue également une collaboration directe des abstractions pour l'émission des alarmes qui signalent les erreurs possibles du programme analysé. Nous proposons également un mécanisme permettant d'interagir avec les composants d'une combinaison générique de types OCaml. Nous utilisons des GADT pour encoder la structure interne d'une combinaison, et construisons automatiquement les fonctions d'injection et de projection entre le produit et ses composants. Cette fonctionnalité permet d'établir une communication directe entre les différentes abstractions d'un interpréteur abstrait. Enfin, une dernière contribution de cette thèse est l'extension automatique de domaines abstraits à l'aide de prédicats logiques qui évitent les pertes d'information aux points de jonction. De fait, lorsque plusieurs chemins d'exécution se rejoignent, un domaine abstrait doit représenter les comportements possibles de chacun des chemins, ce qui engendre souvent des pertes de précision. Pour remédier à cette limitation, nous proposons de propager un ensemble d'états abstraits, munis chacun d'un prédicat qui indique sous quelle condition l'état est valable. Contrairement à d'autres approches, notre analyse ne maintient pas une stricte partition des états abstraits, car les prédicats utilisés ne sont pas mutuellement exclusifs. Cette particularité rend possible des optimisations cruciales pour le passage à l'échelle de cette technique, confirmée par nos résultats expérimentaux sur un programme industriel généré. L'ensemble du système de composition des abstractions proposé dans cette thèse a été mis en œuvre dans EVA, la nouvelle version de l'interpréteur abstrait de Frama-C. EVA a été spécifiquement conçu pour faciliter l'introduction de nouvelles abstractions et permettre des interactions riches entre ces abstractions. Grâce à son architecture modulaire et extensible, cinq nouveaux domaines abstraits ont pu être introduit dans l'analyseur en moins d'un an, améliorant ainsi tant ses capacités que sa précision. / This thesis proposes a new framework for the combination of multiple domains in the abstract interpretation theory. Its core concept is the structuring of the abstract semantics by following the usual distinction between expressions and statements. This can be achieved by a convenient architecture where abstractions are separated in two layers: value abstractions, in charge of the expression semantics, and state abstractions —or abstract domains—, in charge of the statement semantics. This design leads naturally to an elegant communication system where the abstract domains, when interpreting a statement, interact and exchange information through value abstractions, that express properties about expressions. While the values form the communication interface between domains, they are also standard elements of the abstract interpretation framework. The communication system is thus embedded in the abstract semantics, and the usual tools of abstract interpretation apply naturally to value abstractions. For instance, different kinds of value abstractions can be composed through the existing methods of combination of abstractions, enabling even further interaction between the components of the abstract semantics. This thesis explores the possibilities offered by this framework. We discuss efficient strategies to compute precise value abstractions from the information inferred by abstract domains, and illustrate the means of communication between different state abstractions. Our architecture also features a direct collaboration for the emission of alarms that report the possible errors of a program. We also proposes a mechanism to enable interacting with the components of a modular combination of OCaml types. We use GADT to encode the inner shape of a combination, and automatically build injection and projection functions between a product of datatypes and its components. This allows direct communications between the abstractions of an abstract interpreter. Finally, a last contribution of this thesis is the automatic extension of abstract domains to track sets of disjunctive abstract states, each one being qualified with a predicate for which the state holds. This enhances the precision of an abstract semantics at join points, when several possible paths of a program execution meet. At these points, predicates preserve the information usually lost by the merge of abstract states. Unlike other approaches, the analysis does not maintain a strict partition of the abstract states, as the predicates we use are not mutually exclusive. This design enables some optimizations that are crucial for scalability, as confirmed by our experimental results on an industrial, generated program. The general system of abstractions combination has been implemented within EVA, the new version of the abstract interpreter provided by the Frama-C platform. Thus, Eva enjoys a modular and extensible architecture designed to facilitate the introduction of new abstractions and to enable rich interactions between them. Thanks to this work, five new domains from the literature have been implemented in less than a year, enhancing the scope and the precision of the analyzer.

JavaScript est un langage de programmation maintenant très utilisé - y compris dans des domaines où la sécurité est importante. Il est donc important de permettre de vérifier la qualité des logiciels écrit en JavaScript. Cette thèse explore l'approche de la preuve formelle, visant à donner une preuve mathématique qu'un programme donné se comporte comme prévu. Pour construire cette preuve, nous utilisons un assistant de preuve tel que Coq - un programme de confiance permettant de vérifier nos preuves formelles. Pour pouvoir énoncer qu'un programme JavaScript se comporte correctement, nous avons tout d'abord besoin d'une sémantique du langage JavaScript. Cette thèse s'est donc inscrite dans le projet JSCert visant à produire une sémantique formelle pour le langage JavaScript. Devant la taille de la sémantique de JavaScript, il est important de savoir comment on peut lui faire confiance : une faute de frappe peut compromettre toute la sémantique. Pour pouvoir faire confiance à JSCert, nous nous sommes appuyés sur deux sources de confiance. D'une part, JSCert a été conçue pour être très similaire à la spécification officielle de JavaScript, le standard ECMAScript : ils utilisent les mêmes structures de donnée, et il est possible d'associer chaque règle de réduction dans JSCert à une ligne d'ECMAScript. D'autre part, nous avons défini et prouvé relativement à JSCert un interpréteur nommé JSRef. Nous avons aussi pu lancer JSRef sur les suites de test de JavaScript. La sémantique de JSCert n'est pas la première sémantique formelle pour le JavaScript, mais c'est la première à proposer deux manières distinctes pour relier la sémantique formelle au langage JavaScript : en ayant une sémantique très similaire à la spécification officielle, et en ayant testé cette sémantique pour la comparer aux autres interpréteurs. Plutôt que de prouver indépendamment que chaque programme JavaScript s'exécute comme prévu, nous analysons ses programmes par interprétation abstraite. Cela consiste à interpréter la sémantique d'un langage avec des domaines abstraits. Par exemple la valeur concrète 1 pourra être remplacée par la valeur abstraite +. L'interprétation abstraite se compose en deux étapes : d'abord une sémantique abstraite est construite et prouvée correcte vis à vis de sa sémantique concrète, puis des analyseurs sont construits selon cette sémantique abstraite. Nous ne nous intéresserons qu'à la première étape dans cette thèse. La sémantique de JSCert est immense - plus de huit cent règles de réduction. La construction d'une sémantique abstraite traditionnelle ne passent pas à l'échelle face à de telles tailles. Nous avons donc conçu une nouvelle manière de construire des sémantiques abstraites à partir de sémantiques concrètes. Notre méthode se base sur une analyse précise de la structure des règles de réduction et vise à minimiser l'effort de preuve. Nous avons appliqué cette méthode sur plusieurs langages. Dans le but d'appliquer notre approche sur JavaScript, nous avons construit un domaine basé sur la logique de séparation. Cette logique requiert de nombreuses adaptations pour pouvoir s'appliquer dans le cadre de l'interprétation abstraite. Cette thèse en étudie les interactions et propose une nouvelle approche pour les solutionner dans le cadre construit précédemment. Nos domaines, bien qu'assez simple par rapport au modèle mémoire de JavaScript, semblent permettre la preuve d'analyseurs déjà existant. Les contributions de cette thèse sont donc triples : une sémantique formelle de confiance pour le langage JavaScript, un formalisme générique pour construire des sémantiques abstraites, et un domaine non trivial pour ce formalisme. / JavaScript is a trending programming language. It is not used in applications in which security may be an important issue. It thus becomes important to be able to control the quality of softwares written in JavaScript. This thesis explores a formal proof approach, which aims at giving a mathematical proof that a given program behaves as expected. To build this proof, we use proof assistants such as Coq—a trusted program enabling to check formal proofs. To state that a JavaScript program is behaving as expected, we first need a semantics of the JavaScript language. This thesis is thus part of the JSCert project, whose aim it to prove a formal semantics for JavaScript. Because of the size of JavaScript's semantics, it is crucial to know how it can be trusted: a typing mistake could compromise the whole semantics. To trust JSCert, we based ourselves on two trust sources. On one hand, JSCert has been designed to be the most similar it can be from the official JavaScript specification, the ECMAScript standard: they use the same data structures, and it is possible to relate each derivation rule in JSCert to a line of ECMAScript. On the other hand, we defined and proved correct with respect to JSCert an interpreter named JSRef. We have been able to run JSRef on JavaScript test suites. The JSCert semantics is not the first formal semantics of JavaScript, but it is the first to propose two distinct ways to relate the formal semantics to the JavaScript language: by having a semantics close to the official specification, and by testing this semantics and comparing it to other interpreters. Instead of independently proving that each JavaScript program behaves as expected, we chose to analyse programs using abstract interpretation. It consists of interpreting the semantics of a programming language with abstract domains. For instance, the concrete value 1 can be replaced by the abstract value +. Abstract interpretation is split into two steps : first, an abstract semantics is built and proven correct with respect to its concrete semantics, then, analysers are built from this abstract semantics. We only focus on the first step in this thesis. The JSCert semantics is huge - more than height hundred derivation rules. Building an abstract semantics using traditional techniques does not scale towards such sizes. We thus designed a new way to build abstract semantics from concrete semantics. Our approach is based on a careful analysis on the structure of derivation rules. It aims at minimising the proof effort needed to build an abstract semantics. We applied our method on several languages. With the goal of applying our approach to JavaScript, we built a domain based on separation logic. This logic require several adaptations to be able to apply in the context of abstract interpretation. This thesis precisely studies these interactions and introduces a new approach to solve them in our abstract interpretation framework. Our domains, although very simple compared to the memory model of JavaScript, seems to enable the proof of already existing analysers. This thesis has thus three main contributions : a trusted formal semantics for the JavaScript, a generic framework to build abstract semantics, and a non-trivial domain for this formalism.

Les failles sont des zones de rupture de la roche qui affectent le comportement mécanique et fluide des réservoirs. De nombreuses incertitudes existent sur la géométrie et la topologie des réseaux de failles dues à la résolution et la qualité des données, mais aussi aux lacunes d'informations. Des approches stochastiques ont été utilisées dans la littérature pour gérer les incertitudes structurales. Ces méthodes génèrent un ensemble de modèles possibles de failles conditionné par les données disponibles. Dans cette thèse, nous explorons deux principales stratégies de conditionnement de la modélisation stochastique de réseaux de failles. La première stratégie élaborée permet de prendre en compte des observations d'absences de failles sur des données, par exemple, des zones où les réflecteurs sismiques sont continus. Dans ce but, le réservoir est divisé en deux sous-volumes délimités par une enveloppe surfacique 3D : un volume non-faillé et un volume potentiellement-faillé. Les surfaces de failles sont ensuite simulées et optimisées de manière à être entièrement positionnées dans la zone identifiée comme potentiellement faillée. La seconde stratégie de conditionnement présentée dans cette thèse gère les incertitudes relatives à l'interprétation de la segmentation des failles. La méthode génère un ensemble de modèles de segments de failles en-échelon à partir d'une interprétation continue à plus grande échelle d'une faille segmentée. La méthode utilise les variations d'orientations de la faille segmentée pour identifier la position des différents segments la composant. L'impact des différentes configurations de segmentation sur les simulations d'écoulements est étudié / Faults are discontinuities in rock volumes that affect mechanical properties and flow paths of hydrocarbon reservoirs. However, subsurface modeling remains limited by the incompleteness and resolution of available data, so that uncertainties remain on the geometry and the connectivity of fault networks. To assess fault network uncertainties, several stochastic approaches have been introduced in the literature. These methods generate a set of possible fault models conditioned by reservoir data. In this thesis, we investigate two main conditioning strategies of stochastic fault modeling methods. The first one takes into account the observations of the fault absence, for instance, as indicated by seismic reflector continuity. To do this, the reservoir volume is divided into two sub-volumes delimited by a 3D envelope surface: (1) a volume where no faults occur, and (2) a potentially-faulted volume. Then, faults are simulated and optimized in such a way as to be entirely confined to the potentially-faulted volume. The second presented strategy deals with the uncertainties related to the seismic interpretation of fault segmentation. It generates a set of fine-scale segmented faults from a larger-scale and continuous interpretation of the fault. The method uses the orientation variations of the continuous fault to subdivide it into several possible fault segments. The effects of the different segmentation configurations on flow simulations are studied

Dans cette thèse, nous cherchons à penser les enjeux philosophiques de l’application de méthodes herméneutiques en histoire de la philosophie politique. À partir d’une étude comparative des interprétations de l’œuvre de Nicolas Machiavel offertes par Leo Strauss, Quentin Skinner et Claude Lefort, nous interrogeons le rapport que l’interprète institue avec le texte qu’il étudie. Nous montrons qu’il y a dans les trois cas un écart entre l’exposition théorique des principes herméneutiques et l’application effective de ces derniers. Nous soutenons que les divergences fondamentales entre les trois lectures des écrits machiavéliens ne trouvent pas leur fondement dans la différence des méthodes employées, mais proviennent en dernier lieu de la compréhension particulière qu’ils ont du rôle et du statut de la pensée de Machiavel. Autrement dit, nous cherchons à montrer que l’intérêt pour la signification de l’œuvre machiavélienne dépasse la simple analyse des écrits d’un auteur du passé; les trois interprètes entretiennent un rapport singulier à la pensée du secrétaire florentin. En ce sens, l’étude des herméneutiques de Strauss, Skinner et Lefort appliquées à Machiavel est indissociable d’une interrogation sur l’articulation entre interprétation et politique.