Ce mémoire a pour objectif de préciser le sens du verbe « abêtir » dans les Pensées de Blaise Pascal. Le sort ayant voulu que l’Apologie de la religion chrétienne demeure à jamais inachevée, le philosophe a emporté un secret épineux dans sa tombe : Qu’a-t-il bien pu vouloir signifier en écrivant que le remède à l’incroyance – répéter les gestes et les paroles liés au culte chrétien – abêtit ? Nous montrons à titre préliminaire que s’abêtir signifie devenir-bête, et que ce changement d’état entretient des liens étroits, tant par le contexte de son énonciation que par son champ lexical, avec le « discours de la Machine » et la notion d’« automate ». Notre analyse permet d’inférer que d’un point de vue strictement formel, s’abêtir renvoie à la préparation des habitudes humaines en vue de la foi. Nous montrons dans les chapitres suivants que le vocabulaire de la Machine/automate/bête est susceptible d’éclaircir trois dimensions de cette préparation. En distinguant les perspectives psycho-physiologique, morale et gnoséologique sur le problème de la conversion religieuse, nous montrons que l’abêtissement peut renvoyer simultanément 1) à l’acquisition d’habitudes corporelles et intellectuelles qui conduisent à la foi ; 2) au renforcement de la vertu d’humilité contre l’orgueil hérité du péché originel et qui fait obstacle à la croyance ; 3) et à l’acquisition passive d’une panoplie de connaissances factuelles tirées des Écritures et de l’histoire, nécessaires à une bonne entente des preuves de la vérité du christianisme. Chacune de ces perspectives fait l’objet d’un chapitre. / This Master’s thesis aims to clarify the meaning of “s’abêtir” in Blaise Pascal’s Pensées. As the Apologie de la religion chrétienne was left unfinished, the French philosopher took his secret to the grave: What did he mean by the idea that the cure for unbelief – repeating actions and words related to Christian worship – results in “s’abêtir” ? I argue that “s’abêtir” means becoming-beast, and that the context in which the notion is uttered as well as the lexical field it covers relate to the “discours de la Machine” and the notion of “automate”. My analysis allows me to say that, formally, “s'abêtir” refers to the preparation of human habits to faith. In the following chapters, I show that the vocabulary of Machine/automate/bête is likely to clarify three dimensions for such a preparation. Depending on the position we adopt with respect to the problem of belief, that is, from a psycho-physiological, moral or epistemological perspective, “s’abêtir” can simultaneously mean 1) acquiring corporeal and intellectual habits that lead to faith ; 2) strengthening the virtue of humility against pride, inherited from original sin ; 3) passively acquiring a range of factual knowledge from Scripture and history necessary to understand the evidence of the truth of Christianity. Each one of these perspectives is the topic of one of the successive chapters of this thesis.

La marionnette, petite Marie d’après son étymologie, figure réduite à l’image de l’homme, être diminutif ou condensé, actrice « dramatico-végétale » selon l’écrivain Carlo Collodi, amuse, effraie ou fascine depuis toujours l’être humain. Nous en trouvons des traces dès l’Antiquité en occident. Telle l’automate Olympia dans L’Homme au sable d’Ernst Hoffmann, qui inspira à Freud le concept d’ « Inquiétante étrangeté », la marionnette fait douter le spectateur : celui-ci ressent une étrange impression à la vue d’un objet sans vie qui paraît animé, un malaise comparable à celui qu’il éprouve en voyant une personne se comporter en « Homme-machine » (La Mettrie).Ce travail propose d’explorer l’existence paradoxale des figures inanimées dans le but d’expliquer comment celles-ci semblent prendre vie, mourir ou ressusciter à l’envi. A quel projet artisanal ou fantasme démiurgique répond la fabrication des créatures artificielles ? Comment l’esprit vient aux objets ? Quelles parts occupent le mouvement impulsé par le manipulateur et les croyances et projections du spectateur dans ce mystérieux phénomène d’animation ? Ce travail qui s’inscrit dans le domaine des études théâtrales traverse d’autres champs disciplinaires, notamment la littérature, la psychanalyse, la philosophie, l’anthropologie et l’histoire. / The puppet, or marionnete, - little Marie etymologically –, a human model, in reduction, a diminutive or condensed creature, a « dramatico-vegetable » actor in the eyes of writer Carlo Collodi, has always amused, frightened or fascinated mankind. Traces of puppets are to be found early in western ancient times. In much the same way as the automaton Olympia, in Ernst Hoffmann's The Sand Man, inspired Freud's concept of « disquieting strangeness », (Unheimliche), the puppet creates doubt in the spectator's mind : the latter feels strange when viewing an inanimate object apparently gifted with life, an unease akin to that which one feels if confronted with a human behaving like a ' « Man-machine » (La Mettrie).This work aims at exploring the paradoxical world of inanimate figures in order to explain how those seem to acquire life, lose it or come to life again at will. To what craft project or demiurgic fantasy does the making of artificial creatures answer ? How does the soul come to those objects ? What are the shares of the motions impulsed by the puppet manipulator and the beliefs and projections of the spectators, in that mysterious phenomenon of animation. The present work, although fully belonging to the field of drama studies, crosses others, notably literature, psychoanalysis, philosophy, anthropology and history.

