La resynchronisation cardiaque est une thérapeutique bien validée chez les patients en insuffisance cardiaque chronique. Mais devant un taux de non-répondeurs de l’ordre de 30%, de multiples approches ont été développées afin d’optimiser la sélection des patients, et tout particulièrement l’analyse des asynchronismes mécaniques en échocardiographie. Ce travail de thèse s’affiche dans le prolongement de ces travaux échocardiographiques en étudiant la réponse à la resynchronisation au-delà des asynchronismes. / Cardiac resynchronization therapy is a well-validated therapeutic in heart failure patients. However with a non-response rate of 30%, many approaches have been developed to optimize the selection of patients, especially the analysis of mechanical dyssynchrony in echocardiography. This work appears in the extension of these echocardiographic work by studying response to resynchronization beyond dyssynchrony.

Dans le cadre de cette thèse, nous nous intéressons à la vérification de systèmes réactifs critiques et temps réel développés a l'aide de langages flots de données synchrones. Plus particulièrement nous avons considéré les propriétés de sureté pour les applications réalisées dans un des deux langages, saga produit de Merlin Gerin/ses, ou lustre crée au LGI. La méthode de vérification, pour laquelle un prototype a été réalise, est l'évaluation de propriétés sur un modèle des programmes. Un langage de spécification adapte au contexte des systèmes réactifs temps réel, avec sa sémantique formelle, est défini; ce langage comprend plusieurs opérateurs temporels. Le désir d'automatiser la vérification a nécessité la définition de la sémantique formelle de saga. Plusieurs modèles pour les programmes ont alors été étudiés: les arbres des exécutions comme base d'expression commune des sémantiques, les graphes d'états et automates de contrôle pour la mise en œuvre de la vérification. L'utilisation de moyens existants de vérification, fondée sur l'évaluation de propriétés sur un modèle des programmes, a été étudiée et évaluée. Ces moyens sont relatifs a des logiques temporelles arborescentes et des mu-calculs propositionnels. Une nouvelle approche pour la spécification et la vérification de propriétés de sureté, mettant en œuvre les caractéristiques du langage lustre, est développée. Elle s'appuie sur l'utilisation de lustre lui-même comme langage de spécification et présente les avantages suivants: formalisme commun pour la programmation et la spécification, utilisation du compilateur pour la vérification, possibilité de preuves modulaires

La thèse propose une analyse de la théorie aristotélicienne du temps à partir d'une lecture de Physique IV, 10–14, dans une perspective nouvelle étayée par l'examen du contexte historique et intellectuel dans lequel s'inscrit l'étude du temps chez Aristote, qui permet de présenter une histoire pratique et théorique de la notion χρόνος dans la Grèce antique. Cette analyse s'attache également à comprendre la façon dont Aristote lui-même utilise cette notion dans ses oeuvres dites descriptives. L'Histoire des Animaux occupe donc une place particulière dans cette recherche, dans la mesure où l'examen détaillé de toutes les occurrences de χρόνος qui se trouvent dans cet écrit permet de trouver des éléments corroborant l'interprétation de Physique IV, 10–14, ainsi que la tentative d'Aristote de fournir les bases d'un temps non pas mathématique mais physique. Le but de cette analyse est de montrer que poser la question du temps comme le fait Aristote se présente comme une tentative adéquate pour penser l'unité du temps et du maintenant à partir de la multiplicité à la fois du temps et du maintenant. Cette thèse s'accompagne en outre d'une traduction partielle de l'ouvrage allemand de Gernot Böhme : Zeit und Zahl, Studien zur Zeittheorie Bei Platon, Aristoteles, Leibniz und Kant, 1974, qui est la version publiée de l'Habilitationsschrift de l'auteur. Les parties traduites concernent, outre l'introduction, les chapitres consacrés à Platon et à Aristote. / The dissertation provides an analysis of the Aristotelian theory of time based on Physics IV, 10–14, and does so from a new perspective examining the historical and intellectual context of the study of time in Aristotle's work, which leads to the presentation of a theoretical and practical history of the notion χρόνος in ancient Greece. This analysis is subsequently related to the question as to how Aristotle himself uses this concept in his so-called descriptive works. In this respect, Aristotle's History of Animals occupies a special place in this analysis, to the extent that a detailed examination of all the occurrences of χρόνος in this work provides elements corroborating the interpretation of Physics IV, 10-14 as well as of Aristotle's attempt to provide foundations for a theory of time based on physics and not on mathematics. The objective of this analysis is to show that the question of time as presented by Aristotle amounts to a proper attempt to think of time and present as single concepts based on their respective multiplicities. Furthermore, this dissertation is accompanied by a partial translation of the German work of Gernot Böhme : Zeit und Zahl, Studien zur Zeittheorie Bei Platon, Aristoteles, Leibniz und Kant, 1974, which is the published version of the Habilitationsschrift of the author. The translation concerns, in addition to the introduction, the chapters on Plato and Aristotle.

