Utilisant le point de vue introduit par V.G. Berkovich en géométrie analytique sur un corps non archimédien k, nous montrons dans cette thèse qu'il existe une théorie du potentiel naturelle sur toute courbe k-analytique lisse, tout à fait similaire à la théorie classique sur les surfaces de Riemann (courbes analytiques complexes). La motivation initiale vient des travaux de R. Rumely sur les applications arithmétiques d'une telle théorie. La théorie non archimédienne du potentiel à un aspect fortement combinatoire que l'on exploite initialement pour définir les fonctions harmoniques et établir leurs propriétés fondamentales. Nous introduisons ensuite une notion de fonction lisse ainsi qu'un opérateur linéaire, formellement analogue au laplacien complexe dd^c, que l'on étudie via une théorie des distributions. Le dernier chapitre présente une généralisation de la théorie d'Arakelov en dimension un, fondée sur la théorie non archimédienne du potentiel. Nous l'utilisons pour établir un théorème d'équidistribution des suites de points de petite hauteur, ainsi que pour donner une nouvelle démonstration d'un théorème de Rumely sur les capacités arithmétiques.

Cette étude entend questionner l’impensé de la lecture et de la textualité sous-jacent aux modèles traductologiques orientés vers le processus qui se sont imposés en didactique de la traduction au cours des quatre dernières décennies, tels que la théorie interprétative de l’École de Paris et la théorie fonctionnaliste du Skopos de l’École allemande, et qui sous-tendent actuellement la formation des traducteurs professionnels au Canada. On trouvera dans ces pages, après un survol de l’histoire de cette formation, une confrontation dialogique entre les fondements immanentistes des approches qui y sont dominantes et ceux de théories issues du champ littéraire ayant problématisé l’acte de lecture, ainsi que l’analyse de la traduction collective d’une œuvre de fiction (réalisée par une équipe de traducteurs diplômés du premier cycle) dont le but est d’étayer la critique métathéorique.

L’objectif central de cette thèse est d’observer et de décrire le processus de naissance et d’institutionnalisation d’une nouvelle théorie de la peine : la théorie de la dénonciation. Cette théorie de la peine va naître à l’intérieur d’un système d’idées formé par d’autres théories de la peine déjà institutionnalisées. Ce système d’idées a été identifié et appelé par Alvaro Pires la « rationalité pénale moderne ». Notre contribution visera, elle, à observer d’une part le processus de naissance d’une autre théorie de la peine à l’intérieur de ce système d’idées et, d’autre part, la naissance et l’institutionnalisation de cette théorie dans divers discours : la philosophie et la doctrine juridique, les rapports des commissions de réforme du droit ou encore dans la jurisprudence (canadienne). Au cours de cette observation, nous aurons également la possibilité de voir comment une conception alternative de la dénonciation est apparue, mais sans réussir à prendre la forme stricte d’une « théorie de la peine » ni à s’institutionnaliser de façon stable et visible. Il s’agit de la dénonciation telle que l’a conçue la Commission de réforme du droit du Canada dans les années 1970. Cette manière de concevoir la dénonciation se situait à l’extérieur du système d’idées formé par la rationalité pénale moderne. Cette thèse fait plusieurs contributions à la fois, et de différents genres. Elle prétend contribuer entre autres à la description du processus de naissance et d’institutionnalisation d’une théorie (de la peine) du système de droit criminel en mettant en évidence comment cette théorie va s’opposer à une conception alternative portant le même nom et prédominer sur cette dernière. De plus, cette thèse va construire trois niveaux parallèles d’observation empirique. En effet, nous allons observer la naissance de cette théorie sur trois trames discursives distinctes et bien différenciées : (i) le discours de la philosophie, de la théorie du droit et de la sociologie (ou criminologie) ; (ii) le discours des commissions de réforme (« étatiques » et « non étatiques ») ; (iii) le discours de la jurisprudence.

