En psychologie sociale de la santé, l’analyse des dimensions psychologiques et sociales en jeu dans la construction des risques sanitaires constitue un enjeu à la fois théorique et pragmatique. En articulant le cadre théorique des représentations sociales (Apostolidis, 2006) et celui de la Terror Management Theory (TMT, Solomon, Greenberg, & Pyszczynski, 1991), la recherche proposée vise à étudier les liens entre l’induction d’un état d’anxiété et la mobilisation de raisonnements symboliques face au risque du sida. Quatre expériences ont été réalisées (N = 520, 221 hommes et 299 femmes, mâge = 21,1). Elles consistaient à rendre saillante l'idée de mortalité (versus un thème neutre) chez les sujets, puis à leur faire lire un scénario de relation sexuelle socialement normé (avec ou sans délai), et enfin, à leur demander d'évaluer la valence sentimentale de la relation décrite et le risque du sida lui étant associé. Les résultats montrent que le risque perçu varie en fonction de la valence sentimentale attribuée, qui elle-même varie en fonction du facteur délai. Ce fonctionnement sociocognitif est par ailleurs modulé par le sexe des participants, et par l'induction expérimentale : d'une manière générale, le délai est davantage valorisé par les femmes et par les sujets de la condition « mortalité », sauf en cas de convictions religieuses ou spirituelles. Les principaux résultats corroborent ainsi ceux de la littérature consacrée à la TMT. Nous les discuterons dans la perspective théorique des représentations sociales et nous poserons leur implication par rapport à la prévention du risque du sida. / In social psychology of health, the analysis of psychological and social dimensions involved in health risks construction represents a major both theoretical and pragmatic issue. The current research proposes to articulate the social representations approach (Apostolidis, 2006) and the Terror Management Theory (Solomon, Greenberg, & Pyszczynski, 1991) in order to study the links between an induced state anxiety and the mobilization of symbolic reasoning concerning HIV risk perception. In our four experiments (N = 520, 221 men and 299 women, age mean = 21.1), after death thoughts (versus a neutral theme) were made salient, participants were asked to read a socially normed sexual relationship script (with or without “delay”), and then were asked to evaluate the sentimental valence of the relationship described and the HIV risks associated with it. Results showed that perceived risks depend on the sentimental valence attributed, which itself depends on the “delay” factor. This sociocognitive functioning is also modulated by gender, and by experimental inductions : in general, waiting before having sexual intercourse is more valued by women and by mortality salience condition participants, except when they have religious or spiritual beliefs. Our main results thus support those derived from TMT. These findings are discussed in a social representations perspective, and their practical implications are examined in relation to HIV risk preventive actions.

Depuis le XIXe siècle en France, l’opposition entre agrément et utilitaire détermine nos représentations du jardin. Ainsi, le potager s’inscrirait avant tout dans une logique de production, à l’opposé du plaisir créatif et distingué propre au jardin d’agrément. L’observation de nombreux jardins vivriers et des manières de faire de leurs jardiniers, montre que ces jardins sont chargés d’intentions et de symboles dépassant la seule préoccupation de produire de la nourriture. C’est le cas des jardins éloignés du domicile, tels les jardins collectifs, familiaux ou partagés, mais aussi d’autres jardins, vivriers en Papouasie et en Amazonie, transitoires à New York. L’intimité du jardin, la mémoire du lieu, le « contact » avec la terre, l’autoproduction de nourriture, la dimension collective et l’exposition au regard des autres sont sources d’un fort investissement symbolique, suscitant des formes particulières d’appropriation, de sociabilité et d’expression ; unefaçon de concrétiser sa présence au monde, sa relation au temps, à « l’environnement », aux autres et à soi-même. Sans doute le mythe paradisiaque se construit-il sur ces aspects, dont se saisissent aussi les philosophes et les poètes. Cette recherche a également pour objet de souligner le hiatus entre la conception des jardins proposés par les collectivités publiques et les pratiques quotidiennes des jardiniers / Since the 19th century, the image we have of gardens has depended on the purpose of whether it is for pleasure or utility. Thus gardening would be aimed, above all at producing, in opposition to growing his own garden for fancy. The study of numerous food gardens and their gardeners ’way of doing shows that these places are full of will and symbols far beyond the mere preoccupation of growing food. This is the case of those gardens away from home such as collective, family orcommunal gardens, but also others such as food gardens in Papua New Guinea and Amazonia, or transitory gardens in New York. The intimacy of a garden, the memory of the place, the “relationship” with the soil, the growing of one’s own food, the collective dimension and the exposure to people’s eyes are incentives for a strong and symbolic commitment. This generates approbation, sociability and expression; a way of making his presence real to the world, his relationship with time, the environment, the others and with himself. The heavenly myth may be built on these aspects which are seized by philosophers and poets as well. This study aims also at highlighting the hiatus between the conception of the gardens proposed by the councils and the gardeners’ daily practices.

