Les procaryotes sulfato-réducteurs (PSRs)jouent un rôle majeur dans les cycles biogéochimiques de la matière et interviennentnotamment dans la dégradation de la matière organique récalcitrante (e.g. hydrocarbures) mais également dans les processus d’oxydo-réduction de métaux et/ou métalloïdes.L’objet de ce travail a consisté à approfondir certain de ces aspects de la physiologie des PSRs. La dégradation d’hydrocarbures a été étudiée en mésophilie, avec la caractérisation d’une souche bactérienne issue d’un site pollué. Cette souche décrite comme une nouvelle espèce,Desulfatiferulaberrensis BE2801, est capable de dégrader les n-alcènes. La dégradation d’hydrocarbures a également été étudiée à très haute température chez une archée,Archaeoglobus fulgidus. Cette souche oxyde les n-alcanes, l’oxydation étant vraisemblablement catalysée par la protéine PflD.L’ensemble des travaux réalisés montre que PflDserait une alkylsuccinate synthase qui permettrait l’activation de l’hydrocarbure par addition au fumarate. Outre ses capacités hydrocarbonoclastes à haute température, A. fulgidusest également capable de corroder le fer, de manière indirecte par la production de sulfures, et directement, en oxydant le fer de manière originale avec la formation de « micro-cheminées ». Outre l’oxydation de matière organique et de métaux, les PSRs sont également capables de réduire un grand nombre d’éléments, notamment les métaux et métalloïdes. C’est le cas de Desulfotomaculum hydrothermale, connue pour réduire à haute température l’arsenic, métalloïde hautement toxique. L’analyse de la séquence du génome de cette souche a confirmé ses capacités de détoxication. / Sulfate-reducing prokaryotes (SRPs) play a significant role in the biogeochemical cycles of matter, in particular in the degradation of recalcitrant organic compounds (e.g. hydrocarbons) but also in oxido-reduction of metals and/or metalloids. The aim of this work was to deepen some of these aspects of SRPs physiology. Hydrocarbon degradation was studied with a mesophilic bacterial strain isolated from a polluted site.This strain, described as a new species, Desulfatiferula berrensis BE2801, is able to degrade n-alkenes. Degradation of hydrocarbons has also been studied at high temperatures with an archaeon, Archaeoglobus fulgidus. This archaeon oxidize n-alkanes with most likely involvement of the PflD protein. All our experiments showed that PflD would be an alkylsuccinate synthase allowing hydrocarbon activation by addition to fumarate. Moreover, A. fulgidus was shown to corrode iron at high temperature, through the production of sulfide and also by directly oxidizing iron with formation of unusual "micro-chimneys". In addition to organic matter oxidation, SRPs are known to reduce a large number of elements, including metals and metalloids. This is the case for Desulfotomaculum hydrothermale reported to reduce arsenic at high temperature. Analyses of the genome sequence of this bacterium confirmed its ability to detoxify this mineral.

Cette thèse est consacrée au calcul des solutions formelles d'un système différentiel linéaire méromorphe dans un voisinage de l'origine de c de la forme y(z)=a(z)y(z). Il est bien connu qu'une matrice fondamentale de solutions s'écrit formellement sous forme h(z)=f(z)g(z), ou f(z) est une série formelle en racine de z et g(z) est une matrice de fonctions élémentaires qui constituent des exponentiels polynomiaux en racine de z#1, puissance complexe de z##1, et puissance entière positive de log z. H. L. Turrittin et w. Wasow ont propose une methode algorithmique pour calculer h(z). Cette methode coute chére en calcul. Devant ce fait, nous proposons une nouvelle approche algorithmique pour trouver h(z). Cette approche a l'avantage d'utiliser des transformations simples et moins couteuses en calcul. De plus, notre approche permet de calculer le plus grand degré des polynômes exponentiels qui se trouvent dans la matrice g(z). En pratique, les systèmes a deux dimensions sont importants. Dans ce cas, nous proposons une methode programmable, inspirée de l'approche générale précédente pour calculer les solutions au voisinage d'une singularité

