L’objectif de cette thèse a consisté en la synthèse d’un polymère à empreinte moléculaire (MIP) permettant l’extraction du phosmet, un pesticide organophosphoré largement utilisé en oléiculture. La recherche du monomère fonctionnel (MF) disposant de la meilleure capacité à interagir de manière non-covalente avec le phosmet en présence du solvant porogène le plus approprié a été réalisée pour la toute première fois au moyen d’un capteur à acétylcholinestérase. Cette stratégie innovante a permis une meilleure compréhension des mécanismes cinétiques à l’œuvre lors de l’interaction MF-molécule cible. De par l’importance de son rôle dans la détermination de la structure d’un MIP, le choix d’un agent réticulant aux caractéristiques physico-chimiques adéquates a permis de sélectionner le meilleur MIP en s’appuyant sur l’étude des isothermes d’adsorption selon les modèles de Freundlich et Langmuir. La procédure d’extraction du phosmet selon la procédure MISPE (Molecularly Imprinted Solid Phase Extraction) a été effectuée par le biais d’une cartouche SPE dont la capacité a été évaluée à partir d’une solution standard. La validation du choix des réactifs de MIP sélectionnés a été confortée par la réalisation d’une expérience de réactivité croisée appliquée à une molécule analogue au phosmet. L’extraction du phosmet de l’huile d’olive a pu être effectuée avec succès selon un protocole d’extraction en flux inverse optimisé. Cette étude ouvre ainsi la voie à la recherche de nouvelles interactions MFs-molécules cibles au moyen de biocapteurs enzymatiques inhibant des composés toxiques tels que les herbicides, fongicides et autres pesticides. / The objective of this thesis has been the synthesis of a molecularly imprinted polymer (MIP) for the extraction of phosmet, an organophosphorus pesticide widely used in olive growing. The search for the functional monomer (FM) having the best ability to interact non-covalently with phosmet in the presence of the most suitable pore-forming solvent was carried out for the first time by means of an acetylcholinesterase sensor. This innovative strategy allowed us to better understand the kinetic mechanisms of FM-template interaction. Because of the importance of its role in determining the structure of a MIP, the selection of a crosslinking agent with adequate physicochemical characteristics made it possible to select the best MIP, whose adsorption isotherms were studied according to Freundlich and Langmuir models. Extraction of phosmet using a Molecularly Imprinted Solid Phase Extraction (MISPE) procedure was carried out via an SPE cartridge, whose capacity was evaluated from a standard solution. The choice of reagents and experimental conditions were validated by carrying out selectivity assays using another organophosphorus insecticide. Extraction of phosmet from olive oil was successfully carried out according to an optimized reverse flow extraction protocol. This work opens new opportunities for studying new FM-template interactions by means of enzymatic biosensors capable of detecting other inhibitors such as herbicides, fungicides and other pesticides.