Cette thèse est consacrée à l'étude des différents problèmes liés aux structures des cubes , en théorie ergodique et en dynamique topologique. Elle est composée de six chapitres. La présentation générale nous permet de présenter certains résultats généraux en théorie ergodique et dynamique topologique. Ces résultats, qui sont associés d'une certaine façon aux structures des cubes, sont la motivation principale de cette thèse. Nous commençons par les structures de cube introduites en théorie ergodique par Host et Kra (2005) pour prouver la convergence dans $L^2 $ de moyennes ergodiques multiples. Ensuite, nous présentons la notion correspondante en dynamique topologique. Cette théorie, développée par Host, Kra et Maass (2010), offre des outils pour comprendre la structure topologique des systèmes dynamiques topologiques. En dernier lieu, nous présentons les principales implications et extensions dérivées de l'étude de ces structures. Ceci nous permet de motiver les nouveaux objets introduits dans la présente thèse, afin d'expliquer l'objet de notre contribution. Dans le Chapitre 1, nous nous attachons au contexte général en théorie ergodique et dynamique topologique, en mettant l'accent sur l'étude de certains facteurs spéciaux. Les Chapitres 2, 3, 4 et 5 nous permettent de développer les contributions de cette thèse. Chaque chapitre est consacré à un thème particulier et aux questions qui s'y rapportent, en théorie ergodique ou en dynamique topologique, et est associé à un article scientifique. Les structures de cube mentionnées plus haut sont toutes définies pour un espace muni d'une unique transformation. Dans le Chapitre 2, nous introduisons une nouvelle structure de cube liée à l'action de deux transformations S et T qui commutent sur un espace métrique compact X. Nous étudions les propriétés topologiques et dynamiques de cette structure et nous l'utilisons pour caractériser les systèmes qui sont des produits ou des facteurs de produits. Nous présentons également plusieurs applications, comme la construction des facteurs spéciaux. Le Chapitre 3 utilise la nouvelle structure de cube définie dans le Chapitre 2 dans une question de théorie ergodique mesurée. Nous montrons la convergence ponctuelle d'une moyenne cubique dans un système muni deux transformations qui commutent. Dans le Chapitre 4, nous étudions le semigroupe enveloppant d'une classe très importante des systèmes dynamiques, les nilsystèmes. Nous utilisons les structures des cubes pour montrer des liens entre propriétés algébriques du semigroupe enveloppant et les propriétés topologiques et dynamiques du système. En particulier, nous caractérisons les nilsystèmes d'ordre 2 par une propriété portant sur leur semigroupe enveloppant. Dans le Chapitre 5, nous étudions les groupes d'automorphismes des espaces symboliques unidimensionnels et bidimensionnels. Nous considérons en premier lieu des systèmes symboliques de faible complexité et utilisons des facteurs spéciaux, dont certains liés aux structures de cube, pour étudier le groupe de leurs automorphismes. Notre résultat principal indique que, pour un système minimal de complexité sous-linéaire, le groupe d'automorphismes est engendré par l'action du shift et un ensemble fini. Par ailleurs, en utilisant les facteurs associés aux structures de cube introduites dans le Chapitre 2, nous étudions le groupe d'automorphismes d'un système de pavages représentatif. La bibliographie, commune à l'ensemble de la thèse, se trouve en fin document / This thesis is devoted to the study of different problems in ergodic theory and topological dynamics related to og cube structures fg. It consists of six chapters. In the General Presentation we review some general results in ergodic theory and topological dynamics associated in some way to cubes structures which motivates this thesis. We start by the cube structures introduced in ergodic theory by Host and Kra (2005) to prove the convergence in $L^2$ of multiple ergodic averages. Then we present its extension to topological dynamics developed by Host, Kra and Maass (2010), which gives tools to understand the topological structure of topological dynamical systems. Finally we present the main implications and extensions derived of studying these structures, we motivate the new objects introduced in the thesis and sketch out our contributions. In Chapter 1 we give a general background in ergodic theory and topological dynamics given emphasis to the treatment of special factors. % We give basic definitions and describe special factors associated to a From Chapter 2 to Chapter 5 we develop the contributions of this thesis. Each one is devoted to a different topic and related questions, both in ergodic theory and topological dynamics. Each one is associated to a scientific article. In Chapter 2 we introduce a novel cube structure to study the actions of two commuting transformations $S$ and $T$ on a compact metric space $X$. In the same chapter we study the topological and dynamical properties of such structure and we use it to characterize products systems and their factors. We also provide some applications, like the construction of special factors. In the same topic, in Chapter 3 we use the new cube structure to prove the pointwise convergence of a cubic average in a system with two commuting transformations. In Chapter 4, we study the enveloping semigroup of a very important class of dynamical systems, the nilsystems. We use cube structures to show connexions between algebraic properties of the enveloping semigroup and the geometry and dynamics of the system. In particular, we characterize nilsystems of order 2 by its enveloping semigroup. In Chapter 5 we study automorphism groups of one-dimensional and two-dimensional symbolic spaces. First, we consider low complexity symbolic systems and use special factors, some related to the introduced cube structures, to study the group of automorphisms. Our main result states that for minimal systems with sublinear complexity such groups are spanned by the shift action and a finite set. Also, using factors associated to the cube structures introduced in Chapter 2 we study the automorphism group of a representative tiling system. The bibliography is defer to the end of this document