Nous proposons un algorithme basé sur une approche orientée d'ensemble de système dynamique pour extraire une organisation grossière de l'espace d'état de cerveau sur la base des signaux de l'EEG. Nous l'utilisons pour comparer l'organisation de l'espace d'état des données simulées à grande échelle avec la dynamique cérébrale réelle au repos chez des sujets sains et pathologiques (SEP). / We propose an algorithme based on set oriented approach of dynamical system to extract a coarse grained organization of brain state space on the basis of EEG signals. We use it for comparing the organization of the state space of large scale simulation of brain dynamics with actual brain dynamics of resting activity in healthy and SEP subjects.

Les travaux présentés dans ce mémoire de thèse s'intéressent à la validation fonctionnelle de contrôleurs logiques par des techniques de test de conformité et de validation en boucle fermée. Le modèle de spécification est décrit dans le langage industriel Grafcet et le contrôleur logique est supposé être un automate programmable industriel (API) mono-tâche. Afin de contribuer à ces techniques de validation fonctionnelle, ces travaux présentent : - Une extension d'une méthode de formalisation du Grafcet par traduction sous la forme d'une machine de Mealy. Cette extension permet de produire un modèle formel de la spécification lorsque le Grafcet est implanté selon un mode d'interprétation sans recherche de stabilité, qui n'est pas préconisé dans la norme IEC 60848 mais largement utilisé dans les applications industrielles. - Une contribution au test de conformité par la définition d'un ensemble de relations de conformité basées sur l'observation de plusieurs cycles d'exécution pour chaque pas de test. - Une contribution à la validation en boucle fermée par la définition d'un critère de fin d'observation et par une technique d'identification en boite grise pour la construction et l'analyse du système en boucle fermée. / The results presented in this PhD thesis deal with functional validation of logic controllers using conformance test and closed-loop validation techniques. The specification model is written in the Grafcet language and the logic controller is assumed to be a Programmable Logic Controller (PLC). In order to contribute to these validation techniques, this thesis presents: - An axtension to a fomalization methods for Grafcet languages by translation to a Mealy machine. This extension generates a formal model of a Grafcet specification that is interpreted without search of stability. This mode of interpretation is not recommended by the standard IEC 60848 but is widely used in industrial applications. - A contribution to conformance test by a definition of a set of conformance relation based on the observation of several execution cycles for each test step. - A contribution to closed-loop validation by the definition of a termination criterion and by a new gray-box identification technique that is used for construction and analysis of the closed-loop system.

Depuis le début des années 90, les automates temporisés et les langages temporisés ont été largement utilisés pour modéliser et vérifier les systèmes temps réels. Ces langages ont été aussi été largement étudiés d'un point de vue théorique. Plus récemment Asarin et Degorre ont introduit les notions de volume et d'entropie des langages temporisés pour quantifier la taille de ces langages et l'information que ses éléments contiennent. Dans cette thèse nous construisons de nouveaux développements à cette théorie (que nous appelons volumétrie des langages temporisés) et l'appliquons a plusieurs problèmes apparaissant dans divers domaine de recherche tel que la théorie de l'information, la vérification, la combinatoire énumérative. Entre autre nous (i) développons une théorie de la dynamique symbolique temporisée~; (ii) caractérisons une dichotomie entre automate temporisé se comportant bien ou mal~; (iii) définissons pour un automate temporisé donné, un processus stochastique d'entropie maximale le moins biaisé possible~; (iv) développons une version temporisé de la théorie des codes sur canal contraint (v) énumérons et générons aléatoirement des permutations dans une certaine classe / Since early 90s, timed automata and timed languages are extensively used for modelling and verification of real-time systems, and thoroughly explored from a theoretical standpoint. Recently Asarin and Degorre introduced the notions of volume and entropy of timed languages to quantify the size of these languages and the information content of their elements. In this thesis we build new developments of this theory (called by us volumetry of timed languages) and apply it to several problems occurring in various domains of theoretical computer science such as verification, enumerative combinatorics or information theory. Among other we (i) develop a theory of timed symbolic dynamics; (ii) characterize a dichotomy between bad behaving and well behaving timed automata; (iii) define a least biased stochastic process for a timed automaton; (iv) develop a timed theory of constrained channel coding; (v)count and generate randomly and uniformly permutations in certain classes

