A travers le monde, les zones côtières abritent une grande diversité d’ingénieurs de l’écosystème accomplissant des fonctions clés comme le recyclage de la matière organique et des nutriments. Les habitats résultants de l’activité biologique de ces espèces sont exposés à de nombreuses perturbations comme la surpêche, le piétinement ou via l’aménagement des côtes. Dans ce contexte, il est urgent de comprendre le fonctionnement de ces habitats ingénieurés et comment ils sont affectés par des perturbations croissantes. Pendant ma thèse, j’ai utilisé l’habitat récifal construit par le polychète grégaire tubicole Sabellaria alveolata comme cas d’étude. Tout d’abord, les changements environnementaux et biotiques associés à la mise en place d’un récif à S. alveolata et à sa perturbation croissante ont été évalué, se concentrant sur les paramètres du sédiment (e.g. granulométrie, contenu en matière organique) ainsi que la diversité taxonomique et les assemblages d’espèces. De manière similaire, le troisième article se penche sur le fonctionnement trophique de la communauté récifale et d’une communauté contrôle afin de comprendre les effets de la mise en place de l’espèce ingénieur sur les transferts de carbone, s’intéressant successivement à l’ensemble de la communauté des consommateurs, aux consommateurs primaires et à l’importance des sources de nourriture autochtones (microphytobenthos et Ulva sp.) vs allochtone (phytoplancton). Dans cette partie, j’ai utilisé les isotopes stables du carbone et de l’azote ainsi que différentes approches analytiques telles que des mesures de la niche isotopique et des modèles de mélange. L’article 2 a pour but de comprendre les interactions entre complexité de l’habitat récifal, hétérogénéité des sources de nourriture autochtones et échelles spatiales dans l’explication des variations du rapport isotopique du carbone de S. alveolata et d’un suspensivore associée. Dans les deux derniers chapitres, j’ai traité la question du fonctionnement de l’habitat ingénieuré de manière directe, en utilisant des incubations de carottes benthiques pour mesurer des flux biogéochimiques (e.g. demande en oxygène), ou indirecte, en utilisant des indices de diversité fonctionnelle et isotopique intégratifs. Cette dernière partie révèle l’existence d’un optimum de densité de S. alveolata, utilisée comme proxy des perturbations, où la niche trophique et le fonctionnement biogéochimique du récif sont tous les deux maximaux. / Coastal zones worldwide are home to a large diversity of ecosystem engineers that perform key functions such as the recycling of organic matter and nutrients. The habitats resulting from the biological activity of these species are exposed to numerous disturbances such as over harvesting and trampling or via coastal modification. In this context, it is becoming key to understand the functioning of these engineered habitats and how they are affected by increasing disturbances. During my PhD, I used the reef habitat built by the gregarious tubiculous polychaete Sabellaria alveolata as a study case. First, the environmental and biotic changes associated with the establishment of a S. alveolata reef and its increasing disturbance were assessed, focusing on sediment characteristics (e.g. grain-size distribution, organic matter content) along with taxonomic diversity and species assemblage. In the same vain, the third article looks into the trophic functioning of the reef community and a control community to understand the effects of the establishment of the engineer species on carbon transfers, successively looking at the whole consumer community, the primary consumers and the importance of autochthonous (microphytobenthos and Ulva sp.) vs allochthone (phytoplankton) food sources. In this part, I used carbon and nitrogen stable isotopes and different analytical approaches such as isotopic niche metrics and mixing models. Article 2 aims towards understanding the interactions between reef habitat complexity, autochthonous food source heterogeneity and spatial scales in explaining the carbon isotopic ratio variations of S. alveolata and an associated suspension-feeder. In the last two chapters, I address the functioning of the engineered habitat either directly, using benthic core incubations to measure biogeochemical fluxes (e.g. oxygen demand) or indirectly, through the use of integrative functional and isotopic diversity indices. This last part reveals the existence of an optimum value of S. alveolata density, used as a disturbance proxy, where the trophic niche and the biogeochemical functioning of the reef are both maximal.

Cette thèse se propose d'explorer ce que signifie "être agriculteur bio" aujourd'hui en Wallonie. Après une analyse socio-historique du développement de l'agriculture biologique dans cette région d'Europe, la première partie s'attache à comprendre en finesse les parcours de vie des agriculteurs bio wallons, leurs pratiques ainsi que la construction de leurs identités professionnelles. La deuxième partie se penche quant à elle sur les aspects institutionnels de l'agriculture bio :sur la structuration du secteur syndical et associatif ainsi que sur les interactions entre les pratiques des agriculteurs et la législation encadrant l'agriculture biologique. / Doctorat en Sciences politiques et sociales / info:eu-repo/semantics/nonPublished