Sur la base d’enquêtes de terrain menées en France auprès de travailleurs du service eau potable et assainissement, cette thèse explore la façon dont se tissent au cœur du travail les relations à soi, aux autres et à la nature pour en déceler les distorsions respectives. L’idée centrale est que c’est par la médiation de cette triple relation à soi, aux autres et à la nature que se construit une subjectivité au travail. C’est aussi par cette triple médiation qu’une subjectivité peut manquer à se construire et à inscrire l’histoire de ses pratiques dans un monde. Une double origine de ces distorsions a été identifiée. Premièrement, le cadre normalisant de l’organisation productive qui étouffe la puissance normative du travailleur et sa possibilité de tisser réflexivement des liens signifiants avec les autres et son environnement, et ultimement, avec soi. Secondement, autour des eaux, eau potable, eaux usées, se sont solidifiées des pratiques dépréciées et des représentations dépréciatives. Ces deux composantes expliquent la forme que prend la relégation des travailleurs des eaux et leur sentiment d’injustice. L’expérience de l’injustice décelée dans ce parcours des existences au travail, renforce la portée éthique et politique de cette enquête. La thèse examine finalement la possibilité d’ouvrir un espace de délibération où s’articuleraient de telles expériences. L’appropriation significative du travail est la condition de leur expression et celle de pratiques subversives par lesquelles torsion peut être faite aux structures polarisantes dont les travailleurs héritent. / Based on field investigations conducted in France among workers in the sanitation and drinking-water services, this dissertation studies how relationships to self, others and nature develop at work, but also how the relations between these three elements may become distorted. The principal argument is that at the core of work subjectivity is built throughout the mediation of this triple relationship between self, other, and nature. Moreover, throughout this triple mediation, subjectivity can fail to construct itself and thus to engrave the story of its practices in a world. A double source of distortions were identified. First, the normalizing frame of the productive organization, which stifles the normative power of the worker, as well as the individual’s opportunity reflexively to develop significant bonds with others, the environment, and finally the self. Second, water has significances which are articulated within a structure of domination. These two components explain how the workers are marginalised, as well as the feeling of injustice that results from this marginalisation. The experience of injustice, revealed in the course of existences at work, reinforces the ethical and political impact of this investigation. The dissertation finally examines how a deliberative space can open up where such experiences could articulate and express themselves. The appropriation of work as meaningful is the condition of this expression, but also of subversive practices through which polarizing structures, inherited by the workers, can potentially be transformed.