L'objet de cette thèse est l'extension des méthodes de la théorie des types intersections non-idempotents, introduite par Gardner et de Carvalho, à des cadres dépassant le lambda-calcul stricto sensu.- Nous proposons d'abord une caractérisation de la normalisation de tête et de la normalisation forte du lambda-mu calcul (déduction naturelle classique) en introduisant des types unions non-idempotents. Comme dans le cas intuitionniste, la non-idempotence nous permet d'extraire du typage des informations quantitatives ainsi que des preuves de terminaison beaucoup plus élémentaires que dans le cas idempotent. Ces résultats nous conduisent à définir une variante à petits pas du lambda-mu-calcul, dans lequel la normalisation forte est aussi caractérisée avec des méthodes quantitatives. - Dans un deuxième temps, nous étendons la caractérisation de la normalisation faible dans le lambda-calcul pur à un lambda-calcul infinitaire étroitement lié aux arbres de Böhm et dû à Klop et al. Ceci donne une réponse positive à une question connue comme le problème de Klop. À cette fin, il est nécessaire d'introduire conjointement un système (système S) de types infinis utilisant une intersection que nous qualifions de séquentielle, et un critère de validité servant à se débarrasser des preuves dégénérées auxquelles les grammaires coinductives de types donnent naissance. Ceci nous permet aussi de donner une solution au problème n°20 de TLCA (caractérisation par les types des permutations héréditaires). Il est à noter que ces deux problèmes n'ont pas de solution dans le cas fini (Tatsuta, 2007).- Enfin, nous étudions le pouvoir expressif des grammaires coinductives de types, en dehors de tout critère de validité. Nous devons encore recourir au système S et nous montrons que tout terme est typable de façon non triviale avec des types infinis et que l'on peut extraire de ces typages des informations sémantiques comme l'ordre (arité) de n'importe quel lambda-terme. Ceci nous amène à introduire une méthode permettant de typer des termes totalement non-productifs, dits termes muets, inspirée de la logique du premier ordre. Ce résultat prouve que, dans l'extension coinductive du modèle relationnel, tout terme a une interprétation non vide. En utilisant une méthode similaire, nous montrons aussi que le système S collapse surjectivement sur l'ensemble des points de ce modèle. / In this dissertation, we extend the methods of non-idempotent intersection type theory, pioneered by Gardner and de Carvalho, to some calculi beyond the lambda-calculus.- We first present a characterization of head and strong normalization in the lambda-mu calculus (classical natural deduction) by introducing non-idempotent union types. As in the intuitionistic case, non-idempotency allows us to extract quantitative information from the typing derivations and we obtain proofs of termination that are far more elementary than those in the idempotent case. These results leads us to define a small-step variant of the lambda-mu calculus, in which strong normalization is also characterized by means of quantitative methods.- In the second part of the dissertation, we extend the characterization of weak normalization in the pure lambda-calculus to an infinitary lambda-calculus narrowly related to Böhm trees, which was introduced by Klop et al. This gives a positive answer to a question known as Klop's problem. In that purpose, it is necessary to simultaneously introduce a system (system S) featuring infinite types and resorting to an intersection operator that we call sequential, and a validity criterion in order to discard unsound proofs that coinductive grammars give rise to. This also allows us to give a solution to TLCA problem #20 (type-theoretic characterization of hereditary permutations). It is to be noted that those two problem do not have a solution in the finite case (Tatsuta, 2007).- Finally, we study the expressive power of coinductive type grammars, without any validity criterion. We must once more resort to system S and we show that every term is typable in a non-trivial way with infinite types and that one can extract semantical information from those typings e.g. the order (arity) of any lambda-term. This leads us to introduce a method that allows typing totally unproductive terms (the so-called mute terms), which is inspired from first order logic. This result establishes that, in the coinductive extension of the relational model, every term has a non-empty interpretation. Using a similar method, we also prove that system S surjectively collapses on the set of points of this model