Les écosystèmes prairiaux alpestres sont supposés être très sensibles au changement climatique. Cependant leur long historique fait de variation du climat et de multiples siècles d'utilisation des terres peut avoir sélectionné des mécanismes de résilience écologique à la variabilité climatique et aux stress climatiques extrêmes. Nous avons utilisé un dispositif expérimental de grande envergure pour explorer les mécanismes de réponses des prairies subalpines à une combinaison d’extrêmes météorologiques hivernaux (fonte des neiges précoce) et estivaux (sécheresse) en fonction de la composition fonctionnelle des communautés végétales et des pratiques de gestion des terres. La composition fonctionnelle des prairies a été manipulée à l’aide d’assemblages de trois espèces de poacées en différentes abondances relatives, représentant in fine un gradient d’utilisation des ressources allant de la conservation à l'exploitation. De manière générale, la composition fonctionnelle a été le principal déterminant de tous les paramètres observés pour la performance individuelle des plantes, les réponses intraspécifiques des plantes, la décomposition de la litière et les processus de recyclage de l'azote. Le fonctionnement des écosystèmes prairiaux dominés par des plantes conservatrices a été remarquablement résistant aux traitements climatiques extrêmes, tandis que les écosystèmes prairiaux dominés par des plantes plus exploitatrices ont été plus résilients. Les pratiques de gestion ont modulé ces réponses et plus particulièrement dans le cas des communautés exploitatrices. Les allocations souterraines aux réserves glucidiques et aux pools d'azote microbiens ont été identifiées comme deux mécanismes clés sous-tendant les réponses des communautés résilientes. Néanmoins, des répercussions à plus long terme du changement climatique pourraient être observées, causées par un épuisement successif des réserves végétales et une diminution des retours azotés vers le sol via les processus de décomposition. / Alpine grassland ecosystems are presumed to be highly sensitive to climate change, yet their long history of climate variability, and multiple centuries of land use may have selected for mechanisms of ecological resilience to climate variability and climate extremes. We used a large experimental design to explore patterns and mechanisms for responses of subalpine grasslands to combined winter (snow removal) and summer (drought) weather extremes depending on plant functional composition and management. Plant functional composition was manipulated by establishing grass mixtures with three species representing a conservation to exploitation gradient planted at varying relative abundances. Overall, functional composition was the primary determinant of all observed parameters for plant individual performance, intraspecific plant trait responses, litter decomposition and nitrogen recycling processes. The functioning of grassland ecosystems dominated by conservative plants was remarkably resistant to extreme weather treatments, while grassland ecosystems dominated by more exploitative plants were more resilient. Management altered these responses mostly in the case of exploitative communities. Belowground allocation to carbohydrate reserves and to microbial nitrogen pools were identified as two key mechanisms underpinning these resilient responses. Longer-term impacts of climate change may however unfold through the exhaustion of plant reserves and decreasing nitrogen returns to soils via decomposition process.

Cette thèse propose une extension des méthodes classiques de chemins de «scan». On utilise des opérateurs combinatoires plus généraux à la place des multiplexeurs à une seule sortie. Ils peuvent comporter des entrées et des sorties multiples. Ils peuvent boucler sur eux-mêmes par l'intermédiaire d'une ou plusieurs bascules. Lorsqu'ils vérifient certaines propriétés de bijectivité et qu'ils forment une structure propageant de l'information, alors cette structure est aussi utile que les chaînes du «scan» complet et s'utilise de manière semblable. Elle permet aussi une approche hiérarchique du test des circuits. On montre comment tirer profit de cette méthode plus générale pour réduire l'impact de la méthode de «scan» complet sur les performances de circuits complexes implantant des fonctions mathématiques courantes ou des séquenceurs. Des résultats sont donnés pour le cas réel d'un circuit CMOS, très rapide, spécifique pour le réseau numérique large bande et pour lequel les contraintes en vitesse étaient primordiales

Cette thèse traite des simulations multidomaines des écoulements en milieu poreux. Trois aspects sont abordés. Une étude est d'abord menée concernant une méthode de décomposition de domaines avec des maillages non-raccordés, utilisant des conditions d'interface de type Robin, pour les éléments finis mixtes. D'autre part, la méthode est implémentée en parallèle à l'aide du système parallèle OcamlP3l, écrit par des informaticiens dans le langage Ocaml. En OcamlP3l, l'utilisateur programme et débogue en séquentiel, puis obtient le code parallèle par une simple recompilation. Enfin, nous présentons un nouveau modèle d'écoulement dans un mileu poreux contenant de grandes fractures, avec des perméabilités très grandes et/ou très faibles. Dans ce modèle, les fractures sont traitées comme des interfaces entre sous-domaines. Une analyse théorique prouve l'existence et l'unicité de la solution, fournit une estimation d'erreur, qui est confirmée par des tests numériques.

L'objectif de ce travail est l'étude des équations différentielles complètes du second ordre de type elliptique à coefficients opérateurs dans un espace de Banach X quelconque. Une application concrète de ces équations est détaillée, il s'agit d'un problème de transmission du potentiel électrique dans une cellule biologique où la membrane constitue une couche mince. L'originalité de ce travail réside particulièrement dans le fait que les opérateurs non bornés considérés ne commutent pas nécessairement. Une nouvelle hypothèse dite de non commutativité est alors introduite. L'analyse est faite dans deux cadres fonctionnels distincts: les espaces de Hölder et les espaces Lp (avec X un espace UMD). L'équation est d'abord étudiée sur la droite réelle puis sur un intervalle borné avec conditions aux limites de Dirichlet. On donne des résultats d'existence, d'unicité et de régularité maximale de la solution classique sous des conditions sur les données dans des espaces d'interpolation. Les techniques utilisées sont basées sur la théorie des semi-groupes, le calcul fonctionnel de Dunford et la théorie de l'interpolation. Ces résultats sont tous appliqués à des équations aux dérivées partielles concrètes de type elliptique ou quasi-elliptique.