Hegel réinscrit l’idée d’autonomie kantienne au sein d’une totalité organisée par des médiations qui constituent le sujet et lui livrent un contenu normatif venant mettre en forme sa pratique et lui assigner sa signification et sa place au sein du processus de reproduction de la société. La philosophie substitue à la morale abstraite une éthicité concrète (Sittlichkeit) objectivée au sein de médiation institutionnelle (l’esprit objectif). Cette conception incarnée de la moralité, exprimée par Hegel dans la Philosophie du droit sera l’objet d’une critique sévère par le marxisme au nom de l’émancipation de la puissance instituante de la société civile et des sujets, si bien que bon nombre d’interprètes contemporains de Marx le présentent comme un individualiste, un naturaliste et un économiciste. La théorie critique contemporaine, chez Axel Honneth, s’est-elle aussi repliée sur une conception naturaliste et intersubjectiviste de la théorie de la reconnaissance, puisée chez le jeune Hegel, où l’amour, l’amitié et la reconnaissance réciproque sont présentés comme des préalables à l’établissement d’une relation de communication, et servent de modèle pour penser l’ensemble du lien social. À l’encontre de ces approches, notamment à l’aide des travaux de Vincent Descombes et du sociologue québécois Michel Freitag, je cherche à revaloriser l’institutionnalisme hégélien et son concept d’esprit objectif. J’illustre aussi, avec Moishe Postone, comment toute théorie critique contemporaine doit, si elle espère réellement développer une critique des sociétés capitalistes avancées, pouvoir retrouver en Marx un penseur de la totalité et des médiations aliénées ou fétichisées (la forme-valeur) et articuler à la critique de la médiation des rapports sociaux par le travail abstrait une revalorisation de des médiations symboliques et politico-institutionnelles, de l’esprit objectif, en tant que seule la transcendance d’une dimension de sens objectivée peut suppléer à la régulation des rapports sociaux par la forme aliénée propre à la valeur abstraite. La revalorisation du concept d’esprit objectif hégélien, c’est-à-dire du pôle d’objectivité normative instituée, m’apparaît l’une des conditions sine qua non pour réorienter la théorie critique vers la dialectique qui, seule, lui évitera les écueils de l’intersubjectivisme, du dualisme et du nominalisme.

Ce travail porte sur d’une part l’interrogation sur l’existence de la perversion féminine, rarissime voire inexistante d’après les écrits fondamentaux de la psychanalyse, et de l’autre part sur l’exploration de la dynamique propre au montage pervers au féminin. Si la femme qui se situe du côté de l’amour a amené Lacan a énoncé la maxime célèbre, celle de la femme n’existe pas, puisqu’elle n’est « pas toute » et que la femme ne s’écrit que barrée, la femme perverse se révèlera être l’envers de la femme. De ce fait, la femme perverse prône l’existence de la femme et sa possible écriture. Le montage pervers de la femme perverse bafoue la loi de la différence des sexes en aboutissant à une falsification outrancière des formules de la sexuation. Ainsi, il s’agit d’une perversion féminine comme imposture. En effet, l’imposture perverse de la femme perverse se déploie à travers l’identité factice que la femme perverse se fabrique afin de contrer l’autre femme, celle qui n’existe pas. D’emblée, la prévalence imaginaire chez la femme perverse est le mécanisme qui permet à la perverse d’avoir la foi dans la possession d’un phallus, d’une part largement supérieur à celui de l’homme, puisqu’il n’est pas borné par la détumescence et d’autre part, la relevant au rang de l’exception, puisqu’elle est la seule femme à le détenir. La mise en scène perverse, dont l’ancrage est imaginaire, opère dans les filets signifiant du symbolique. En effet, le symbolique, scène de la loi de la différence des sexes, se trouve bafoué et souillé. Ainsi, c’est ce savoir autre, sorte de « sur-savoir », prôné par la femme perverse qui divise l’autre, -témoin sidéré-, et perdure son illusion, sa foi, dans l’avoir du phallus. Toutefois, derrière cette armure d’invincible se révèle une angoisse à la teinte mélancolique, connectée à l’insignifiance du sexe féminin. Ainsi, c’est ce non-lieu de la femme auquel la femme perverse par imposture et simulacre s’invente un lieu, qui constitue l’angoisse de laquelle la femme perverse se prémunit. / This work concerns on one hand the interrogation on the existence of the even non-existent feminine, extremely rare perversion according to the fundamental papers of the psychoanalysis, and somewhere else on the exploration of the dynamics appropriate(peculiar) to the perverse assembly(editing) in the feminine. If the woman who is situated near(on the side of) love brought Lacan expressed the famous maxim, that of the woman do not exist, because she " is not quite " and because the woman spells only blocked, the perverse woman will turn out to be to the woman(wife). Therefore, the perverse woman advocates the existence of the woman and her possible writing. The perverse assembly(editing) of the perverse woman scoffs at the law of the difference of the sexes by ending in an exaggerated forgery of the formulae of her(it) So, it is about a perversion feminine as imposture. Indeed, the perverse imposture of the perverse woman spreads (displays,deploys) through the artificial identity that the perverse woman makes to counter the other woman, the one who does not exist. Straightaway, imaginary prevalence at the perverse woman is the mechanism which allows the pervert to have the faith in the ownership of a phallus, on one hand widely upper to that of the man, because he (it) is not limited by the détumescence and on the other hand, raising(finding) it to the rank of the exception, because she is the only woman to hold(detain) him(it). The perverse direction (fabrication), the anchoring of which is imaginary, operates in nets meaning of symbolism. Indeed, symbolism, scene (stage) of the law of the difference of the sexes, is scoffed and soiled. So, it is So, it is this other knowledge, kind of " to know ", lauded by the perverse woman who divides the other one, - the bewildered witness(baton), and continues its illusion, its faith, in the credit note of the phallus. However, behind this armor of invincible shows itself an anxiety in the melancholic tint, connected to the insignificance of the female genital organ. So, it is this dismissal of the charges of the woman in which the perverse woman by imposture and enactment invents a place, which establishes (constitutes) the anxiety of which the perverse woman protects himself.

