L’étude ciblait le sud-est de Madagascar, dans la région de l’Anosy. Cette région, comme le reste de Madagascar, fait face à une dégradation écologique alarmante menaçant sa riche biodiversité. QMM, une filiale de Rio Tinto, y a démarré un important projet d’exploitation minière en 2009. La compagnie a pris plusieurs engagements sociaux et de réhabilitation écologique des sites après exploition.L’exploitation minière requiert la coupe à blanc du couvert végétal ainsi que la perturbation de la mycorhizosphère du sol pour aller chercher les minéraux jusqu’à une profondeur de vingt mètres. Étant donné le rôle des symbioses racinaires dans l’établissement des plants, ces outils biologiques devraient être partie intégrante des pratiques améliorées de réhabilitation. L’objectif du projet était donc de tester différents symbiotes racinaires (mycorhize arbusculaire, Glomus irregulare) et des bactéries fixatrices d’azote, Bradyrhizobium sp.) sur Mimosa latispinosa, une espèce d’arbuste native de la région, pionnière et fixatrice d’azote. Glomus irregulare et deux souches malgaches de Bradyrhizobium spp. (STM1415 et STM1447) ont été inoculés seuls ou en combinaison sur M. latispinosa en pépinière près du site minier. Quatre mois après l’inoculation, il n’y a pas eu un effet significatif des souches symbiotiques sur la croissance de la plante, quoiqu’une bonne colonisation ait été observée. La stérilisation du sol engendre toutefois un effet positif sur la croissance des plantes. G. irregulare et deux souches de Bradyrhizobium spp. (STM1413 et STM1415) ont également été testés sur M. latispinosa en serre au Centre National de Recherche en Environnement (CNRE) de Madagascar à Antananarivo. Ces essais ont montré que G. irregulare seul est inefficace pour stimuler la croissance de la plante, mais que l’inoculation double avec Bradyrhizobium spp. augmente significativement sa croissance. Les deux souches testées, STM1413 et STM1415, se sont montrées efficaces pour stimuler la croissance de M. latispinosa en serre. Les conditions pédologiques légèrement différentes en serre ne permettent toutefois pas de comparer les résultats aux conditions de la pépinière. / This study focused on the south-east part of Madagascar, the Anosy region. This region, as elsewhere in Madagascar, is subject to an alarming ecological degradation which is threatening its abundant biodiversity. QMM, a Rio Tinto subsidiary, started in 2009 an important mining project in this region. The company committed itself to social responsibility activities and environmental rehabilitation of the mined site. Indeed, the mining operations imply the clearcutting of the land and the disturbance of the mycorhizosphere in order to extract the minerals found at a depth of twenty meters. Considering the key role of root symbioses in the establishment of plants, these biotools should integrated parts in enhanced reclamation practices. The aim of the project was to test different symbiotic stains (arbuscular mycorrhiza, Glomus irregulare and indigenous rhizobial bacterias, Bradyrhizobium spp.) on Mimosa latispinosa, a native, pioneer and nitrogen fixing shrub. Glomus irregulare and two Malagasy strains of Bradyrhizobium spp. (STM1415 & STM1447) were inoculated alone or in combination on M. Latispinosa in nursery, located close to the mining site. Four months after inoculation, it appeared that none of the symbiotic strain had a significant effect on the plant growth, even if there was a good colonization. However, the soil sterilization produced a positive effect on the plant growth. G. irregulare and two strains of Bradyrhizobium spp. (STM1413 and STM1415) were also tested on M. latispinosa in glasshouse at the headquarter of the National Center for Environmental Research of Madagascar, located at Antananarivo. These trials showed that G. irregulare inoculated alone was ineffective for the plant growth increment, but that dual inoculation increased growth significantly. Both rhizobial strains tested, STM1413 and STM1415, were effective to stimulate the growth of M. Latispinosa in glasshouse. However, the soil conditions were slightly different in the glasshouse, making it difficult to compare the results with the nursery conditions.