Les macroinvertébrés benthiques entretiennent un ensemble complexe d’interactions. Les échelles spatiales et temporelles des processus formant la base de ces interactions ont traditionnellement limité leur étude empirique. Le premier chapitre du manuscrit tente une revue des outils de modélisation utilisés dans l’étude du benthos marin.Même si l’implémentation d’un modèle mécaniste semble s’ajuster aux communautés benthiques, son utilisation nécessite la création d’un nombre limité d’entités avec un rôle fonctionnel clair. Le second chapitre du manuscrit utilise l’hypothèse des groupes émergents, afin de faire cela via une procédure objective et testable. Le groupement est testé face aux postulats théoriques et les résultats supportent sa capacité à reproduire la diversité fonctionnelle dans l’estuaire de la Rance.Le manque de connaissances dans l’attribution des relations entre les composantes fonctionnelles reste important. Le troisième chapitre du manuscrit s’inscrit dans ce besoin, basé sur des théories écologiques qui prévoient l’existence de trade-offs fonctionnels opérant à grande et petite échelle. Dans un premier temps, ces éléments sont incorporés dans des modèles qualitatifs des groupes fonctionnels.Malgré l’intérêt du développement et de l’analyse de modèles qualitatifs, le but d’étudier la dynamique et le comportement spatialement explicite de la biodiversité ne peut être atteint que par un modèle avec ces mêmes caractéristiques. Le quatrième chapitre du manuscrit présente l’architecture d’un modèle individu-centré, en mettant l’accent sur le transfert des règles d’interactions des modèles qualitatifs vers un cadre dynamique et spatialement explicite. / Benthic macroinvertebrates are part of a complex network of interactions. The spatial and temporal scales of the processes that form the basis for these interactions have traditionally restricted their empirical investigation. The first chapter of the manuscript attempts a review of the modelling tools that have been employed for the study of the marine benthos.The implementation of a mechanistic modelling framework seems fitting, but it requires the derivation of a few model entities with a clear functional role. The second chapter of the manuscript employs the emergent group hypothesis to do that in a way that is objective and testable. The resulting grouping is tested against theoretical expectations and the results support its ability to represent functional diversity in the Rance estuary.The lack of knowledge for the attribution of relationships among functional components is still important. The third chapter of the manuscript addresses this issue based on ecological theories that predict the existence of functional trade-offs operating at both large and small spatial scales. In a first inception of the system, these elements are incorporated in the form of general rules of interaction into qualitative models of the functional groups.In spite of the interest in developing and analysing qualitative models, the goal of studying the dynamic and spatially explicit behaviour of benthic biodiversity can only be reached by a model with the same characteristics. The fourth chapter of the manuscript presents the architecture of an individual-based model, primarily transferring the rules of interaction from the qualitative models to a dynamic and spatially explicit framework.

