La vie des communautés de moniales repose sur une double réalité. Tout d’abord, une considération matérielle. Derrière les évidentes questions économiques, se dissimule la vie quotidienne des moniales : vêtements, nourriture, hiérarchie, ou encore la question essentielle des rapports avec le dehors. Ensuite, une réalité spirituelle. À la fin du XVIe siècle, l’issue du concile de Trente ouvre une période de renouveau pour le clergé catholique. L’accueil des réformes tridentines, en particulier celle de la clôture, est un point fondamental pour les communautés régulières féminines. À cette question primordiale s’ajoute celle de la pratique de la foi, d’une manière individuelle ou collective. Bien entendu, l’approche de ces deux aspects ne peut se faire sans évoquer le passé médiéval des chartreuses féminines. Elle soulève à elle seule la problématique de l’acceptation d’une curare monialium au sein de l’ordre cartusien, ou encore celle du passé diaconal des premières moniales. Depuis leur naissance nébuleuse au XIIe siècle jusqu’au Grand Siècle, le parcours des filles de saint Bruno révèle une forte identité monastique, à la fois conformiste et marginale / Life in communities of nuns relies on a double reality. First, a concrete one. Indeed, behind the obvious economic issues, there is the nuns' everyday life, about clothes,food, hierarchy or the essential issue of the links with the outside. Then , a spiritual reality. At the end of the XVI th century, the end of the Council of Trent is at the same time the beginning of a period of revival for the Catholic clergy. Indeed, the acceptance of the reforms resulting from the Council – particularly the enclosure – is an essential aspect for the feminine communities. Moreover, there is also the problem of faith practice , both on individual and collective levels. Of course, debating about these two aspects cannot be made possible without taking into account the medieval background of the feminine charterhouses. What is at stake is the acceptance of a curare monalium within the Carthusian order itself, or the issue of the origin of nuns as deaconesses. From their nebulous origin in the XII th century to the Grand Siècle, Saint Bruno Order's nuns have shown a very strong cloistered identity, both conformist and non-conformist.