Durant ces dernières décennies, nous avons assisté à une automatisation massive de la société selon toutes ses sphères. Malheureusement, cette révolution technologique n’a pas eu que des bienfaits. En effet, une nouvelle génération de criminels en a profité, afin d’occasionner davantage d’activités illégales. De ce fait, afin de protéger les systèmes informatiques, il est devenu plus que primordial de définir rigoureusement des politiques de sécurité ainsi que de mettre en oeuvre des mécanismes efficaces capables de les appliquer. L’objectif majeur d’un mécanisme de sécurité consiste souvent à contrôler des logiciels, afin de les contraindre à “bien” se comporter. Cependant, la plupart des mécanismes de sécurité procèdent par des méthodes ad hoc qui sont loin d’être efficaces. En outre, ils sont peu fiables, puisqu’il n’y a aucune preuve sur leur capacité à faire respecter les politiques de sécurité. De là apparaît la nécessité de concevoir des mécanismes de sécurité alternatifs qui résolvent le problème de l’application de la sécurité d’une manière formelle, correcte et précise. Dans ce contexte, notre thèse cible principalement la caractérisation formelle de l’application effective des politiques de sécurité via des mécanismes basés sur la réécriture de programmes. On entend par application effective, le fait d’éliminer tous les “mauvais” comportements d’un programme, tout en conservant tous les “bons” comportements qu’il engendre, et ce, sans compromettre la sémantique du programme à sécuriser. Nous avons opté pour la réécriture de programmes, vu sa grande puissance par rapport aux autres mécanismes de sécurité qui sont soit laxistes soit très restrictifs. Les principaux résultats qui ont été réalisés, afin d’atteindre les objectifs ciblés par cette thèse sont les suivants : – Caractérisation formelle de l’application des propriétés de sûreté par la réécriture de programmes. Il s’agit d’appliquer les propriétés de sûreté qui constituent la classe de propriétés de sécurité la plus communément appliquée par les mécanismes de sécurité. – Caractérisation formelle de l’application de n’importe quelle propriété de sécurité par la réécriture de programmes. Cette contribution montre comment la réécriture de programmes permet l’application de politiques de sécurité qu’aucune autre classe de mécanismes de sécurité ne peut appliquer. – Caractérisation alternative de l’application de la sécurité par une approche algébrique. Cette contribution propose un formalisme algébrique afin de réduire l’écart entre la spécification et l’implantation des mécanismes de sécurité basés-réécriture. / During the last decades, we have witnessed a massive automation of the society at all levels. Unfortunately, this technological revolution came with its burden of disadvantages. Indeed, a new generation of criminals emerged and is benefitting from continuous progress of information technologies to cause more illegal activities. Thus, to protect computer systems, it has become very crucial to rigorously define security policies and provide the effective mechanisms required to enforce them. Usually, the main objective of a security mechanism is to control the executions of a software and ensure that it will never violate the enforced security policy. However, the majority of security mechanisms are based on ad hoc methods and thus, are not effective. In addition, they are unreliable, since there is no evidence on their ability to enforce security policies. Therefore, there is a need to develop novel security mechanisms that allow enforcing security policies in a formal, correct, and accurate way. In this context, our thesis targets the formal characterization of effective security policies enforcement that is based on programs rewriting. We mean by “effective” enforcement preventing all the “bad” behaviors of a program while keeping all its "good" behaviors. In addition, effective enforcement should not compromise the semantics of controlled programs. We have chosen for rewriting programs, because it has a great power compared to other security mechanisms that are either permissive or too restrictive. Themain contributions of this thesis are the following : – Formal characterization of security enforcement of safety properties through program rewriting. Safety properties represent the main class of properties usually enforced by security mechanisms. – Formal characterization of any security property using program rewriting. This contribution shows how program rewriting allows the enforcement of security policies that no other class of security mechanisms can enforce. – Algebraic approach as an alternative formal characterization of program rewriting based security enforcement. In this contribution, we investigate an algebraic formal model in order to reduce the gap between the specification and the implementation of program rewriting based security mechansisms.

La copule de Abdelhaq Khoudraji permet de décrire complètement le lien de dépendance qui unit deux variables aléatoires continues. Ce mémoire présente une nouvelle copule basée sur les copules de Khoudraji mais avec plus de propriétés. On a étendu les copules de Khoudraji à des cas multidimen-sionnels tout en proposant quelques exemples. Des simulations ont été introduites dans le but de mieux visualiser ces nouvelles classes de copules. Finalement, des applications ont été réalisées afin de mettre en oeuvre les nouvelles copules trouvées.