Le glioblastome est une tumeur cérébrale maligne particulièrement agressive et le pronostic vital des patients atteints par cette tumeur est très mauvais. La médiane de survie est de l'ordre de 12 mois même lorsqu'une stratégie thérapeutique a pu être mise en place. Un des facteurs qui pourrait expliquer la dificulté à traiter ces tumeurs par voie chirurgicale est l'invasion des cellules tumorales dans le tissu sain environnant. De plus, les mécanismes à l'origine de ce phénomène sont, en partie, méconnus. L'objectif que nous nous étions fixé pour mon travail de thèse était de s'intéresser à ces mécanismes d'invasion en étudiant la migration in vitro de cellules tumorales issues de glioblastomes. Pour cela, nous avons créé un modèle de migration microscopique, basé sur un automate cellulaire, reproduisant la migration de cellules tumorales sur deux substrats différents : substrat de collagène et monocouche d'astrocytes. Les cellules migrent selon des règles prédéfinies et dépendant des interactions (de contact ou à plus longue portée) introduites. La confrontation des simulations avec les expériences a permis de valider le modèle et de mettre en évidence deux phénomènes : une communication par contact entre cellules tumorales et entre cellules tumorales et astrocytes (cette dernière favoriserait l'invasion des cellules tumorales) et la sécrétion à partir de la masse tumorale d'une substance chimio-répulsive favorisant sur la migration des cellules. Afin de décrire l'évolution d'une masse tumorale plus réaliste, nous avons construit et validé un modèle macroscopique (équation de diffusion non linéaire) à partir de l'automate, en tenant compte des interactions entre cellules tumorales.

Cette thèse propose une nouvelle approche de découverte de signatures de familles de protéines. Etant donné un échantillon (non-aligné) de séquences appartenant à une famille structurelle ou fonctionnelle de protéines, cette approche infère des automates fini s non déterministes (NFA) caractérisant la famille.<br>Un nouveau type d'alignement multiple nommé PLMA est introduit afin de mettre en valeur les similarités partielles et locales significativement similaires. A partir de ces informations, les modèles de type NFA sont produits par un procédé relevant du domaine de l'inférence grammaticale. Les modèles NFA, présentés ici sous le nom de Protomates, sont des modèles graphiques discrets de forte expressivité, ce qui les distingue des modèles statistiques de type profils HMM ou des motifs de type Prosite.<br>Les expériences menées sur différentes familles biologiques dont les MIP et les TNF, montrent un succès sur des données réelles.

Le premier objectif de cette thèse est de mettre en valeur la notion de filtrage des données par automate fini, décentralisé près de la mémoire de masse comme moyen efficace de traiter les opérations élémentaires de l'algèbre relationnelle. Le deuxième objectif de ce travail est d'aider le concepteur à choisir la meilleure architecture pour un tel filtre décentralisé près du disque. Pour ce faire, on tire les enseignements de la conception et la réalisation de deux versions d'un tel filtre pour le système relationnel VERSO développé par l'INRA. La première version utilise une architecture matérielle «ad hoc», tandis que le filtrage est implanté en logiciel sur un processeur standard dans la deuxième version

.

Filtration, récupération assistée du pétrole, flux sanguin... La compréhension des écoulements dans ces exemples repose sur la connaissance du transport de particules en milieu confiné. Plus généralement, dans ces situations se pose la question de l'influence des intéractions entre particules sur le comportement général de l'écoulement. Pour répondre à cela, une approche expérimentale originale est proposée, basée sur la création de nouveaux outils microfluidiques. Dans une première partie, nous étudions la dynamique du trafic de gouttes (suspension diluée) dans des réseaux d'obstacles microfluidiques. La présence des interactions hydrodynamiques entre particules rend cet écoulement non linéaire et il peut alors être parfaitement décrit par une équation dynamique de Burgers, rationalisant ainsi la présence des chocs de densité observés expérimentalement. Nous avons aussi fait ressortir de notre étude des paramètres généraux qui, non seulement sont utiles en microfluidique, mais s'avèrent pertinents à l'étude des différents domaines de trafic (voiture, piétons, ...). Ce travail est poursuivi par l'étude du transport d'une suspension concentrée 2D. Cet écoulement, gouverné par une dynamique intermittente, a été compris à travers une approche numérique, rendant compte de la phénoménologie d'avalanche constatée. Ce code s'avère ainsi efficace quant à l'interprétation de l'écoulement de particules dans des réseaux de tubes, modèle simple des milieux poreux.