Les savoirs traditionnels médicinaux c’est-à-dire l’aspect de la médecine traditionnelle portant sur des connaissances relatives au médicament traditionnel à base de plantes, qui part de la collecte des végétaux jusqu’au produit final, constituent un élément important dans la réalisation de la couverture des besoins de santé publique. En Afrique, les savoirs traditionnels médicinaux contribuent selon l’Organisation mondiale de la santé (OMS) à hauteur de 80% des besoins de santé des populations. Les savoirs traditionnels médicinaux représentent une source d’informations notamment dans la perspective d’une éradication des maladies endémiques du continent africain. L’OMS, et l’Union africaine (UA) voient dans les savoirs traditionnels médicinaux une piste de recherche en vue du développement de nouveaux médicaments à des prix abordables. Leur importance est aussi constatée au niveau de l’industrie du médicament où ils représentent 30% de la recherche dans l’industrie pharmaceutique et l’essentiel des informations dans le secteur des phytomédicaments. Cette appétence pour les savoirs traditionnels médicinaux ainsi que la médiatisation des actes de biopiraterie, ont contribué à renforcer leur valeur (sur les plans scientifique, économique, social et politique) et à justifier la nécessité de les protéger. Cependant, contrairement à la tendance actuelle des pays africains, l’Organisation africaine de la propriété intellectuelle (OAPI), à travers son Accord de Bangui révisé, ne dispose pas de mécanismes de propriété intellectuelle permettant une protection satisfaisante des droits des détenteurs de savoirs traditionnels médicinaux (tradipraticiens, familles, communautés autochtones et locales). Face à ce qui s’apparente à un vide juridique, il convient de s’interroger sur le régime juridique à mettre en place. Autrement dit, quel système sui generis de protection des savoirs traditionnels médicinaux faut-il envisager pour les pays membres de l’OAPI? C’est à cette interrogation que la présente étude se propose d’apporter des éléments de réponses. L’objectif visé sera de démontrer, dans le cadre d’une démarche prospective prenant appui notamment sur les droits de l’homme, le droit international de la propriété intellectuelle, le droit civil, le droit de la biodiversité, et les lois nationales, en particulier, celles de la République du Congo (Brazzaville), qu’il est possible d’établir au sein de l’OAPI un régime juridique cohérent et adapté à même de répondre aux besoins et attentes des différents acteurs intervenant dans l’exploitation de ces créations intellectuelles. / Traditional medical knowledge, which is the aspect of traditional medicine relating to the knowledge of plant-based therapy and which goes from collecting plants to issuing a finished product, is a key component for providing health care coverage for all. According to the World Health Organization (WHO), traditional medical knowledge contributes about 80% of primary health care in Africa. Traditional medical knowledge is perceived as a valuable source of information useful to eradicate African endemic diseases. The WHO and the African Union (AU) consider that traditional medical knowledge is a serious way for researchers to develop new and affordable drugs. Traditional medicinal knowledge is also important for the drug industry where it represents 30% of the researches made in the pharmaceutical sector and constitutes the main source of information in the herbal medicine sector. The drug industry’s increasing interest for traditional medical and the huge media coverage for biopiracy cases strengthened the (scientific, economic, social and politic) value of traditional medicinal knowledge and contribute to justify their protection. However contrary to the current trend in many African countries, it appears that the African Intellectual Property Organization (OAPI) and the Bangui Agreement, does not provide any suitable legal protective mechanism for the intellectual property rights of the holders of traditional medical knowledge (traditional healers, families, indigenous and local communities).In view of the limits and weaknesses of the intellectual property mechanisms to provide an effective protection to traditional medicinal knowledge’s holders, it is quite legitimate to question the legal mechanism or system to implement. In other words, what type of sui generis protection OAPI members can enact to protect traditional medicinal knowledge? This is the question that the present study intends to answer. The aim is to demonstrate from a prospective approach with regards to human rights, international intellectual property law, civil law, biodiversity law, and national laws, in particular the ones of the Republic of Congo (Brazzaville), that it is possible to build a coherent and adapted legal regime.

Cette thèse traite des équations de Maxwell en domaine temporel. Le principal objectif est de proposer des méthodes de type éléments finis d'ordre élevé pour les équations de Maxwell et des schémas d'intégration en temps efficaces sur des maillages localement raffinés. Nous considérons des méthodes GDDT (Galerkine Discontinues en Domaine Temporel) s'appuyant sur une interpolation polynomiale d'ordre arbitrairement élevé des composantes du champ électromagnétique. Les méthodes GDDT pour les équations de Maxwell s'appuient le plus souvent sur des schémas d'intégration en temps explicites dont la condition de stabilité peut être très restrictive pour des maillages raffinés. Pour surmonter cette limitation, nous considérons des schémas en temps qui consistent à appliquer un schéma implicite localement, dans les régions raffinées, tout en préservant un schéma explicite sur le reste du maillage. Nous présentons une étude théorique complète et une comparaison de deux méthodes GDDT localement implicites. Des expériences numériques en 2D et 3D illustrent l'utilité des schémas proposés. Le traitement numérique de milieux de propagation complexes est également l'un des objectifs. Nous considérons l'interaction des ondes électromagnétiques avec les tissus biologiques qui est au cœur de nombreuses applications dans le domaine biomédical. La modélisation numérique nécessite alors de résoudre le système de Maxwell avec des modèles appropriés de dispersion. Nous formulons une méthode GDDT localement implicite pour le modèle de Debye et proposons une analyse théorique et numérique complète du schéma. / This work deals with the time-domain formulation of Maxwell's equations. The main objective is to propose high-order finite element type methods for the discretization of Maxwell's equations and efficient time integration methods on locally refined meshes. We consider Discontinuous Galerkin Time-Domain (DGTD) methods relying on an arbitrary high-order polynomial interpolation of the components of the electromagnetic field. Existing DGTD methods for Maxwell's equations often rely on explicit time integration schemes and are constrained by a stability condition that can be very restrictive on highly refined meshes. To overcome this limitation, we consider time integration schemes that consist in applying an implicit scheme locally i.e. in the refined regions of the mesh, while preserving an explicit scheme in the complementary part. We present a full theoretical study and a comparison of two locally implicit DGTD methods. Numerical experiments for 2D and 3D problems illustrate the usefulness of the proposed time integration schemes. The numerical treatment of complex propagation media is also one of the objectives. We consider the interaction of electromagnetic waves with biological tissues that is of interest to applications in biomedical domain. Numerical modeling then requires to solve the system of Maxwell's equations coupled to appropriate models of physical dispersion. We derive a locally implicit DGTD method for the Debye model and we achieve a full theoretical and numerical analysis of the resulting scheme.