Ni réquisitoire ni plaidoyer pour la vengeance, la présente recherche part d’une butée dans la clinique : la parole de vengeance entendue dans le cadre thérapeutique. Redécouvrant que son traitement fait acte de civilisation, nous montrons qu’elle est avant tout un enjeu de structure sur le plan psychique permettant de nouer les registres de l’imaginaire et du symbolique. L’élaboration théorique ici construite est confrontée à une clinique analysée jusque dans ses ressorts transférentiels, là où, encore, la vengeance peut ne pas être absente. La parole de vengeance, dans le cadre clinique, engage le sujet dans le temps et dans son rapport à l’Autre. L’entendre, c’est permettre une régénération de l’ordre social et symbolique. Et en ce domaine, les enjeux dans la postmodernité sont d’importance ! / This reseach project is neither an indictment nor a means of defending acts of vengeance, but rather the result of a problem in clinical practice: what to do about the words, even threats of vengeance heard in the context of therapy. Byrediscovering psychological treatment as a civilised response, we aim to show that what is at stake is above all the way the psyche is structured so as to permit the patient to come into contact with the domain of the imaginary and the symbolic. Thetheoretical framework we elaborate here is obliged to confront a clinical practice, where all motivations for transference are analysed in depth and where, yet again, the desire for vengeance may well be present. Words or threats of vengeance, in the clinical context, commit the patient to a longterm process and to a certain relationship to the big Other. Hearing this enables the social and symbolic order to be reborn. And this is where our postmodern categories of thought have an important role to play!

Ce mémoire traite des modèles génératifs profonds appliqués à la génération automatique de musique symbolique. Nous nous attacherons tout particulièrement à concevoir des modèles génératifs interactifs, c'est-à-dire des modèles instaurant un dialogue entre un compositeur humain et la machine au cours du processus créatif. En effet, les récentes avancées en intelligence artificielle permettent maintenant de concevoir de puissants modèles génératifs capables de générer du contenu musical sans intervention humaine. Il me semble cependant que cette approche est stérile pour la production artistique dans le sens où l'intervention et l'appréciation humaines en sont des piliers essentiels. En revanche, la conception d'assistants puissants, flexibles et expressifs destinés aux créateurs de contenus musicaux me semble pleine de sens. Que ce soit dans un but pédagogique ou afin de stimuler la créativité artistique, le développement et le potentiel de ces nouveaux outils de composition assistée par ordinateur sont prometteurs. Dans ce manuscrit, je propose plusieurs nouvelles architectures remettant l'humain au centre de la création musicale. Les modèles proposés ont en commun la nécessité de permettre à un opérateur de contrôler les contenus générés. Afin de rendre cette interaction aisée, des interfaces utilisateurs ont été développées ; les possibilités de contrôle se manifestent sous des aspects variés et laissent entrevoir de nouveaux paradigmes compositionnels. Afin d'ancrer ces avancées dans une pratique musicale réelle, je conclue cette thèse sur la présentation de quelques réalisations concrètes (partitions, concerts) résultant de l'utilisation de ces nouveaux outils. / This thesis discusses the use of deep generative models for symbolic music generation. We will be focused on devising interactive generative models which are able to create new creative processes through a fruitful dialogue between a human composer and a computer. Recent advances in artificial intelligence led to the development of powerful generative models able to generate musical content without the need of human intervention. I believe that this practice cannot be thriving in the future since the human experience and human appreciation are at the crux of the artistic production. However, the need of both flexible and expressive tools which could enhance content creators' creativity is patent; the development and the potential of such novel A.I.-augmented computer music tools are promising. In this manuscript, I propose novel architectures that are able to put artists back in the loop. The proposed models share the common characteristic that they are devised so that a user can control the generated musical contents in a creative way. In order to create a user-friendly interaction with these interactive deep generative models, user interfaces were developed. I believe that new compositional paradigms will emerge from the possibilities offered by these enhanced controls. This thesis ends on the presentation of genuine musical projects like concerts featuring these new creative tools.