Dans cette thèse, nous établissons un modèle à deux échelles à la fois pour des matrices de cantilevers unidimensionnels et bidimensionnels en régime de fonctionnement élastodynamique avec des applications possibles aux réseaux de microscopes à force atomique (AFM). Son élaboration est basée sur une analyse asymptotique pour les structures minces élastiques, une approximation à deux échelles et une mise à l'échelle utilisée pour l'homogénéisation des milieux fortement hétérogènes. Nous complétons la théorie de l'approximation à deux échelles pour les problèmes aux limites du quatrième ordre posés dans des domaines minces périodiques connexes seulement dans certaines directions. Notre modèle reproduit la dynamique globale du support ainsi que les mouvements locaux des cantilevers. Pour simplifier la suite du travail, nous concentrons nos travaux à l'étude de matrices de leviers constituées de lignes découplées en régime dynamique. Comme le support des leviers est élastique, l'effet du couplage entre levier est pris en compte. La vérification du modèle est soigneusement réalisée. Nous montrons que chaque mode propre peut être décomposé en produits d'un mode de base avec un mode de levier. Nous présentons une méthode de discrétisation du modèle et effectuons sa vérification numérique en la comparant avec des résultats de simulation par éléments finis du problème d'élasticité tridimensionnel. Par ailleurs, nous avons élaboré de nouveaux outils d'aide à la conception de réseaux d'AFM. Une boîte à outils d'optimisation robuste est interfacée avec le modèle permettant d'optimiser un design avant micro-fabrication. Un algorithme d'estimation de l'état statique combinant la mesure de déplacements mécaniques par interférométrie et le modèle a été introduit. Nous avons également synthétisé un régulateur quadratique linéaire (LQR) pour un réseau de cantilevers en mode dynamique comprenant actionneurs et capteurs régulièrement espacées. Dans le but de mettre en oeuvre le contrôle en temps réel, nous proposons une approximation semi-décentralisée qui peut être réalisé par un circuit électronique distribué analogique. Plus précisément, notre processeur analogique peut être réalisé par un réseau périodique de résistances (PNR). La méthode d'approximation de commande est basée sur deux concepts généraux, à savoir sur un calcul fonctionnel (c'est-à-dire des fonctions d'opérateurs) et sur la formule de représentation d'une fonction d'opérateur de Dunford-Schwartz. Cette méthode d'approximation est étendue pour la résolution d'un problème de filtrage optimal robuste de type H∞ de la dynamique d'un réseau de leviers couplés avec sources aléatoires de bruit.

Ce travail a pour cadre l'étude de la récupération des métaux précieux complexes en solution grâce a du charbon actif. Il a permis de comprendre les mécanismes fondamentaux de l'adsorption dans un système modèle constitue d'une solution d'ion dicyanoaurate et de charbon actif. Les interactions entre cette solution et le solide ont été caractérisées par diverses techniques: la pHmétrie, la titrimétrie, la zetamétrie, la potentiométrie et la thermodésorption. Ces méthodes ont permis d'avoir des renseignements sur la nature des groupements fonctionnels à la surface du charbon, groupements constituant les sites responsables de l'adsorption des complexes. De même par une méthode de traitement originale gaz-liquide-solide, nous avons modifié la nature de ces sites et leur répartition à la surface du charbon, ce qui a permis d'améliorer la capacité d'adsorption du charbon. Cette modification dépend de la nature et de la pression du gaz utilise. L'étude thermodynamique a montré que l'adsorption de l'ion dicyanoaurate sur le charbon peut être représentée assez correctement par l'équation de Langmuir généralisée à plusieurs types de sites. L'adsorption s'effectue de façon plutôt localisée, avec interaction sur des sites d'énergie différente. La vitesse d'adsorption de l'ion dicyanoaurate sur le charbon actif a été étudiée en fonction de plusieurs paramètres physico-chimiques: la température, les conditions hydrodynamiques comme la vitesse d'agitation et le rapport solide/liquide, la concentration initiale en complexe, la nature des substances étrangères, et la nature du gaz en contact avec la solution. Le mécanisme d'adsorption se déroule en trois étapes. La réaction limitante est la diffusion à travers un film pendant le début de la réaction, puis la diffusion-adsorption dans la structure poreuse au voisinage de l'équilibre.