Dans cette thèse, nous établissons un théorème de rigidité topologique pour une large classe de sous-groupes du groupe de difféomorphismes analytiques réels préservant l'orien- tation du cercle Diff (S1). En effet, les objets principaux étudiés dans cette thèse sont les sous-groupes localement C 2-non-discrets de type fini de Diff (S1). Dans le premier Chapitre, on donne des rappels sur la relation entre la théorie de la mesure et les systèmes dynamiques et on donne aussi des rappels sur les définitions et les propriétés des espaces hyperboliques, des groupes hyperboliques et des leurs bords. Le deuxième Chapitre contient des définitions précises pour la plupart des notions pertinentes pour cette thèse, revisite les résultats concernant la théorie de Shcherbakov- Nakai sous une forme adaptée à nos besoins et fournit une description des dynamiques topologiques associées au sous-groupe localement C 2-non-discret de Diff (S1). Le troisième Chapitre est consacré à la preuve du Théorème A "le théorème de rigidité topologique". Dans la première section de ce chapitre, on démontre le Théorème A dans divers cas particuliers, dont le cas où le groupe a une orbite finie et le cas où le groupe est résoluble mais non-abélien. Il restera alors démontrer le Théorème A dans le cas dit "générique" et cela sera l'objet du restant de ce chapitre. Dans la deuxième section de ce chapitre, nous construisons une suite de difféomorphismes de G1 convergeant vers l'identité dans C 2-topologie sur l'intervalle I C S1. Dans la dernière section de ce chapitre, nous allons démontrer le Théorème A modulo la Proposition 3.3.3. En effet, le Théorème 3.3.1 sera prouvé et ce théorème constitue un énoncé plus forte que celui du Théorème A. L'énoncé principal du quatrième Chapitre est le Théorème 4.2.1. La démonstration du Théorème 4.2.1 est une combinaison des faits standards sur les groupes hyperboliques avec l'éxistence d'une mesure µ sur G1 donnant lieu à une mesure stationnaire absolu- ment continue. Ce théorème entraînera la démonstration du Théorème B. Finalement, l'Annexe contient une réponse partielle dans la catégorie analytique à une question posée dans [De]. L'annexe se termine ensuite par un résumé du rôle joué par l'hypothèse de régularité (C) dans cette thèse. / In this thesis we establish a topological rigidity theorem for a large class of subgroups of the group Diff (S1) consisting of (orientation-preserving) real analytic diffeomorphisms of the circle S1. Indeed, the primary object studied in this thesis are finitely generated, locally C 2-non-discrete subgroups of Diff (S1). In the first Chapter, we briefly recall several basic facts in the relation between measure theory and dynamical systems and recall the definitions and basic properties of hyperbolic spaces, hyperbolic groups and their boundaries. The second Chapter contains accurate definitions for most of the notions relevant for this thesis, revisits results related to Shcherbakov-Nakai theory in a form adapted to our needs and provides a description of the topological dynamics associated with a locally C 2-non-discrete subgroup of Diff (S1). The third Chapter is devoted to proving Theorem A "topological rigidity theorem". In the first section of this chapter, we prove Theorem A in various special cases, including the case where the group has a finite orbit as well as the case in which the group is solvable but non-abelian. It will then prove Theorem A in the case called "generic" and this will be the subject of the remainder of this chapter. In the second section of this chapter, we construct an explicit sequence of diffeomorphisms in G1 converging to the identity in the C 2-topology on the interval I C S1. In the last section of this chapter, we shall prove Theorem A modulo Proposition 3.3.3. In fact, Theorem 3.3.1 will be proved and this theorem provides a statement fairly stronger than what is strictly needed to derive Theorem A. The main statement in the fourth Chapter is Theorem 4.2.1. The proof of The- orem 4.2.1 is combined standard facts about hyperbolic groups with the existence of a measure µ on G1 giving rise to an absolutely continuous stationary measure. This theorem will lead to the proof of Theorem B. In the end, the Appendix contains a partial answer in the analytic category to a question raised in [De]. The appendix then ends with a summary of the role played by the regularity assumption (C) in this thesis.