Le test boîte blanche basé sur les chemins est largement utilisé pour la validation de programmes. A partir du graphe de flot de contrôle (CFG) du programme sous test, les cas de test sont générés en sélectionnant des chemins d'intérêt, puis en essayant de fournir, pour chaque chemin, des valeurs d'entrées concrètes qui déclencheront l'exécution du programme le long de ce chemin.Il existe de nombreuses manières de définir les chemins d'intérêt: les méthodes de test structurel sélectionnent des chemins remplissant un critère de couverture concernant les éléments du graphe; dans l'approche aléatoire, les chemins sont tirés selon une distribution de probabilité sur ces éléments. Ces méthodes aléatoires ont l'avantage de fournir un moyen d'évaluer la qualité d'un jeu de test à travers la probabilité minimale de couvrir un élément du critère.Fournir des valeurs concrètes d'entrées nécessite de construire le prédicat de cheminement chaque chemin, i.e. la conjonction des contraintes sur les entrées devant être vérifiée pour que le système s'exécute le long de ce chemin. Cette construction se fait par exécution symbolique. Les données de test sont ensuite déterminées par résolution de contraintes. Si le prédicat d'un chemin est insatisfiable, le chemin est dit infaisable. Il est très courant qu'un programme présente de tels chemins, leur nombre surpassent généralement de loin celui des faisables. Les chemins infaisables sélectionnés lors la première étape ne contribuent pas au jeu de test final, et doivent être tirés à nouveau. La présence de ces chemins pose un sérieux problème aux méthodes structurelles et à toutes les méthodes d'analyse statique, la qualité des approximations qu'elles fournissent étant réduite par les données calculées le long de chemins infaisables.De nombreuses méthodes ont été proposées pour résoudre ce problème, telles que le test concolique ou le test aléatoire basé sur les domaines d'entrée. Nous présentons un algorithme qui construit de meilleures approximations du comportement d'un programme que son CFG, produisant un nouveau CFG qui sur-approxime l'ensemble des chemins faisables mais présentant moins de chemins infaisables. C'est dans ce nouveau graphe que sont tirés les chemins.Nous avons modélisé notre approche et prouvé formellement, à l'aide de l'assistant de preuve interactif Isabelle/HOL, les propriétés principales établissant sa correction.Notre algorithme se base sur l'exécution symbolique et la résolution de contraintes, permettant de détecter si certains chemins sont infaisables ou non. Nos programmes peuvent contenir des boucles, et leurs graphes des cycles. Afin d'éviter de suivre infiniment les chemins cycliques, nous étendons l'exécution symbolique avec la détection de subsomptions. Une subsomption peut être vue comme le fait qu'un certain point atteint durant l'analyse est un cas particulier d'un autre atteint précédemment: il n'est pas nécessaire d'explorer les successeurs d'un point subsumé, ils sont subsumés par les successeurs du subsumeur. Notre algorithme a été implémenté par un prototype, dont la conception suit fidèlement la formalisation, offrant un haut niveau de confiance dans sa correction.Dans cette thèse, nous présentons les concepts théoriques sur lesquels notre approche se base, sa formalisation à l'aide d'Isabelle/HOL, les algorithmes implémentés par notre prototype et les diverses expériences menées et résultats obtenus à l'aide de ce prototype. / White-box, path-based, testing is largely used for the validation of programs. Given the control-flow graph (CFG) of the program under test, a test suit is generated by selecting a collection of paths of interest, then trying to provide, for each path, some concrete input values that will make the program follow that path during a run.For the first step, there are various ways to define paths of interest: structural testing methods select some set of paths that fulfills coverage criteria related to elements of the graph; in random-based techniques, paths are selected according to a given distribution of probability over these elements (for instance, uniform probability over all paths of length less than a given bound). Both approaches can be combined as in structural statistical testing. The random-based methods above have the advantage of providing a way to assess the quality of a test set as the minimal probability of covering an element of a criterion.The second step requires to produce for each path its path predicate, i.e. the conjunction of the constraints over the input parameters that must hold for the system to run along that path. This is done using symbolic execution. Then, constraint-solving is used to compute test data. If there is no input values such that the path predicate evaluates to true, the path is infeasible. It is very common for a program to have infeasible paths and such paths can largely outnumber feasible paths. Infeasible paths selected during the first step will not contribute to the final test suite, and there is no better choice than to select another path, hoping for its feasibility. Handling infeasible paths is the serious limitation of structural methods since most of the time is spent selecting useless paths. It is also a major challenge for all techniques in static analysis of programs, since the quality of the approximations they provide is lowered by data computed for paths that do not correspond to actual program runs.To overcome this problem, different methods have been proposed, like concolic testing or random testing based on the input domain. In path-biased random testing, paths are drawn according to a given distribution and their feasibility is checked in a second step. We present an algorithm that builds better approximations of the behavior of a program than its CFG, providing a transformed CFG, which still over-approximates the set of feasible paths but with fewer infeasible paths. This transformed graph is used for drawing paths at random.We modeled our graph transformations and formally proved, using the interactive theorem proving environment Isabelle/HOL, the key properties that establish the correctness of our approach.Our algorithm uses symbolic execution and constraint solving, which allows to detect whether some paths are infeasible. Since programs can contain loops, their graphs can contain cycles. In order to avoid to follow infinitely a cyclic path, we enrich symbolic execution with the detection of subsumptions. A subsumption can be interpreted as the fact that some node met during the analysis is a particular case of another node met previously: there is no need to explore the successors of the subsumed node: they are subsumed by the successors of the subsumer. Our algorithm has been implemented by a prototype, whose design closely follows said formalization, giving a good level of confidence in its correctness.In this thesis, we introduce the theoretical concepts on which our approach relies, its formalization in Isabelle/HOL, the algorithms our prototype implements and the various experiments done and results obtained using it.