L’objectif de ce projet doctoral a été de coupler la chromatographie en phase supercritique (SFC) avec un spectromètre de masse haute résolution pour l’analyse de substances naturelles apolaires. La SFC est une technique dite « verte » contrairement à la chromatographie liquide en phase normale (NPLC), très consommatrice de solvants organiques toxiques pour l’environnement, puisque la phase mobile est principalement constituée de CO2. Le CO2 ayant une faible viscosité, cela implique une diffusivité, des débits élevés et des temps d’analyse courts. Notre attention a été focalisée sur des molécules apolaires : les lipides. Le but était de mettre au point des dosages dans des matrices alimentaires et biologiques et de débuter une approche lipidomique d’étude de la maladie de Parkinson. La première partie a été dédiée au développement du système SFC avec une détection UV, prêté par le constructeur Agilent Technologies. La première étude s’est portée sur 6 composés de la famille des vitamines A. Une phase d’optimisation a été réalisée afin d’obtenir une séparation satisfaisante des composés, en testant différents paramètres chromatographiques comme le type de phase stationnaire ou encore la composition de la phase mobile, afin d’obtenir une résolution optimale. Ensuite, des études de linéarité et de répétabilité ont été réalisées et des limites de détection et de quantification ont été déterminées afin d’obtenir une méthode fiable et robuste. Une deuxième partie a concerné la mise en place du couplage entre la SFC et un spectromètre de masse de type quadripôle-temps de vol (Q-TOF), afin d’améliorer la spécificité et la sensibilité des analyses. Différentes sources d’ionisation ont été utilisées : ESI, APCI et APPI. Chacune des sources présente des modes d’ionisation différents, qui permettent de pouvoir balayer une large gamme de polarité des analytes. Nous avons choisi 8 dérivés de la vitamine E, composés apolaires pour lesquels la SFC paraît être la technique d’analyse idéale. La séparation de ces composés a été optimisée de façon à obtenir une bonne résolution chromatographique et un temps d’analyse minimal. L’ionisation des composés est réalisée avec les 3 sources disponibles en faisant varier les paramètres de sources ou encore le solvant « make-up », de façon à obtenir une sensibilité optimale. La source APPI a été finalement choisie après une étude sur les performances de la méthode. Cette source présente une bonne répétabilité, linéarité et des limites de détection de l’ordre de celles retrouvées dans la littérature par HPLC-MS. Nous avons ensuite réalisé la quantification des ces composés dans 2 types de matrices alimentaire et biologique : l’huile de soja et le plasma de rat. Une troisième partie a été débutée sur le profilage de lipides à polarités variées par SFC-MS. Cette technique se révèle idéale de par la faible polarité de ces composés et leur absence d’absorbance dans le domaine UV. En effet, l’intégrité des lipides peut être altérée suite aux dommages causés par les radicaux libres, qui sont potentiellement impliqués dans de nombreuses maladies neurodégénératives. Il parait primordial de développer des outils analytiques présentant une haute sensibilité et résolution et la possibilité d’accéder aux informations structurales. La source d’ionisation ESI nous a permis de détecter 12 lipides sur les 20 sous-classes analysées en mode positif et 8 lipides en mode négatif. Une application a été réalisée sur un échantillon de plasma humain. Il serait intéressant à l’avenir d’effectuer cette étude en utilisant la source APPI, source propice à l’analyse structurale de lipides et présentant une bonne sensibilité et répétabilité. Ce couplage SFC-MS, présentant une bonne sensibilité et répétabilité, sera par la suite étendu à l’analyse de lipides dans diverses matrices biologiques et pourra à l’avenir être appliqué à l’étude de nouveaux biomarqueurs et au screening rapide d’un grand nombre d’échantillons / The aim of this PhD project was to couple supercritical fluid chromatography (SFC) with a high resolution mass spectrometer for apolar natural compounds analysis. Because mobile phase is principally constituted of CO2, SFC is called “green technic” contrary to normal phase liquid chromatography (NPLC), which uses lot of organic solvents toxic for environment. The CO2 presents a low viscosity, in this way high diffusivity and flow rate, and lower analysis times are obtained. Our work was focused on apolar molecules: the lipids. The aim was to quantify molecules in alimentary and biological matrices and to a lipidomic approach to study Parkinson disease. The first part was to develop the system SFC with a UV detection on a system on loan by Agilent Technologies. This first study was carried out on 6 vitamin A compounds. An optimization of chromatographic parameters has been realized in order to obtain a good separation of the compounds. Then, linearity, repeatability, detection and quantification limits have been determined in order to have a reliable and robust method. A second part concerned the coupling of SFC and a quadrupole time-of-flight mass spectrometer (Q-TOF), in order to improve specificity and sensitivity of analysis. Different ionization sources have been tested: ESI, APCI and APPI. Each ion source presents different ionization mode, which permits to analyze a wide range of polarities of compounds. We have chosen 8 vitamin E derivatives, which are apolar compounds for which SFC seems to be well suited. Separation compounds have been optimized in order to have a good chromatographic resolution and a short analysis time. This compounds ionization is realized with the 3 sources, varying ionization parameters and make-up solvent, to have an optimal sensitivity. The APPI source has been chosen after a performance evaluation method. This source presents a good repeatability, linearity and detection limit in the same order of magnitude than those found in the literature by HPLC-MS. Then we have quantified these compounds in alimentary and biological matrices: a soya oil and plasma rat. A third study has been started on lipid profiling with various polarities by SFC-MS. This technic is well suited because of the low polarity of this molecules and their lack of absorbance in the UV range. The integrity of lipids can be altered with damages caused by free radicals, and are potentially involved in neurodegenerative diseases. It is essential to develop analytical systems with a high sensitivity and resolution and the possibility to access to structural information. The ESI source permits to detect 12 lipids on the 20 sub-classes analyzed in positive ion mode and 8 lipids in negative mode. An application has been realized on human plasma. In the future, it will be interesting to analyze these lipids with the APPI source, which is good choice for structural analysis of lipids, with good sensitivity and repeatability. Studies with this SFC-MS system, presenting good sensitivity and repeatability, will be extended to lipid analysis in biological matrices and could be applied to new biomarkers study and for fast screening of a large number of samples