Cette thèse se propose de rendre compte de l’articulation qui est opérée dans l’œuvre de Theodor W. Adorno entre critique de l’idéalisme et critique de la société. Ceci en confrontant deux figures que nous considérons comme centrales pour son dispositif : celle de principe d’identité et celle de société d’échange. Car il s’agit pour Adorno de déterminer la manière dont la logique de le pensée identifiante peut rencontrer celle de l’abstraction marchande : une même tendance à la mutilation de l’hétérogène y serait repérable. La question étant ici celle d’analyser comment ces deux modalités peuvent se médiatiser, de comprendre comment une philosophie orientée en direction du primat de la non-identité peut aussi dans le même temps se déployer comme théorie critique. En d’autres termes, saisir une contrainte objective dans et par le concept implique chez Adorno de rendre compte de l’imbrication entre idéalisme et domination sociale : de la critique de la logique conceptuelle identificatoire à celle de l’immanence du monde devenu système, en passant par celle de la subjectivité constituante ou des formes d’abstraction sociales fétichistes et réifiées. Tout l’enjeu de notre travail sera de ce fait de reconstruire les principales modalités d’une telle problématique, nous concentrant sur la discussion par Adorno des thèses d’Alfred Sohn-Rethel dans un premier temps, pour ensuite étudier selon deux grands moments le statut du principe d’échange et sa liaison avec la rationalité identificatoire ‒ celui de la Dialectique de la Raison (1944-47) et celui de la Dialectique négative (1966). / The aim of this dissertation is to account for the articulation between the critique of idealism and the critique of society operated in Theodor W. Adorno’s work. In order to do so, I compare two figures which I consider central in his conceptual apparatus : the identity principle and the exchange society. For Adorno’s goal is to determine the way the logic of identificatory thought meets the logic of commodity abstraction, where a same tendency towards the mutilation of the heterogeneous is at work. The question is thus to analyse how these two modalities can mediate each other and to understand how a philosophy which is guided by the primacy of non-identity can, at the same time, deploy itself as a critical theory. In other words, to grasp conceptually an objective constraint means for Adorno to account for the interweaving of idealism and social domination : from the critique of the indentificatory conceptual logic to the critique of the immancence of a now system-like world, through the critique of constitutive subjectivity and of forms of social, fetishistic and reified abstractions. The aim of this study is to reconstruct the main modalities of this problematic, focusing on Adorno’s dicussion of Alfred Sohn-Rethel first, and then on the status of the exchange principle and its connection witch identificatory rationality in Dialectic of Enlightenment (19944-47) and in Negative Dialectic (1966).