Empruntant aux notions théoriques de la force du droit de Pierre Bourdieu, cette thèse remet en question le succès de la réforme de la procédure pénale au Chili. Elle applique une approche critique différente de celle qui est traditionnellement utilisée dans ce domaine, qui limite souvent la critique au champ juridique, sans considérer comment ce domaine s’inscrit dans un contexte social plus large. L’hypothèse de la recherche est que les intérêts des acteurs du système de justice pénale (procureurs, défenseurs, demandeurs et juges) et diverses formes de capitaux influencent la sentence avant même que la sentence finale soit rendue par le tribunal. Si l’hypothèse se révélait exacte, cela affecterait la légitimité du système de justice pénale au Chili, puisque des facteurs qui vont au-delà du droit pénal affectent la façon dont ce droit est appliqué. Pour tester l’hypothèse, en 2016, l’auteur a observé des négociations entre des acteurs judiciaires au Chili. Les observations se sont principalement concentrées sur la «procédure abrégée», une procédure alternative sommaire au procès pénal ordinaire introduite avec les réformes du droit pénal chilien. L’analyse des données recueillies confirme l’hypothèse: diverses limitations et contraintes non juridiques, et parfois d’ordre juridique, influent sur l’accès à la procédure abrégée et sur son résultat pour les accusés (et les victimes) à qui cette dernière s’applique. Certaines de ces limites et contraintes sont bien connues dans la littérature, particulièrement nord- américaine, par exemple sur les accords négociés et la négociation de plaidoyer. Mais la thèse démontre aussi un étiquetage récurrent, souvent subtil, des et parfois par les accusés xiii selon un système inconscient de différenciation sociale et économique. C’est cet étiquetage qui limite et contraint la légitimité de la procédure abrégée. Cette thèse propose une application de la Théorie de la force du droit de Pierre Bourdieu. Elle invite également les acteurs du système pénal, et ceux qui ont le pouvoir, à assumer la responsabilité des normes sociales inconscientes qu’ils reproduisent, à travers le système de justice pénale, et qui peuvent affecter sa légitimité.