Cette thèse s'intéresse aux évènements et aux ordonnancements d'évènements se produisant au sein de réseaux d'éléments conceptuels prédéterminés. Dans ces réseaux, les éléments, appelés plutôt "automates", s'incitent les uns les autres à changer d'état en accord avec des règles prédéfinies qui, précisément, définissent le (fonctionnement du) réseau. Lorsqu'un automate se conforme effectivement aux influences qu'il reçoit de la part des autres, on dit que son état est mis à jour. Les évènements élémentaires considérés sont les changements d'états des automates. Définir un mode de mise à jour pour l'ensemble des automates d'un réseau permet de sélectionner certains évènements parmi l'ensemble de ceux qui sont a priori possibles. Cela permet aussi d'organiser et d'ordonner les évènements les uns par rapport aux autres de façon, par exemple, à imposer que des évènements indépendants se produisent simultanément ou simplement, de manière assez rapprochée pour qu'aucun autre événement ne puisse se produire pendant leur occurrence. Informellement, les modes de mise à jour peuvent donc être interprétés comme l'expression d'influences extérieures au réseau interdisant certains changements, ou alors comme la formalisation d'une version relâchée et relative de l'écoulement de temps. Cette thèse propose d'étudier leur influence sur le comportement des réseaux. Et afin de distinguer cette influence de celle de la structure des réseaux, elle commence par mettre en évidence le rôle de certains motifs structurels. Après ça, elle s'intéresse en particulier à l'information "encodée" dans une séquence de mises à jour et à l'impact du synchronisme dans celles-ci.

Le puceron du soya (Aphis glycines) est le ravageur le plus important de la culture du soya en Amérique du Nord. Quoi qu’efficaces, les pesticides permettent le contrôle des ravageurs que pour une courte période et nécessitent plusieurs applications au cours de la saison. De plus, ils sont dommageables pour l’environnement et la santé humaine. La lutte biologique se présente comme une alternative crédible pour le contrôle des populations d’A. glycines en Amérique du Nord. Trois parasitoïdes (Binodoxys communis, Aphidius colemani, Aphelinus certus) du puceron semblent être des candidats prometteurs. L’objectif de cette étude était d’examiner certains attributs biologiques de ces parasitoïdes au Québec. Dans le cas de B. communis et A. certus nous avons estimé leur synchronisme saisonnier ainsi que leur résistance au froid en laboratoire et en conditions naturelles. Dans le cas, d’A. colemani, nous avons évalué sa capacité à parasiter le puceron du soya et à se disperser dans un champ de soya. Nos résultats démontrent que la souche utilisée de B. communis a perdu sa capacité à entrer en diapause, probablement à cause de la longue période d’élevage en laboratoire qui a suivi son échantillonnage en Asie. Aphelinus certus démontre un potentiel intéressant puisqu’il possède un synchronisme saisonnier tant en automne qu’au printemps avec son hôte ainsi qu’un bon potentiel de survie hivernale au Québec. Quant à A. colemani, les essais suggèrent qu’il se disperse rapidement hors des champs sans attaquer de manière significative A. glycines. / The soybean aphid (Aphis glycines) has become the most important pest of soybean in North America. Despite their efficiency, insecticides do eliminate the pest only for short periods and several applications may be required during the growing season. Furthermore, they are detrimental for the environment and human health. Biological control appears as a promising alternative for the control of A. glycines populations in North America. Three parasitoid species (Binodoxys communis, Aphidius colemani, Aphelinus certus) have been identified as potential candidates. The objective of this study was to study some biological attributes of these parasitoids in Québec. For B. communis and A. certus we examined their seasonal activities and their cold hardiness in laboratory and natural conditions. For A. colemani, we evaluated its capacity to parasite the soybean aphid and to disperse in soybean fields. Our results revealed that the B. communis strain we used had lost its capacity to enter diapause, probably due to the long period of laboratory rearing following its sampling in Asia. Aphelinus certus showed an interesting potential because the species is synchronized with its host both in the fall and the spring and has the capacity to overwinter in Québec. For A. colemani, the essays suggest that it disperses rapidly out of the field without attacking significantly A. glycines.