La vérification automatique de preuves consiste à faire vérifier par un ordinateur la validité de démonstrations d'énoncés mathématiques. Cette vérification étant purement calculatoire, elle offre un haut degré de confiance. Elle est donc particulièrement utile pour vérifier qu'un logiciel critique, c'est-à-dire dont le bon fonctionnement a un impact important sur la sécurité ou la vie des personnes, des entreprises ou des biens, correspond exactement à sa spécification. DEDUKTI est l'un de ces vérificateurs de preuves. Il implémente un système de type, le lambda-Pi-Calcul Modulo, qui est une extension du lambda-calcul avec types dépendants avec des règles de réécriture du premier ordre. Suivant la correspondance de Curry-Howard, DEDUKTI implémente à la fois un puissant langage de programmation et un système logique très expressif. Par ailleurs, ce langage est particulièrement bien adapté à l'encodage d'autres systèmes logiques. On peut, par exemple, importer dans DEDUKTI des théorèmes prouvés en utilisant d'autres outils tels que COQ, HOL ou encore ZENON, ouvrant ainsi la voie à l'interopérabilité entre tous ces systèmes. Le lambda-Pi-Calcul Modulo est un langage très expressif. En contrepartie, certaines propriétés fondamentales du système, telles que l'unicité des types ou la stabilité du typage par réduction, ne sont pas garanties dans le cas général et dépendent des règles de réécriture considérées. Or ces propriétés sont nécessaires pour garantir la cohérence des systèmes de preuve utilisés, mais aussi pour prouver la correction et la complétude des algorithmes de vérification de types implémentés par DEDUKTI. Malheureusement, ces propriétés sont indécidables. Dans cette thèse, nous avons donc cherché à concevoir des critères garantissant la stabilité du typage par réduction et l'unicité des types et qui soient décidables, de manière à pouvoir être implémentés par DEDUKTI. Pour cela, nous donnons une nouvelle définition du lambda-Pi-Calcul Modulo qui rend compte de l'aspect itératif de l'ajout des règles de réécriture dans le système en les explicitant dans le contexte. Une étude détaillée de ce nouveau calcul permet de comprendre qu'on peut ramener le problème de la stabilité du typage par réduction et de l'unicité des types à deux propriétés plus simples, qui sont la compatibilité du produit et le bon typage des règles de réécriture. Nous étudions donc ces deux propriétés séparément et en donnons des conditions suffisantes effectives. Ces idées ont été implémentées dans DEDUKTI, permettant d'augmenter grandement sa généralité et sa fiabilité. / Automatic proof checking is about using a computer to check the validity of proofs of mathematical statements. Since this verification is purely computational, it offers a high degree of confidence. Therefore, it is particularly useful for checking that a critical software, i.e., a software that when malfunctioning may result in death or serious injury to people, loss or severe damage to equipment or environmental harm, corresponds to its specification. DEDUKTI is such a proof checker. It implements a type system, the lambda-Pi-Calculus Modulo, that is an extension of the dependently-typed lambda-calculus with first-order rewrite rules. Through the Curry-Howard correspondence, DEDUKTI implements both a powerful programming language and an expressive logical system. Furthermore, this language is particularly well suited for encoding other proof systems. For instance, we can import in DEDUKTI theorems proved using other tools such as COQ, HOL or ZENON, a first step towards creating interoperability between these systems.The lambda-Pi-Calculus Modulo is a very expressive language. On the other hand, some fundamental properties such as subject reduction (i.e., the stability of typing by reduction) and uniqueness of types are not guaranteed in general and depend on the rewrite rules considered. Yet, these properties are necessary for guaranteeing the coherence of the proof system, but also for provingthe soundness and completeness of the type-checking algorithms implemented in DEDUKTI. Unfortunately, these properties are undecidable. In this thesis, we design new criteria for subject reduction and uniqueness of types that are decidable in order to be implemented in DEDUKTI.For this purpose, we give a new definition of the lambda-Pi-Calculus Modulo that takes into account the iterative aspect of the addition of rewrite rules in the typing context. A detailed study of this new system shows that the problems of subject reduction and uniqueness of types can be reduced to two simpler properties that we call product compatibility and well-typedness of rewrite rules.Hence, we study these two properties separately and give effective sufficient conditions for them to hold.These ideas have been implemented in DEDUKTI, increasing its generality and reliability.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Dans cette thèse, nous œuvrons à résoudre une énigme en implémentant une recherche en cours d’action : comment un dispositif pédagogique instrumenté complexe – DPIC – est devenu un service pédagogique instrumenté complexe – SPIC ? Et plus précisément : quels sont les ingrédients qui ont participé à l’effectivité du couplage d’une université et d’un environnement numérique de formation et comment étudier ces modes d’émergence et d’existence dans un registre méso organisationnel et décisionnel au niveau du mésosystème ? Cette énigme est résolue en mobilisant le DPIC comme un objet frontière et des outils épistémiques et méthodologiques tels que l’approche dispositive, l’approche écologique/systémique et la théorie de l’activité. L’analyse consiste à réaliser une lecture holistique de l’histoire. Cette approche méthodologique met en évidence la propension d’un dispositif à générer des objets définis comme connexes. L’exploration des propriétés de ces objets connexes démontre qu’il est possible de définir un continuum historique et de défaire les discontinuités inhérentes aux traces informatiques laissées par l’activité. / In this thesis, we are working to solve an enigma by implementing a “research in action”: how has complex instrumented educational dispositif – CIED – become complex instrumented educational service – CIES ? And more specifically: what are the ingredients that have participated in the effectiveness of the coupling of a university and a learning management system and how can we study the modes of emergence and existence in a meso organizational and decisional register and at the mesosystem class ?This enigma is solved by mobilizing the CIED as a boundary object and epistemological and methodological tools such as: the dispositive approach, the ecological / systemic approach and activity theory. The analysis involves achieving a holistic reading of history. This methodological approach highlights the propensity of a dispositif to generate objects defined as related objects. The exploration of the properties of these related objects shows that it is possible to define a historical continuum and undo the discontinuities of the activity inherent in the computer traces.