Au cours de la dernière décennie, la pathologie numérique a été améliorée grâce aux avancées des algorithmes d'analyse d'images et de la puissance de calcul. Néanmoins, le diagnostic par un expert à partir d'images histopathologiques reste le gold standard pour un nombre considérable de maladies notamment le cancer. Ce type d'images préserve la structure des tissus aussi proches que possible de leur état vivant. Ainsi, cela permet de quantifier les objets biologiques et de décrire leur organisation spatiale afin de fournir une description plus précise des tissus malades. L'analyse automatique des images histopathologiques peut avoir trois objectifs: le diagnostic assisté par ordinateur, l'évaluation de la sévérité des maladies et enfin l'étude et l'interprétation des mécanismes sous-jacents des maladies et leurs impacts sur les objets biologiques. L'objectif principal de cette thèse est en premier lieu de comprendre et relever les défis associés à l'analyse automatisée des images histologiques. Ensuite, ces travaux visent à décrire les populations d'objets biologiques présents dans les images et leurs relations et interactions à l'aide des statistiques spatiales et également à évaluer la significativité de leurs différences en fonction de la maladie par des tests statistiques. Après une étape de séparation des populations d'objets biologiques basée sur la couleur des marqueurs, une extraction automatique de leurs emplacements est effectuée en fonction de leur type, qui peut être ponctuel ou surfacique. Les statistiques spatiales, basées sur la distance pour les données ponctuelles, sont étudiées et une fonction originale afin de mesurer les interactions entre deux types de données est proposée. Puisqu'il a été montré dans la littérature que la texture d'un tissu est altérée par la présence d'une maladie, les méthodes fondées sur les motifs binaires locaux sont discutées et une approche basée sur une modification de la résolution de l'image afin d'améliorer leur description est introduite. Enfin, les statistiques descriptives et déductives sont appliquées afin d'interpréter les caractéristiques extraites et d'étudier leur pouvoir discriminant dans le cadre de l'étude des modèles animaux de cancer colorectal. Ce travail préconise la mesure des associations entre différents types d'objets biologiques pour mieux comprendre et comparer les mécanismes sous-jacents des maladies et leurs impacts sur la structure des tissus. En outre, nos expériences confirment que l'information de texture joue un rôle important dans la différenciation des deux modèles d'implantation d'une même maladie. / During the last decade, digital pathology has been improved thanks to the advance of image analysis algorithms and calculus power. However, the diagnosis from histopathology images by an expert remains the gold standard in a considerable number of diseases especially cancer. This type of images preserves the tissue structures as close as possible to their living state. Thus, it allows to quantify the biological objects and to describe their spatial organization in order to provide a more specific characterization of diseased tissues. The automated analysis of histopathological images can have three objectives: computer-aided diagnosis, disease grading, and the study and interpretation of the underlying disease mechanisms and their impact on biological objects. The main goal of this dissertation is first to understand and address the challenges associated with the automated analysis of histology images. Then it aims at describing the populations of biological objects present in histology images and their relationships using spatial statistics and also at assessing the significance of their differences according to the disease through statistical tests. After a color-based separation of the biological object populations, an automated extraction of their locations is performed according to their types, which can be point or areal data. Distance-based spatial statistics for point data are reviewed and an original function to measure the interactions between point and areal data is proposed. Since it has been shown that the tissue texture is altered by the presence of a disease, local binary patterns methods are discussed and an approach based on a modification of the image resolution to enhance their description is introduced. Finally, descriptive and inferential statistics are applied in order to interpret the extracted features and to study their discriminative power in the application context of animal models of colorectal cancer. This work advocates the measure of associations between different types of biological objects to better understand and compare the underlying mechanisms of diseases and their impact on the tissue structure. Besides, our experiments confirm that the texture information plays an important part in the differentiation of two implemented models of the same disease.