Les cellules souches somatiques présentent habituellement un comportement très différent des cellules souches pluripotentes. Les bases moléculaires de l’auto-renouvellement des cellules souches embryonnaires ont été récemment déchiffrées grâce à la facilité avec laquelle nous pouvons maintenant les purifier et les maintenir en culture durant de longues périodes de temps. Par contre, il en va tout autrement pour les cellules souches hématopoïétiques. Dans le but d’en apprendre davantage sur le fonctionnement moléculaire de l’auto-renouvellement des cellules souches hématopoïétiques, j’ai d’abord conçu une nouvelle méthode de criblage gain-de-fonction qui répond aux caprices particuliers de ces cellules. Partant d’une liste de plus de 700 facteurs nucléaires et facteurs de division asymétrique candidats, j’ai identifié 24 nouveaux facteurs qui augmentent l’activité des cellules souches hématopoïétiques lorsqu’ils sont surexprimés. J’ai par la suite démontré que neuf de ces facteurs agissent de manière extrinsèque aux cellules souches hématopoïétiques, c’est-à-dire que l’effet provient des cellules nourricières modifiées en co-culture. J’ai également mis à jour un nouveau réseau de régulation de transcription qui implique cinq des facteurs identifiés, c’est-à-dire PRDM16, SPI1, KLF10, FOS et TFEC. Ce réseau ressemble étrangement à celui soutenant l’ostéoclastogénèse. Ces résultats soulèvent l’hypothèse selon laquelle les ostéoclastes pourraient aussi faire partie de la niche fonctionnelle des cellules souches hématopoïétiques dans la moelle osseuse. De plus, j’ai identifié un second réseau de régulation impliquant SOX4, SMARCC1 et plusieurs facteurs identifiés précédemment dans le laboratoire, c’est-à-dire BMI1, MSI2 et KDM5B. D’autre part, plusieurs indices accumulés tendent à démontrer qu’il existe des différences fondamentales entre le fonctionnement des cellules souches hématopoïétiques murines et humaines. / Somatic stem cells usually exhibit a very different behavior compared to pluripotent stem cells. The molecular basis of embryonic stem cell self-renewal was recently decrypted by the relative straightforwardness with which we can now purify and maintain these cells in culture for long periods of time. However, this is not the case with hematopoietic stem cells. In order to elucidate the molecular mechanisms of hematopoietic stem cell self-renewal, I developed a novel gain-of-function screening strategy, which bypasses some constraints found with these cells. Starting from a list of more than 700 candidate nuclear factors and asymmetric division factors, I have identified 24 new factors that increase hematopoietic stem cell activity when overexpressed. I have also found that nine of these factors act extrinsically to hematopoietic stem cells, i.e., the effect comes from the engineered feeder cells in co-culture. Moreover, I have revealed a new transcriptional regulatory network including five of the factors identified, i.e., PRDM16, SPI1, KLF10, FOS and TFEC. This network is particularly similar to that involved in osteoclastogenesis. These results raise the hypothesis that osteoclasts might also be part of the functional hematopoietic stem cell niche in the bone marrow. Furthermore, I have identified a second regulatory network involving SOX4, SMARCC1 and several factors previously identified in the laboratory, i.e., BMI1, MSI2 and KDM5B. Besides, several lines of evidence tend to show that there are fundamental differences between mouse and human hematopoietic stem cells.