La thèse propose une théorie du discours de l’avocat devant la Cour de cassation. Plus précisément, c’est une partie du contenu de ce discours, les moyens de cassation, qui sont au cœur de l’analyse. Trop souvent, l’attention des théoriciens du droit se porte sur les discours qui sont traditionnellement perçus comme normatifs, à savoir le discours législatif et le discours jurisprudentiel. Assimilé au discours doctrinal parce qu’il n’est ni scientifique, ni à l’origine d’une norme, le discours de l’avocat demeure quant à lui dans une catégorie (les discours de « politique juridique » selon Kelsen, et les discours de « dogmatique juridique » selon Michel Troper) vouée à l’indifférence. Pourtant, ce n’est parce que les interprétations des avocats sont des actes guidés par la seule volonté de leurs auteurs qu’elles ne gagnent pas à faire l’objet d’une étude scientifique. Certains discours universitaires, également prescriptifs, font l’objet d’analyse visant à montrer leur incidence sur l’évolution de la jurisprudence alors même que d’un point de vue ontologique, le discours de l’avocat est mieux doté pour agir sur l’œuvre jurisprudentielle, notamment lorsqu’il est, comme celui de l’avocat aux Conseils, immédiatement et systématiquement destiné aux juridictions suprêmes. Cette spécificité du discours étudié, dégagée à travers l’étude de sa nature, nous permettra d’en étudier la portée. De ce point de vue, notre thèse, qui doit s’entendre comme une contribution à la théorie réaliste de l’interprétation et à son complément, la théorie des contraintes juridiques, propose une explication de la cohérence jurisprudentielle. Si la Cour de cassation, alors même qu’elle est libre d’interpréter les énoncés législatifs comme elle le souhaite (proposition centrale de la TRI), se montre généralement cohérente par rapport à sa jurisprudence antérieure, c’est parce qu’un ensemble de contraintes spécifiquement juridiques la conduisent à être cohérente (proposition centrale de la TCJ). Or, ces contraintes sont principalement produites ou relayées par les moyens de cassation (notre proposition). Sauf à relever un moyen d’office, procéder à une substitution de motifs ou énoncer un obiter dictum, techniques qui seront exceptionnellement utilisées par cet homo juridicus, la Cour de cassation est généralement contrainte d’effectuer un choix binaire, prédéterminé par le moyen de cassation : réaffirmer l’interprétation des juges du fond (arrêt de rejet) ou retenir celle de l’avocat du demandeur (arrêt de cassation). Autrement dit, le moyen de cassation définit le cadre de l’interprétation authentique, cadre qui favorise la circulation de la jurisprudence antérieure, et qui contraint la Cour de cassation à agir de façon prévisible. / In France, legal realism is currently represented by Michel Troper who is supporting the fact that the law resides in its interpretations by the Supreme Court. Supreme Court interpret legal text with complete freedom because those text do not contain any significations that necessarily need to be apply. This freedom regarding legal text does not exclude the existence of specific legal constraints which determine the supreme Court decisions. Even tough the lawyer’s discourse addressed to supreme jurisdictions does not look like any other legal discourses, it has never been apprehended as a source of constraint limiting sovereign courts freedom. This is what about I will discuss on my thesis.

Cette étude entend questionner l’impensé de la lecture et de la textualité sous-jacent aux modèles traductologiques orientés vers le processus qui se sont imposés en didactique de la traduction au cours des quatre dernières décennies, tels que la théorie interprétative de l’École de Paris et la théorie fonctionnaliste du Skopos de l’École allemande, et qui sous-tendent actuellement la formation des traducteurs professionnels au Canada. On trouvera dans ces pages, après un survol de l’histoire de cette formation, une confrontation dialogique entre les fondements immanentistes des approches qui y sont dominantes et ceux de théories issues du champ littéraire ayant problématisé l’acte de lecture, ainsi que l’analyse de la traduction collective d’une œuvre de fiction (réalisée par une équipe de traducteurs diplômés du premier cycle) dont le but est d’étayer la critique métathéorique.