Le Narcissistic Personality Inventory (NPI) est la mesure du narcissisme la plus utilisée en recherche et il n'en existe pas de version française validée. Dans cette étude, une adaptation française a donc été développée pour ensuite être distribuée à 546 participants de niveau baccalauréat âgés entre 19 et 59 ans. Nos données ne soutiennent pas le modèle à sept facteurs proposé par Raskin et Terry (1988). Des analyses factorielles exploratoires suggèrent plutôt la présence d'une structure à deux facteurs (Exhibitionnisme/Recherche d'attention et Leadership/Arrogance) ou à trois facteurs (Leadership, Exhibitionnisme/Recherche d'attention et Ambition/Arrogance). Ces structures présentent des similarités avec d'autres modèles récemment proposés pour la version anglaise. La cohérence interne de l'échelle totale de la mesure est excellente (0.91) et fidèle dans le temps (r = 0.79). Une corrélation positive est obtenue entre le NPI et la sous-échelle extraversion du NEO-FFI et des corrélations négatives sont observées entre le NPI et les sous-échelles agréabilité et névrotisme du NEO-FFI. L'échelle totale ne corrèle pas avec l'échelle d'estime de soi de Rosenberg (EESR).

Les analyses interprocédurales automatiques de programmes qui sont basées sur des théories mathématiques rigoureuses sont complexes à réaliser, mais elles sont d'excellents outils pour augmenter notre conance envers les comportements possibles d'un programme. Les méthodes classiques pour réaliser ces analyses sont l'analyse de modè- les, l'interprétation abstraite et la démonstration automatique de théorèmes. La base d'un démonstrateur automatique de théorèmes est une logique ou une algèbre et le choix de celle-ci a un impact sur la complexité de trouver une preuve pour un théorème donné. Cette dissertation développe un formalisme algébrique concis pouvant être utilisé en démonstration automatique de théorèmes. Ce formalisme est appellé algèbre de Kleene à pile visible. Cette dissertation explique comment ce formalisme peut être utilisé pour réaliser des analyses interprocédurales de programmes, comme des vérications formelles et des vérications d'optimisations efectuées par des compilateurs. Cette dissertation apporte aussi des preuves que ces analyses pourraient être automatisées. L'algèbre de Kleene à pile visible est une extension de l'algèbre de Kleene, un excellent formalisme pour réaliser des analyses intraprocédurales de programmes. En bref, l'algèbre de Kleene est la théorie algébrique des automates nis et des expressions régulières. Donc, cette algèbre à elle seule n'est pas appropriée pour faire des analyses interprocédurales de programmes car la puissance des langages non contextuels est souvent nécessaire pour représenter le lot de contrôle d'un tel programme. L'algèbre de Kleene à pile visible étend celle-ci en lui ajoutant une famille d'opérateurs de plus petit point xe qui est basée sur une restriction des grammaires non contextuelles. En fait, cette algèbre axiomatise exactement la théorie équationnelle des langages à pile visibles. Ces langages sont une sous-classe des langages non contextuels et ont été dénis par Alur et Madhusudan pour faire de l'analyse de modèles. La complexité résultante de la théorie équationnelle de l'algèbre proposée est EXPTIME-complète. / Automatic interprocedural program analyses based on rigorous mathematical theories are complex to do, but they are great tools to increase our condence in the behaviour of a program. Classical ways of doing them is either by model checking, by abstract interpretation or by automated theorem proving. The basis of an automated theorem prover is a logic or an algebra and the choice of this basis will have an impact in the complexity of nding a proof for a given theorem. This dissertation develops a lightweight algebraic formalism for the automated theorem proving approach. This formalism is called visibly pushdown Kleene algebra. This dissertation explains how to do some interprocedural program analyses, like formal veri cation and verication of compiler optimizations, with this formalism. Evidence is provided that the analyses can be automated. The proposed algebraic formalism is an extension of Kleene algebra, a formalism for doing intraprocedural program analyses. In a nutshell, Kleene algebra is the algebraic theory of nite automata and regular expressions. So, Kleene algebra alone is not well suited to do interprocedural program analyses, where the power of context-free languages is often needed to represent the control flow of a program. Visibly pushdown Kleene algebra extends Kleene algebra by adding a family of implicit least xed point operators based on a restriction of context-free grammars. In fact, visibly pushdown Kleene algebra axiomatises exactly the equational theory of visibly pushdown languages. Visibly pushdown languages are a subclass of context-free languages dened by Alur and Madhusudan in the model checking framework to model check interprocedural programs while remaining decidable. The resulting complexity of the equational theory of visibly pushdown Kleene algebra is EXPTIME-complete whereas that of Kleene algebra is PSPACE-complete.