Dans ce mémoire, nous présentons l’utilisation de techniques de model-checking pour l’inférence de paramètres de réseaux de régulation génétique (GRN) et l’analyse formelle d’une voie de signalisation. Le coeur du mémoire est décrit dans la première partie, dans laquelle nous proposons une approche pour inférer les paramètres biologiques régissant les dynamiques de modèles discrets de GRN. Les GRN sont encodés sous la forme d’un méta-modèle, appelé GRN paramétré, de telle façon qu’une instance de paramètres définit un modèle discret du GRN initial. Sous réserve que les propriétés biologiques d’intérêt s’expriment sous la forme de formules LTL, les techniques de model-checking LTL sont combinées à celles d’exécution symbolique et de résolution de contraintes afin de sélectionner les modèles satisfaisant ces propriétés. L’enjeu est de contourner l’explosion combinatoire en terme de taille et de nombre de modèles discrets. Nous avons implémenté notre méthode en Java, dans un outil appelé SPuTNIk. La seconde partie décrit une collaboration avec des neuropédiatres, qui ont pour objectif de comprendre l’apparition du phénotype protecteur ou toxique des microglies (un type de macrophage du cerveau) chez les prématurés. Cette partie exploite un autre versant du model-checking, celui du modelchecking statistique, afin d’étudier un type de réseau biologique particulier : la voie de signalisation Wnt/β-caténine, qui permet la transmission d’un signal de l’extérieur à l’intérieur des cellules via une cascade de réactions biochimiques. Nous présentons ici l’apport du model-checker stochastique COSMOS, utilisant la logique stochastique à automate hybride (HASL), un formalisme très expressif nous permettant une analyse formelle sophistiquée des dynamiques de la voie Wnt/β-caténine, modélisée sous la forme d’un processus stochastique à événements discrets. / In this thesis, we present the use of model checking techniques for inference of parameters of Gene Regulatory Networks (GRNs) and formal analysis of a signalling pathway. In the first and main part, we provide an approach to infer biological parameters governing the dynamics of discrete models of GRNs. GRNs are encoded in the form of a meta-model, called Parametric GRN, such that a parameter instance defines a discrete model of the original GRN. Provided that targeted biological properties are expressed in the form of LTL formulas, LTL model-checking techniques are combined with symbolic execution and constraint solving techniques to select discrete models satisfying these properties. The challenge is to prevent combinatorial explosion in terms of size and number of discrete models. Our method is implemented in Java, in a tool called SPuTNIk. The second part describes a work performed in collaboration with child neurologists, who aim to understand the occurrence of toxic or protective phenotype of microglia (a type of macrophage in the brain) in the case of preemies. We use an other type of model-checking, the statistical model-checking, to study a particular type of biological network: the Wnt/β- catenin pathway that transmits an external signal into the cells via a cascade of biochemical reactions. Here we present the benefit of the stochastic model checker COSMOS, using the Hybrid Automata Stochastic Logic (HASL), that is an very expressive formalism allowing a sophisticated formal analysis of the dynamics of the Wnt/β-catenin pathway, modelled as a discrete event stochastic process.