La lutte contre les changements climatiques est un combat qui doit être un combat mené par tous les pays. Partant de ce constat, cette étude maintient l'idée selon laquelle, en dépit du principe des responsabilités communes mais différenciées qui exige en premier la contribution des États développés générateurs de gaz à effet de serre de sources industrielles, une participation des États en développement dont certains génèrent des gaz à effet de serre de sources forestières est requise afin d'obtenir des résultats durables. Cependant, la contribution de ces derniers suppose des appuis financiers et techniques suffisants pour pallier les surcoûts. En ce sens, un mécanisme financier comme le REDD+ (réduction des émissions dues au déboisement et à la dégradation des forêts dans les pays tropicaux en développement, et le rôle de la conservation, de l'aménagement durable des forêts et du renforcement des stocks forestiers), constitue une innovation. Cela étant, les expériences du REDD+ ont permis à la communauté internationale de noter les faiblesses de son régime. La présente étude de la durabilité dans le mécanisme REDD+ vise à étudier comment le droit peut assurer que le REDD+ soit véritablement un mécanisme de développement durable. Fondée sur une analyse du cadre normatif du REDD+, cette étude se veut réalisable par une comparaison des dispositions relatives au REDD+ et ce, au vu de critères et de principes internationalement admis dont : l'impact, l'efficacité, la pertinence, l'acceptabilité, la viabilité, la participation du public, les responsabilités communes mais différenciées, l'intégration.

Dans le contexte où plusieurs études démontrent que la relation thérapeutique est l’un des meilleurs prédicteurs des résultats thérapeutiques (Castonguay & Beutler, 2006; Lambert & Barkley, 2001), la présente recherche au design qualitatif s’intéresse aux interventions thérapeutiques relationnelles selon une approche relationnelle contemporaine : La Psychothérapie Gestaltiste des Relations d’Objet (PGRO). Cette approche considère que les interventions relationnelles sont au cœur du processus thérapeutique et un levier essentiel de changement. Elle définit deux champs d’interventions liées à la relation thérapeutique : le champ I, l’ici-et-maintenant de la relation thérapeute client, et le champ II, l’histoire de cette relation thérapeutique. La recherche présente deux niveaux d’objectifs. Le premier vise à décrire les composantes des interventions du travail psychothérapeutique dans les champs I et II selon la PGRO et le deuxième vise à opérationnaliser par illustration les composantes des interventions en champs I et II. Une analyse phénoménologique de réduction descriptive et une analyse de contenu de la description par douze thérapeutes d’expérience formés à la PGRO de leur pratique clinique ont permis de définir des composantes liées 1) à la nature des interventions en champs I et II, 2) aux déclencheurs, 3) aux buts de ces interventions, 4) aux processus en jeu dans l’élaboration de telles interventions par le thérapeute. Les questions, les difficultés et les satisfactions des thérapeutes liées à la pratique de ces interventions ont été ensuite répertoriées. L’analyse de contenu d’exemples d’interventions en champs I et II a également permis de comprendre la nature de ces interventions. Finalement, les résultats ont pu être par la suite opérationnalisés et validés par le biais de verbatim d’entrevues PGRO provenant de l’école de formation à la PGRO (CIG). Les retombées de cette recherche sont avant tout d’ordre clinique. Elles ouvrent sur la possibilité d’activités de formation et de réflexion auprès d’intervenants intéressés à l’approche PGRO.

Les nanotubes de carbone ou le graphène sont des formes allotropiques du carbone prometteuses pour un large domaine d'applications, mais des modifications de leur surface carbonée sont nécessaires pour leur manipulation et mise en forme. La fonctionnalisation covalente est un des moyens utilisés avec succès dans ce cadre, même si les modifications induites ne sont pas contrôlables. Les travaux réalisés au cours de cette thèse concernent l'utilisation de la réduction chimique des nanotubes et autres nanoformes de carbone, nanocornes, graphène ou nanodisques, pour d'une part obtenir des solutions stables et concentrées dans une gamme de solvants dépendant du type de nanoforme et d'autre part fonctionnaliser de manière covalente les différents types de surface carbonée de ces objets. Dans le cas des nanotubes, des molécules acceptrices ou donneuses d'électrons ont ainsi été greffées permettant la formation d'ensembles donneur-accepteur. D'autre part, le nombre de fonctions chimique greffées a pu être contrôlé, préservant ainsi les propriétés électroniques des nanotubes.

Les travaux présentes s'inscrivent dans le cadre de la réduction de variance pour les méthodes de Monte-Carlo et plus généralement dans l'optimisation de méthodes numériques à l'aide de couplage entre des méthodes déterministes et des méthodes probabilistes. Trois thèmes principaux seront abordés à l'aide de ces techniques: l'intégration numérique sur un hypercube, la résolution d' équations aux dérivées partielles linéaires et le calcul des éléments propres principaux (valeur propre et vecteur propre) de certains opérateurs linéaires.