Les graphes sont des objets couramment utilisés pour modéliser de nombreuses situations réelles comme des réseaux routiers, informatiques ou encore électriques. Ils permettent de résoudre des problèmes sur ces réseaux comme le routage (aller d'un sommet à un autre en suivant les arêtes du graphe) ou encore leur exploration (obtenir une carte du graphe étudié). Les réseaux étudiés, et donc les graphes qui les modélisent, peuvent être grands, c'est-à-dire avoir un très grand nombre de sommets. Dans ce cas, comme dans le cas de l'étude de grandes données en général, nous pouvons utiliser le paradigme << Diviser pour mieux régner >> pour répondre aux questions posées. En effet, en travaillant sur des petites parties du graphe et en fusionnant les résultats obtenus sur ces petites parties, on peut obtenir le résultat sur le graphe global. Dans ce document, nous présenterons une manière de décomposer les graphes en utilisant des plus courts chemins comme séparateurs. Cette décomposition permet d'obtenir, par exemple, un routage efficace, un étiquetage compacte pour pouvoir estimer les distances entre les sommets d'un graphe ou encore une navigation efficace dans les graphes<< petit monde >>. Cette méthode va nous permettre de définir de nouvelles classes de graphes. / Graphs are widely used to MODELISER a lot of real situations like road networks, computers networks or electricity ones. Using them, we can solve problems on these networks like routing (go from a vertex ti another one) or explore them (to have a map of studied graph).Studied networks, and so graphs which MODELISER them, can be large (i.e. have a lot of vertices). In this case, we can use the paradigm "Divide and conquer" to answer the questions. Indeed, working on small parts of graphs and merging the results on these small parts, we can obtain the result on the whole graph.In this document, we present a way to separate graphs using shortest paths like separators. This decomposition let to obtain a compact routing, a compact labeling to estimate the distance between vertices of the graph. This method let us to define new class of graphs.

Dans ce travail, nous présentons deux certificats algébriques pour le théorème de Budan. Le théorème de Budan s'énonce comme suit : Soit R un corps ordonné, f in R[X] de degré n et a,b in R avec a<b. Alors, le nombre de variations de signe dans la suite (f(b),f'(b),...,f^n(b)) n'est pas supérieur au nombre de variations de signe dans la séquence (f(a),f'(a),...,f^n(a)). Cela nous permet de compter des racines réelles d'une manière similaire au comptage des racines réelles par le théorème de Sturm. (Compter des racines réelles à la Budan est aujourd'hui connu comme Budan-Fourier count. En effet, il compte des racines dites virtuelles qui comprennent les racines réelles.) Un certificat algébrique pour le théoème de Budan est un certain type de preuve qui mène de la négation de l'hypothèse à l'identité algébrique contradictionelle 0>0. L'algorithme pour notre premier certificat est basé sur la preuve historique par Budan, qui utilise uniquement des arguments combinatoires. Il a une complexité exponentielle dans le degré de f. L'algorithme pour le deuxième certificat est basé sur des suites de Taylor mixtes et exhibe une plus petite complexité : Le calcul principal est la résolution d'un système linéaire, ce qui est polynomiale dans le degré de f / In this work we present two algebraic certificates for Budan's theorem. Budan's theorem claims the following. Let R be an ordered field, f in R[X] of degree n and a,b in R with a<b. Then the number of sign changes in the sequence (f(b),f'(b),...,f^n(b)) is not greater than the number of sign changes in the sequence (f(a),f'(a),...,f^n(a)). This enables us to count real roots in a similar way to the real root counting by Sturm's theorem. (Budan's count of real roots is today known as ``Budan-Fourier count'' which, indeed, counts so called virtual roots which comprehend the real roots.) An algebraic certificate for Budan's theorem is a certain kind of proof which leads from the negation of the assumption to the contradictory algebraic identity 0>0. The algorithm for our first certificate is based on the historical proof by Budan which uses only combinatorial arguments. It has a complexity exponential in the degree of f. The algorithm for the second certificate is based on mixed Taylor series and shows a smaller complexity: The main calculation is solving a linear system; this is polynomial in the degree of f.

Le contextualisme est l'une des approches de la connaissance et des attributions de connaissance les plus discutées à l'heure actuelle. La motivation majeure communément invoquée en sa faveur est sa supposée capacité à fournir une solution satisfaisante au paradoxe sceptique, en proposant de concevoir les conditions de vérité des phrases de connaissance comme variables en fonction du contexte. Si sa visée prioritaire est d'ordre épistémologique, cette conception n'en a donc pas moins d'importantes implications pour la philosophie du langage. <br />Dans ce travail, nous examinons un certain nombre des principales objections, tant d'ordre linguistique qu'épistémologique, adressées à l'encontre de la forme dominante de contextualisme. Nous nous proposons de défendre une approche alternative du paradoxe sceptique, qui diffère de l'orthodoxie contextualiste sur plusieurs questions, dont celles de l'indexicalité du terme de connaissance, de l'analyse de la connaissance ordinaire, de la connaissance anti-sceptique, de l'importance du contexte du sujet, de l'accomplissement épistémique, et de la clôture et l'extensibilité déductive de la connaissance.

Quels sont les principes fondateurs de l'auto-organisation des sociétés humaines ? Produits d'une évolution culturelle rapide, qui a pris le pas sur l'évolution biologique, celles-ci réclament une approche par des formalismes radicalement différents de ceux utilisés généralement dans l'étude des autres sociétés animales.<br /><br /><br />Concrètement, la modélisation des rapports entre individus et collectif considère le plus souvent des agents qui peuvent être représentés sous la forme d'une hiérarchie de règles, chacune se plaçant en position méta par rapport aux règles du niveau inférieur. Celles-ci peuvent s'interpréter, selon les niveaux, comme des règles de comportement, des règles de décision, des règles de transmission culturelle ou génétique.<br /><br />L'émergence de régularités au niveau collectif peut alors s'interpréter comme la sélection d'une distribution particulière sur l'ensemble des règles et métarègles définissant les agents. Dès lors, le problème de l'auto-organisation dans les systèmes économiques et sociaux se reformule autour de la question suivante : « Peut-on endogénéiser les distributions des métarègles de comportement de manière à ce qu'elles soient le produit des dynamiques collectives qu'elles définissent ? ».<br /><br />Nous montrons dans cette thèse que la prise en compte, dans les modèles formels, de la spécificité de l'imitation humaine permet de répondre positivement à cette question, un point essentiel étant qu'une règle d'imitation peut être sa propre métarègle. Nous proposons ainsi un cadre formel pour l'étude de sociétés d'agents mimétiques auto-organisées, les jeux métamimétiques ; le concept d'équilibre correspondant est alors l'état contrefactuellement stable : aucun agent ne peut s'imaginer mieux qu'il n'est en se mettant contrefactuellement à la place de l'un de ses voisins. Nous étudions ensuite les propriétés de ces jeux en prenant comme champs d'application le problème de l'émergence de la coopération dans un dilemme de prisonnier spatialisé. Nous montrons au passage, que cette approche permet d'échapper au dilemme.<br /><br /><br />Plus généralement, nous nous plaçons dans le cadre de la théorie des jeux stochastiques et nous explicitons le rôle structurant des perturbations dans ce type de système dynamique, les structures spatio-temporelles émergentes étant le produit du couplage entre la dynamique endogène des systèmes métamimétiques et la structure interne des perturbations. En rupture avec l'approche traditionnelle, ceci nous amène à interpréter l'hétérogénéité auto-organisée des systèmes sociaux humains comme une différenciation par un processus de co-évolution d'une multiplicité de critères possibles, plutôt que par un processus d'optimisation global d'un critère unique.

Quels sont les principes fondateurs de l'auto-organisation des sociétés humaines ? Produits d'une évolution culturelle rapide, qui a pris le pas sur l'évolution biologique, celles-ci réclament une approche par des formalismes radicalement différents de ceux utilisés généralement dans l'étude des autres sociétés animales. Concrètement, la modélisation des rapports entre individus et collectif considère le plus souvent des agents qui peuvent être représentés sous la forme d'une hiérarchie de règles, chacune se plaçant en position méta par rapport aux règles du niveau inférieur. Celles-ci peuvent s'interpréter, selon les niveaux, comme des règles de comportement, des règles de décision, des règles de transmission culturelle ou génétique. L'émergence de régularités au niveau collectif peut alors s'interpréter comme la sélection d'une distribution particulière sur l'ensemble des règles et métarègles définissant les agents. Dès lors, le problème de l'auto-organisation dans les systèmes économiques et sociaux se reformule autour de la question suivante : « Peut-on endogénéiser les distributions des métarègles de comportement de manière à ce qu'elles soient le produit des dynamiques collectives qu'elles définissent ? ». Nous montrons dans cette thèse que la prise en compte, dans les modèles formels, de la spécificité de l'imitation humaine permet de répondre positivement à cette question, un point essentiel étant qu'une règle d'imitation peut être sa propre métarègle. Nous proposons ainsi un cadre formel pour l'étude de sociétés d'agents mimétiques auto-organisées, les jeux métamimétiques ; le concept d'équilibre correspondant est alors l'état contrefactuellement stable : aucun agent ne peut s'imaginer mieux qu'il n'est en se mettant contrefactuellement à la place de l'un de ses voisins. Nous étudions ensuite les propriétés de ces jeux en prenant comme champs d'application le problème de l'émergence de la coopération dans un dilemme de prisonnier spatialisé. Nous montrons au passage, que cette approche permet d'échapper au dilemme. Plus généralement, nous nous plaçons dans le cadre de la théorie des jeux stochastiques et nous explicitons le rôle structurant des perturbations dans ce type de système dynamique, les structures spatio-temporelles émergentes étant le produit du couplage entre la dynamique endogène des systèmes métamimétiques et la structure interne des perturbations. En rupture avec l'approche traditionnelle, ceci nous amène à interpréter l'hétérogénéité auto-organisée des systèmes sociaux humains comme une différenciation par un processus de co-évolution d'une multiplicité de critères possibles, plutôt que par un processus d'optimisation global d'un critère unique.

Les travaux présentés dans cette thèse sont lies aux problèmes de vérification de l'atteignabilité et de la terminaison de programmes qui manipulent des données entières non-bornées. On décrit une nouvelle méthode de vérification basée sur une technique d'accélération de boucle, qui calcule, de manière exacte, la clôture transitive d'une relation arithmétique. D'abord, on introduit un algorithme d'accélération de boucle qui peut calculer, en quelques secondes, des clôtures transitives pour des relations de l'ordre d'une centaine de variables. Ensuite, on présente une méthode d'analyse de l'atteignabilité, qui manipule des relations entre les variables entières d'un programme, et applique l'accélération pour le calcul des relations entrée-sortie des procédures, de façon modulaire. Une approche alternative pour l'analyse de l'atteignabilité, présentée également dans cette thèse, intègre l'accélération avec l'abstraction par prédicats, afin de traiter le problème de divergence de cette dernière. Ces deux méthodes ont été évaluées de manière pratique, sur un nombre important d'exemples, qui étaient, jusqu'a présent, hors de la portée des outils d'analyse existants. Dernièrement, on a étudié le problème de la terminaison pour certaines classes de boucles de programme, et on a montré la décidabilité pour les relations étudiées. Pour ces classes de relations arithmétiques, on présente un algorithme qui s'exécute en temps au plus polynomial, et qui calcule l'ensemble d'états qui peuvent générer une exécution infinie. Ensuite on a intégré cet algorithme dans une méthode d'analyse de la terminaison pour des programmes qui manipulent des données entières. / This work presents novel methods for verification of reachability and termination properties of programs that manipulate unbounded integer data. Most of these methods are based on acceleration techniques which compute transitive closures of program loops. We first present an algorithm that accelerates several classes of integer relations and show that the new method performs up to four orders of magnitude better than the previous ones. On the theoretical side, our framework provides a common solution to the acceleration problem by proving that the considered classes of relations are periodic. Subsequently, we introduce a semi-algorithmic reachability analysis technique that tracks relations between variables of integer programs and applies the proposed acceleration algorithm to compute summaries of procedures in a modular way. Next, we present an alternative approach to reachability analysis that integrates predicate abstraction with our acceleration techniques to increase the likelihood of convergence of the algorithm. We evaluate these algorithms and show that they can handle a number of complex integer programs where previous approaches failed. Finally, we study the termination problem for several classes of program loops and show that it is decidable. Moreover, for some of these classes, we design a polynomial time algorithm that computes the exact set of program configurations from which non-terminating runs exist. We further integrate this algorithm into a semi-algorithmic method that analyzes termination of integer programs, and show that the resulting technique can verify termination properties of several non-trivial integer programs. / Tato pr´ace pˇredstavuje nov´e metody pro verifikaci program°u pracuj´ıc´ıch s neomezen´ymiceloˇc´ıslen´ymi promˇenn´ymi, konkr´etnˇe metody pro anal´yzu dosaˇzitelnosti a koneˇcnosti.Vˇetˇsina tˇechto metod je zaloˇzena na akceleraˇcn´ıch technik´ach, kter´e poˇc´ıtaj´ı tranzitivn´ıuz´avˇery cykl°u programu.V pr´aci je nejprve pˇredstaven algoritmus pro akceleraci nˇekolika tˇr´ıd celoˇc´ıseln´ychrelac´ı. Tento algoritmus je aˇz o ˇctyˇri ˇr´ady rychlejˇs´ı neˇz existuj´ıc´ı techniky. Z teoretick´ehohlediska pr´ace dokazuje, ˇze uvaˇzovan´e tˇr´ıdy relac´ı jsou periodick´e a poskytuje tud´ıˇzjednotn´e ˇreˇsen´ı prol´emu akcelerace.Pr´ace d´ale pˇredstavuje semi-algoritmus pro anal´yzu dosaˇzitelnosti celoˇc´ıseln´ych program°u, kter´y sleduje relace mezi promˇenn´ymi programu a aplikuje akceleraˇcn´ı technikyza ´uˇcelem modul´arn´ıho v´ypoˇctu souhrn°u procedur. D´ale je v pr´aci navrˇzen alternativn´ıalgoritmus pro anal´yzu dosaˇzitelnosti, kter´y integruje predik´atovou abstrakci s accelerac´ıs c´ılem zv´yˇsit pravdˇepodobnost konvergence v´ypoˇctu. Proveden´e experimenty ukazuj´ı, ˇzeoba algoritmy lze ´uspˇeˇsnˇe aplikovat k verifikaci program°u, na kter´ych pˇredchoz´ı metodyselh´avaly.Pr´ace se rovnˇeˇz zab´yv´a probl´emem koneˇcnosti bˇehu program°u a dokazuje, ˇze tentoprobl´em je rozhodnuteln´y pro nˇekolik tˇr´ıd celoˇc´ıseln´ych relac´ı. Pro nˇekter´e z tˇechto tˇr´ıdrelac´ı je v pr´aci navrˇzen algoritmus, kter´y v polynomi´aln´ım ˇcase vypoˇc´ıt´a mnoˇzinu vˇsechkonfigurac´ı programu, z nichˇz existuje nekoneˇcn´y bˇeh. Tento algoritmus je integrov´ando metody, kter´a analyzuje koneˇcnost bˇeh°u celoˇc´ıseln´ych program°u. Efektivnost t´etometody je demonstrov´ana na nˇekolika netrivi´aln´ıch celoˇc´ıseln´ych programech.

La théorie des systèmes autopoïétiques, lancée par les biologistes Humberto Maturana et Francisco J. Varela, permet de décrire scientifiquement les principes organisationnels communs à tous les êtres vivants. Les principes autopoïétiques s’appliquent aussi, à l’état formel, à la vie psychique et à la vie sociale, comme le sociologue Niklas Luhmann a pu le montrer. Puisque la psychanalyse et la psychothérapie analytique se situent au carrefour du psychique et du relationnel, nous cherchons à expliciter les principes autopoïétiques qui sous-tendent leur théorie et leur pratique. En ce sens, la thèse est une comparaison critique des aspects essentiels de la psychothérapie analytique avec les principes généraux du vivant. Le travail se divise en trois chapitres, présentés sous forme d’articles scientifiques théoriques. Dans le premier chapitre, nous montrons comment le cadre et le processus analytique entretiennent une relation symbiotique, à la manière de la relation qu’entretient la membrane cellulaire avec les organites qu’elle contient. Ce faisant, nous mettons en évidence la clôture opérationnelle du cadre-processus analytique et nous argumentons que cela en fait un système social autopoïétique à part entière. Nous soulignons ensuite comment cette conceptualisation redéfinit la tâche éthique et pratique du clinicien, qui doit veiller à limiter les risques que l’environnement psychothérapeutique fait courir à l’autonomie du cadre-processus analytique. Nous poursuivons dans le second chapitre l’exploration des conséquences de notre proposition, à savoir que le clinicien et le patient puissent être amenés à nuire ou à résister au cadre-processus ; et que le cadre-processus, comme système autonome, puisse être lui-aussi amené à résister à ses participants. Il s’ensuit un besoin de comprendre les rapports de résistance entre ces systèmes, nous amenant à nous appuyer fermement sur le concept de couplage structurel issu de la théorie des systèmes autopoïétiques. Ce point de vue relance la réflexion sur le rôle de la subjectivité et de l’intersubjectivité en thérapie analytique et nous amène à privilégier une attitude clinique valorisant l’interaction autonome de tous les systèmes impliqués. Le troisième chapitre s’attaque de front à la question du transfert et du contre-transfert qui se profilait déjà à travers les chapitres précédents. En insistant sur le caractère radicalement inconscient du (contre)transfert, nous en proposons une redéfinition comme une forme particulière de couplage structurel entre les participants de la psychothérapie. En nous appuyant sur cette conceptualisation nouvelle, nous approfondissons la notion de communication analytique afin d’en montrer le potentiel thérapeutique. La recherche se termine par une contextualisation de ses principales conclusions dans le domaine plus large des soins de santé mentale. Enfin, nous soulignons non seulement les avantages et les limites de la thèse, mais également ses potentialités futures, comme l’ouverture vers une théorie générale de la psychothérapie. / The theory of autopoietic systems, pioneered by biologists Humberto Maturana and Francisco J. Varela, makes it possible to scientifically describe the organizing principles common to all living beings. Autopoietic principles also formally extend to psychic and social life, as argued the sociologist Niklas Luhmann. Since psychoanalysis and analytic psychotherapy are grounded in both the psychic and the relational domain, we aim to explicit the autopoietic principles underlying their theory and practice. In this respect, the thesis compares the essential aspects of analytic psychotherapy with the general principles of living systems. The work is divided into three chapters, presented as theoretical scientific articles. The first chapter shows how the analytic setting and analytic process maintain a symbiotic relationship, much like the relationship between the cell membrane and the organelles it contains. We thus describe the operational closure of the setting-process and argue that this makes it a full-fledged autopoietic social system. We then draw attention to how this conceptualization redefines the ethical and practical task of the clinician, who must limit the risk of environmental pressures disrupting the autonomy of the analytic setting-process. In the second chapter, we continue to explore the consequences of our proposal, arguing that the clinician and the patient may resist the setting-process of analytic psychotherapy; and that the setting-process, as an autonomous system, can also resist its participants. There follows a need to understand the resistances between these systems, leading us to rely on the concept of structural coupling derived from the theory of autopoietic systems. This original point of view fuels reflection on the role of subjectivity and intersubjectivity in analytical therapy and leads us to favor a clinical position that values the autonomous interaction of all the systems involved. The third chapter tackles head-on the problem of transference and countertransference that has already been looming over the previous chapters. By insisting on the radically unconscious character of (counter) transference, we suggest redefining it as a particular form of structural coupling between the participants of psychotherapy. From this new conceptualization, we deepen the notion of analytic communication and highlight its therapeutic potential. The research ends with a contextualization of its main findings in the broader field of mental health care. Finally, we underline not only the advantages and the limits of the thesis, but also future possibilities such as moving towards a general theory of psychotherapy.