Le puceron du soya (Aphis glycines) est le ravageur le plus important de la culture du soya en Amérique du Nord. Quoi qu’efficaces, les pesticides permettent le contrôle des ravageurs que pour une courte période et nécessitent plusieurs applications au cours de la saison. De plus, ils sont dommageables pour l’environnement et la santé humaine. La lutte biologique se présente comme une alternative crédible pour le contrôle des populations d’A. glycines en Amérique du Nord. Trois parasitoïdes (Binodoxys communis, Aphidius colemani, Aphelinus certus) du puceron semblent être des candidats prometteurs. L’objectif de cette étude était d’examiner certains attributs biologiques de ces parasitoïdes au Québec. Dans le cas de B. communis et A. certus nous avons estimé leur synchronisme saisonnier ainsi que leur résistance au froid en laboratoire et en conditions naturelles. Dans le cas, d’A. colemani, nous avons évalué sa capacité à parasiter le puceron du soya et à se disperser dans un champ de soya. Nos résultats démontrent que la souche utilisée de B. communis a perdu sa capacité à entrer en diapause, probablement à cause de la longue période d’élevage en laboratoire qui a suivi son échantillonnage en Asie. Aphelinus certus démontre un potentiel intéressant puisqu’il possède un synchronisme saisonnier tant en automne qu’au printemps avec son hôte ainsi qu’un bon potentiel de survie hivernale au Québec. Quant à A. colemani, les essais suggèrent qu’il se disperse rapidement hors des champs sans attaquer de manière significative A. glycines. / The soybean aphid (Aphis glycines) has become the most important pest of soybean in North America. Despite their efficiency, insecticides do eliminate the pest only for short periods and several applications may be required during the growing season. Furthermore, they are detrimental for the environment and human health. Biological control appears as a promising alternative for the control of A. glycines populations in North America. Three parasitoid species (Binodoxys communis, Aphidius colemani, Aphelinus certus) have been identified as potential candidates. The objective of this study was to study some biological attributes of these parasitoids in Québec. For B. communis and A. certus we examined their seasonal activities and their cold hardiness in laboratory and natural conditions. For A. colemani, we evaluated its capacity to parasite the soybean aphid and to disperse in soybean fields. Our results revealed that the B. communis strain we used had lost its capacity to enter diapause, probably due to the long period of laboratory rearing following its sampling in Asia. Aphelinus certus showed an interesting potential because the species is synchronized with its host both in the fall and the spring and has the capacity to overwinter in Québec. For A. colemani, the essays suggest that it disperses rapidly out of the field without attacking significantly A. glycines.

Cette thèse s'intéresse aux évènements et aux ordonnancements d'évènements se produisant au sein de réseaux d'éléments conceptuels prédéterminés. Dans ces réseaux, les éléments, appelés plutôt "automates", s'incitent les uns les autres à changer d'état en accord avec des règles prédéfinies qui, précisément, définissent le (fonctionnement du) réseau. Lorsqu'un automate se conforme effectivement aux influences qu'il reçoit de la part des autres, on dit que son état est mis à jour. Les évènements élémentaires considérés sont les changements d'états des automates. Définir un mode de mise à jour pour l'ensemble des automates d'un réseau permet de sélectionner certains évènements parmi l'ensemble de ceux qui sont a priori possibles. Cela permet aussi d'organiser et d'ordonner les évènements les uns par rapport aux autres de façon, par exemple, à imposer que des évènements indépendants se produisent simultanément ou simplement, de manière assez rapprochée pour qu'aucun autre événement ne puisse se produire pendant leur occurrence. Informellement, les modes de mise à jour peuvent donc être interprétés comme l'expression d'influences extérieures au réseau interdisant certains changements, ou alors comme la formalisation d'une version relâchée et relative de l'écoulement de temps. Cette thèse propose d'étudier leur influence sur le comportement des réseaux. Et afin de distinguer cette influence de celle de la structure des réseaux, elle commence par mettre en évidence le rôle de certains motifs structurels. Après ça, elle s'intéresse en particulier à l'information "encodée" dans une séquence de mises à jour et à l'impact du synchronisme dans celles-ci. / This thesis is concerned with the events and the organisation of events that take place within networks of abstract predetermined elements called "automata". In these networks, automata incite one another to switch states in agreement with predefined rules which, precisely, define the net-work. When an automaton effectively conforms to the influences it receives from others, its state is said to be updated. The elementary events that are considered here are thus automata state changes. To define an update mode for all the automata of a network allows to select some events among all those that are a priori possible. It also allows to organise and order the events relatively so as to impose, for example, that independent events occur simultaneously or so that simply, they happen close enough to disallow the occurrence of any other events in between. Informally, update modes can be interpreted as the expressions of influences incoming from outside the network, forbidding certain changes, or else, as the formalisation of a relaxed and relative version of time flow. This thesis proposes to study their influences on network behaviours. And to distinguish their influences from that of network structures, it starts by highlighting the role of certain structural motives. After that, it explores in particular the information that is "encoded" in a sequence of updates as well as the general impact of synchronism in updates.