Cette thèse expérimentale s’inscrit dans le domaine des sciences séparatives et se base sur la technique de SPLITT (SPLIT-flow Thin fractionation). Son objectif consiste en l’étude des mécanismes qui sont à l’origine de la séparation, en continu et sans membrane, d’objets de taille micrométrique dans des mini-séparateurs fluidiques (Step-SPLITT). Les expériences menées, en laboratoire et lors de vols paraboliques, ont révélé le couplage complexe comme l’influence des effets hydrodynamiques et du champ gravitationnel sur la migration transverse des espèces en écoulement. Des visualisations tridimensionnelles par holographie digitale ont corroboré nos résultats et dévoilé des comportements inattendus. Les capacités séparatives des Step-SPLITT ont rendu possible l’analyse et la séparation d’objets biologiques et biomimétiques. Enfin, cette étude complétée par une modélisation tridimensionnelle de l’écoulement nous a permis de mettre au point un nouveau prototype de séparateur. This experimental thesis belongs to the field of separative sciences and is based on the SPLITT technique (SPLIT-flow Thin fractionation). The objective is to study the mechanisms that are at the origin of continuous and membraneless separation of micron-size species in mini fluidic separators (Step-SPLITT). Experiments undertaken in laboratory and during parabolic flights revealed the complex coupling of the hydrodynamic effects and the gravitational field influencing the transverse migration of the flowing species. Three-dimensional visualizations performed by digital holography confirmed our results and disclosed unexpected behaviours. The separation capacities of Step-SPLITT made the analysis and the separation of biological and biomimetic species possible. In addition this study in conjunction with a three-dimensional flow modelling enabled us to develop a new prototype of separator.