Des algorithmes de conception automatisée d’amorces PCR et de sondes d’hybridation aux fins de diagnostic moléculaire ont été créés et implémentés. La vitesse de recherche d’amorces PCR à la fois spécifiques, ubiquitaires et sensibles s’est avérée considérablement accrue par le calcul et l’emploi de consensus binaires d’alignements multiples de séquences d’ADN. La recherche de sondes d’hybridation spécifiques et l’analyse du potentiel d’hybridation en général entre deux séquences a été facilitée par la synthèse de données empiriques d’hybridation trouvées dans divers articles publiés. D’autres programmes servant à faciliter ou automatiser l’exécution de diverses tâches utiles ont également été créés. Tous les programmes résultants ont permis de valider les algorithmes créés et de confirmer leur utilité dans l’exécution des tâches désirées par les membres de l’équipe de recherche auxquels ils étaient prioritairement destinés. / Algorithms for automatic design of PCR primers and of hybridization probes for molecular diagnostics have been created and implemented. The search speed for PCR primers that were at the same time specific, ubiquitary and sensitive was greatly improved by both computation and use of binary consensus of multiple alignments of DNA sequences. The search for specific hybridization probes and also analysis of hybridization potential in general between two sequences was facilitated by synthesis of empirical data gathered from different published papers. Other software for facilitating or automating the execution of different useful tasks were also created. All resulting software allowed both for the validation of algorithms and for the confirmation of their usefullness in executing desired tasks by the members of the research team for which they were written in the first place.

L'efficacité de sources d'énergie renouvelables comme l'énergie solaire est une inquiétude croissante pour les chercheurs et les consommateurs partout dans le monde. En 2007, notre laboratoire a publié une classe de dérivées de poly-(2,7-carbazole) pour les cellules photovoltaïques organiques en jonction hétérogène nanocomposite. La caractérisation des interfaces de cette jonction hétérogène devient le principe de base pour l'optimisation de l'efficacité des cellules solaires. Au début, les procédures de fabrication des cellules seront optimisées pour développer une méthode définie et reproductible. Par la suite, la caractérisation et l'optimisation de la morphologie de la jonction hétérogène nous donneront une meilleure compréhension des paramètres qui influencent le rendement de la conversion énergétique. La microscopie à force atomique, la microscopie électronique en transmission et la microscopie de fluorescence nous ont permis de mieux qualifier et quantifier les composants de cette jonction. Toutes ces techniques peuvent à l'avenir mieux caractériser et évaluer les nouveaux polymères pour la microélectronique.

Le travail présenté dans ce mémoire de maîtrise est le résultat d'une recherche ethnographique menée à Taipei, Taiwan en 2011 avec des adeptes de qigong ainsi qu'avec des étudiants de la National Taiwan University. Ce travail vise à répondre à la question de recherche centrale : pour quelle(s) raison(s) les adeptes du groupe de « Qigong de Chine — Les cinq éléments » pratiquent-ils le qiqong à Taiwan aujourd'hui ? Ma démarche est de type inductif. L'observation participante ainsi que des entretiens semi-dirigés de type conversationnel furent les principales méthodes de collectes des données. Ce mémoire s'inscrit dans les préocupations de l'anthropologie du corps et utilise les notions « indigènes» chinoises relatives à la santé, au corps taoïste, et au corps confucéen. Il aborde aussi la thématique de l'articulation entre sciences modernes et une pratique dite traditionnelle, soit ici le qigong, pour montrer en quoi le qigong est une pratique corporelle intentionnellement choisie par les adeptes pour répondre à des pronostics de santé biomédicale. J'explorerai ce que les adeptes de qigong ont à dire sur leur corps (tel qu'il est vécu, tel qu'ils se le représentent) lors de la pratique du qigong et verrai en quoi cela me renseigne sur certains enjeux culturels contemporains à Taipei. J'examine le caractère effectif vécu ou non, de la référence au taoïsme pour les adeptes de qigong et je cherche à montrer comment la (ou les) vision(s) du corps d'autres segments de la population, ici la jeunesse, contrastent avec celles des adeptes de qigong, en recourant à la notion de corps confucéen.