Au cours de ces dernières années, la taille des transistors a diminué considérablement permettant ainsi de réduire la taille des composants et de multiplier le nombre de composants dans un système. Cette condensation des transistors avec la montée en fréquence des circuits est à l'origine d'une augmentation drastique de la densité de puissance et d'une élévation importante de la température du composant, dommageable pour les performances de celui-ci. Le but de ces travaux de thèse est de proposer une méthodologie de génération de modèles thermiques, légers (rapidement simulables) et indépendants des conditions aux limites, de systèmes électroniques complexes. Cette méthodologie permet de décomposer un système complexe en sous-éléments, de construire un modèle léger de chaque élément et de les reconnecter afin de recomposer le comportement thermique du système global. La méthodologie permet d'effectuer une analyse thermique du système tôt dans le processus de conception d'un système et offre de nombreux avantages par rapport aux modèles existants.

Les systèmes d'énergie électrique embarqués ou semi autonomes connaissent des évolutions marquées. Parmi elles, on peut citer l'introduction massive d'électronique de puissance permettant d'améliorer significativement les performances via leur commande et l'interfaçage de sources de stockage. A contrario, de nombreux problèmes se posent lors du dimensionnement et du choix de l'architecture de commande du système : quelle stratégie de gestion énergétique doit-on mettre en œuvre au préalable pour optimiser les flux et le dimensionnement des sources ? Quelle commande permet d'intégrer à la fois des critères de performances dynamiques, de stabilité et de robustesse vis-à-vis des incertitudes paramétriques inhérentes à un processus de dimensionnement ? Enfin, quels outils et modèles doit-on mettre en œuvre pour garder un lien fort entre paramètres du système et critères de performances tout au long de ce processus ? Les travaux présentés dans ce mémoire proposent des premières réponses à ces questions, via l'utilisation de techniques de commande avancées comme la commande optimale ou la commande robuste. Des outils originaux de modélisation, basés sur les systèmes d'ordre non entier seront également présentés pour la modélisation de dispositifs diffusifs (machines électriques, générateurs électrochimiques) ou modélisés par des équations aux dérivées partielles.

Les réseaux des capteurs sans fil sont considérés comme une alternative aux réseaux câblés afin de permettre l'installation dans des zones peu accessibles. Par conséquent, de nouveaux protocoles ont été conçus pour supporter le manque des ressources qui est spécifique à ce type de réseau. La communication entre les nœuds est réalisée par des protocoles spécifiques pour la gestion efficace de l'énergie. La gestion des données collectées par ces nœuds doit être également prise en compte car la communication entre les nœuds engendre un coût non négligeable en termes d'énergie. De plus, l'installation de ce type de réseau dans des régions lointaines facilite les attaques sur la structure des réseaux ainsi que sur les données collectées. Les mesures de sécurité envisagées amènent des coûts d'énergie supplémentaires. Un aspect souvent négligé concerne le cas où un nœud ne peut pas communiquer avec la station de base (sink node) qui collectionne et traite les données. Cependant, les nœuds continuent à accumuler des informations en suivant les plans de collection. Si la situation continue, l'espace de mémoire (storage) diminue à un point où la collection de nouvelles données n'est plus possible.Nous proposons des mécanismes pour la réduction contrôlée de données en considérant leur priorité relative. Les données sont divisées dans des unités auxquelles un niveau d'importance est alloué, en fonction des considérations d'utilité et de missions qui les utilisent. Nous proposons un ensemble de primitives (opérations) qui permettent la réduction d'espace de stockage nécessaire, tout en préservant un niveau raisonnable de résolution des informations collectées. Pour les larges réseaux à multiple nœuds, nous proposons des mécanismes pour le partage de données (data load sharing) ainsi que la redondance. Des algorithmes ont été proposés pour évaluer l'efficacité de ces techniques de gestion de données vis-à-vis de l'énergie nécessaire pour transférer les données.A travers des simulations, nous avons validé le fait que les résultats sont très utiles dans les cas à mémoire limitée (wireless nades) et pour les communications intermittentes.