The Japanese knotweeds are invasive alien clonal species originating in Asia (Japan, Korea, Taiwan and Nord of China). They were introduced in Europe at the beginning of the 19th century. They are now some of the most troublesome invasive alien species in Europe and in the United States. In Belgium, a complex of four taxa and a hybrid represents them. All these taxa take part in the pattern of invasion and represent an excellent opportunity for studies of population biology in Western continental Europe. The presence from at least three taxa and a hybrid is confirmed by cytological, genetic and morphological studies. Vegetative reproduction is recognized as the main mode of reproduction and expansion of these taxa in the introduce range. However, interspecific hybridization events are observed confirming the restoration of the sexual reproduction by hybridization within this complex species in Belgium. Hybrid F. x bohemica with various ploidy levels from tetraploid to octoploid is observed. An increase in genotypic and morphological diversity is shown at the hybrid F. x bohemica which missed with the parental species. This could increase the potential of Japanese knotweeds to adapt to the new environment and contribute to the invasive success of these taxa in Belgium. Assignment test indicates a genetic pool differentiated at the hybrid F. x bohemica and not a mixture of the genetic pool of the parental species as expected for hybrid taxa. Hybrid F. x bohemica has always been considered as rare in Belgium and of horticultural origin. An analysis of the spatial distribution shows that hybrid F. x bohemica is widespread in Belgium and that its abundance depends on the areas. An analysis of extent of differentiation between groups of hybrid geographically distant could not provide proof of an independent evolution of hybrid populations under limited gene flow. An analysis of the sexual reproduction capacity and dispersal of seeds shows important production of viable seeds and consequent seed rain. Hybrid seeds may be dispersed beyond 16m, leading the possibility of founding new individuals and to contribute to the invasive success of these taxa. However, a trend towards decreasing germination rate is shown after a cold period. An analysis of the distribution at the landscape scale shows that the dynamics of colonization of habitats patches by Japanese knotweeds rising mainly from clonal propagation in spite of important pressure of propagule. The knotweeds prefer human disturbed habitats with a clear prevalence of communication routes. This leads the possibility of dispersing towards the adjacent habitats patches. A high dynamics of establishment of propagule was not observed at the hybrid plants compared with the parents plants in spite of the increase in genotypic diversity and the consequent pressure of propagule. Lastly, proposals for the integrated management of these taxa are proposed in the Belgium context. Their management will have first to identify hybrids and taxa involved. Emasculation and management of the existing clones represent solutions to prevent flowering and expansion of these taxa. An active management of disturbed habitats may represent alternative to prevent the invasion by Japanese knotweeds / Les renouées du Japon sont des espèces clonales non-indigènes originaires dAsie (Japon, Corée, Taiwan et Nord de la Chine). Elles ont été introduites en Europe au début du 19è siècle. Elles font désormais partie des espèces non-indigènes les plus invasives en Europe et aux Etats Unis. En Belgique, elles sont représentées par un complexe de quatre taxons et un hybride. Tous ces taxons participent à la dynamique dinvasion et représentent un modèle dintérêt pour les études de biologie des populations en Europe continentale occidentale. La présence dau moins trois taxons et un hybride est confirmée par des études cytologiques, génétiques et morphologiques. La reproduction végétative est reconnue comme le principal mode de reproduction et dexpansion de ces taxons dans la zone dintroduction. Toutefois, des phénomènes dhybridation interspécifique sont observés confirmant la restauration de la reproduction sexuée par hybridation au sein de ce complexe despèces en Belgique. Lhybride F. x bohemica avec différents niveaux de ploïdie, du tétraploïde à loctoploïde, est observé. Un accroissement de la diversité génotypique et morphologique qui manquait aux espèces parents est démontré chez lhybride F. x bohemica. Ceci pourrait augmenter le potentiel des renouées du Japon à sadapter au nouvel environnement et contribuer au succès invasif de ces taxons en Belgique. Un test dassignation indique un pool génétique différencié chez lhybride F. x bohemica et non un mélange du pool génétique des espèces parentales comme attendu dans le cadre de taxons hybrides. Lhybride F. x bohemica a toujours été considéré comme rare en Belgique et dorigine horticole. Une analyse de la répartition spatiale montre que lhybride F. x bohemica est très répandu en Belgique et que son abondance dépend des régions. Une analyse de létendue de la différenciation entre groupes dindividus hybrides géographiquement distants na pas pu fournir de preuve dune évolution indépendante des populations hybrides sous un flux de gènes limité. Une analyse de la capacité de reproduction sexuée et de dispersion des graines démontre une production importante de graines viables et une pluie de graines conséquente. Les graines hybrides sont capables de se disperser à plus de 16m, laissant la possibilité de fonder de nouveaux individus et de contribuer au succès invasif de ces taxons. Cependant, une tendance à la diminution du potentiel de germination est observée après une période de froid chez ces taxons. Une analyse de la distribution à léchelle du paysage a permis dinterpréter la dynamique de colonisation des taches dhabitats par les renouées du Japon comme relevant principalement de la propagation clonale malgré une pression de propagule importante. Les renouées du Japon préfèrent les habitats perturbés par lhomme avec une nette prédominance des réseaux linéaires de communications. Ceci laisse ensuite la possibilité de se disperser vers les taches dhabitats adjacents. Une dynamique détablissement de propagules plus importante na pas été observée chez les plants hybrides comparées aux plants parents malgré laccroissement de diversité génotypique et la pression de propagules considérable. Enfin, des pistes pour la gestion intégrée des renouées du Japon en Belgique sont proposées. Cette gestion devra en priorité identifier les hybrides et les taxons en présence. Des mesures démasculation et de gestion des clones existants pourraient constituer une solution pour empêcher la floraison et lexpansion de ces taxons. Une gestion active des habitats perturbés pourrait représenter une alternative pour prévenir linvasion par les renouées du Japon