La maladie cardiovasculaire (MCV) représente une cause de mortalité majeure au Canada. La présence de LDL petites et denses constitue un facteur de risque important dans le développement de MCV. La taille des particules LDL, ainsi que sa composition sont très hétérogènes et sont sous l'influence de facteurs génétiques et environnementaux. Cette thèse s'articule autour de l'identification de nouveaux déterminants génétiques exerçant un effet sur la variation du diamètre principal des particules LDL (LDL-PPD). Dans ce but, deux méthodes de screening génétique à large échelle ont été utilisées: l'analyse de données issues d'un criblage génomique, et l'étude d'association pangénomique (GWAS). Le criblage génomique a permis d'identifier le gène PCTP, localisé dans la région du pic de liaison 17q21. Le polymorphisme rsl2941739 du gène PCTP a été associé à une augmentation du LDL-PPD et à un risque plus élevé d'exhiber des LDL petites et denses. Dans la même région, les variations génétiques rs3760158 et rs6503770 du gène DGKE étaient associées à des niveaux de triglycérides plus élevés. Cette augmentation des niveaux de TG était accompagnée par une diminution du LDL-PPD selon les génotypes du polymorphisme rs3760158. L'analyse de la région lp31 a révélé le gène LRP8. Le polymorphisme rs5174 localisé dans ce gène a été associé à des valeurs de LDL-PPD plus élevées, à une diminution de la proportion relative de LDL de petite taille ainsi qu'à des concentrations plus faibles de cholestérol-LDL (C-LDL) contenues dans cette fraction petite et dense. Le GWAS n'a pas permis de découvrir de nouveaux gènes impliqués dans l'hétérogénéité des particules LDL. Suite à l'ajustement pour les tests multiples, aucune association ne s'est révélée significative. Finalement, des effets d'interaction entre les candidats positionnels identifiés dans la région 17q21 et la consommation de matières grasses ont été évalués. Dans un contexte de consommation élevée de matières grasses, la variation de séquence rs4246444 du gène FASN a été associée à un LDL-PPD plus faible et à une augmentation de la proportion de LDL de petite taille, ainsi que de leur contenu en cholestérol. Ces résultats mettent en avant de nouveaux gènes impliqués dans l'hétérogénéité des particules LDL. Ils pointent ainsi de nouvelles avenues de recherches qui devront être confirmées dans d'autres études.

Dans l'oubli des brumes. Histoires d'outre-tombe est un recueil de nouvelles d'inspiration fantastique. Dernière descendante d'une famille habitant une île retranchée du reste du monde, une femme se rend au cimetière pour faire ses adieux aux morts. Au milieu des tombes, des voix sortent de terre, désireuses de raconter leur histoire. On plonge alors dans le passé de neufs personnages pour assister aux étranges circonstances entourant leur fin. Les morts, toujours plus sombres et violentes, marquent la dégénérescence d'une famille aux prises avec un mal inconnu se transmettant de génération en génération comme un héritage maudit. Dans notre essai Composition, décomposition et recomposition dans les cimetières littéraires, nous cherchons à aller au-delà de la vision du lieu funéraire comme lieu de mort. Notre approche thématique en trois temps nous permet d'analyser chaque image en interrogeant d'abord son appartenance à la vie, à la mort ou à la résurrection. Nous tentons ensuite de voir si, dans ses équivoques et ses ambiguïtés, l'image demeure malgré tout ancrée dans sa catégorie d'origine ou si elle subit suffisamment l'influence de sa force antagoniste pour créer une ambivalence et ainsi révéler le dynamisme du cimetière.