Les troubles cognitifs constituent incontestablement une des caractéristiques les plus invalidantes de la schizophrénie et sont fortement corrélés aux perturbations de la vie quotidienne et de l'insertion socioprofessionnelle des patients. Différents programmes de remédiation cognitive ont vu le jour ces dernières années. S'ils semblent être le corollaire destroubles cognitifs, leurs bénéfices sur le statut fonctionnel des patients restent peu convaincants à ce jour. En cause : la non prise en compte de la double hétérogénéité des troubles cognitifs et des plaintes des patients. L'alternative proposée à ces études consiste à travailler selon la méthodologie des cas unique ou multiple en partant du pragmatisme des plaintes des patients, pour mettre en oeuvre des interventions centrées sur les activités spécifiques de la vie quotidienne mettant en jeu les aspects fonctionnels altérés. L'objectif de cette thèse a été d'étudier l'efficacité d'une telle démarche. Deux prises en charge individualisées et une prise en charge de groupe ont été élaborées. Une première étude visait à optimiser la réalisation des activités particulières de la vie professionnelle du sujet à travers l'accroissement de l'efficacité de deux sous-composantes de la Mémoire de Travail ; les deux autres études se sont focalisées sur les aspects exécutifs de la mémoire épisodique verbale et ont inclus une stratégie organisationnelle de l'encodage visant à promouvoir les opérations de compréhension et de structuration de l'information, dans le but d'optimiser la réalisation d'activités de la vie quotidienne (lectures, conversations, sorties culturelles, suivi de programmes TV). Les résultats témoignent de l'efficacité et de la spécificité de chacune de ces interventions. Un suivi à long terme a permis d'objectiver une stabilité dans le maintien des acquis et un transfert durable des différents apprentissages dans la vie professionnelle et quotidienne d'un des sujets.

Avec la plupart des méthodes formelles, un premier modèle peut être raffiné formellement en plusieurs étapes, jusqu'à ce que le raffinement final contienne assez de détails pour une implémentation. Ce premier modèle est généralement construit à partir de la description des besoins obtenue dans la phase d'analyse des exigences. Cette transition de la phase des exigences à la phase de spécification formelle est l'une des étapes les plus délicates dans la chaîne de développement formel. En fait, la construction de ce modèle initial exige un niveau élevé de compétence et beaucoup de pratique, d'autant qu'il n'existe pas de processus bien défini pour aider les concepteurs. Parallèlement à ce problème, il s'avère également que les exigences non-fonctionnelles sont largement marginalisées dans le processus de développement logiciel. Les pratiques industrielles actuelles consistent généralement à spécifier seulement les exigences fonctionnelles durant les premières phases de ce processus et à laisser la prise en compte des exigences non-fonctionnelles au niveau de l'implémentation. Pour surmonter ces problèmes, la thèse vise à définir un couplage entre un modèle d'exigences exprimé en SysML/KAOS et des spécifications formelles abstraites, tout en garantissant une distinction entre les exigences fonctionnelles et non-fonctionnelles dès la phase d'analyse des exigences. Pour cela, la thèse propose tout d'abord deux approches différentes (l'une dédiée au B classique et l'autre à Event-B) dans lesquelles des modèles formels abstraits sont construits progressivement à partir du modèle de buts fonctionnels SysML/KAOS. La thèse se focalise par la suite sur l'approche dédiée à Event-B afin de la compléter et l'enrichir en se servant de deux autres modèles SysML/KAOS qui décrivent les buts non-fonctionnels et leurs impacts sur les buts fonctionnels. Nous présentons différentes manières permettant d'injecter ces buts non-fonctionnels et leurs impacts dans les modèles abstraits Event-B déjà obtenus. Des liens de correspondance entre les buts non-fonctionnels et les différents éléments Event-B sont également établis afin de faciliter la gestion de l'évolution de ces buts. Les différentes approches proposées dans cette thèse ont été appliquées pour la spécification du composant de localisation qui est une partie critique d'un système de transport terrestre. L'approche dédiée à Event-B est implémentée dans l'outil SysKAOS2EventB, permettant ainsi de générer une architecture de raffinement Event-B à partir d'un modèle de buts fonctionnels SysML/KAOS. Cette mise en œuvre s'appuie principalement sur les technologies de transformation de modèles à modèles