A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.

Étude du trafic du récepteur delta-opiacé suite à sa stimulation par différents agonistes

Les opiacés figurent parmi les analgésiques les plus puissants pour le traitement des douleurs sévères. Les agonistes du DOR (récepteur delta opiacé) induisent moins d'effets secondaires que ceux du mu, ce qui les rend une cible d'intérêt pour le traitement des douleurs chroniques. Cependant, ils induisent la tolérance à l'analgésie. Des hypothèses récentes proposent que le potentiel des drogues à induire la tolérance soit la conséquence de la stabilisation de différentes conformations du récepteur induites par la liaison avec différents ligands, chacune ayant différentes propriétés de trafic. Dans ce contexte, nous avons déterminé si différents ligands du DOR différaient dans leur capacité à induire la signalisation et le trafic du récepteur. Nos résultats indiquent que DPDPE et SNC-80 sont les drogues les plus efficaces à inhiber la production d’AMPc, suivis par UFP-512, morphine et TIPP. DPDPE et SNC-80 induisent à eux seuls l’internalisation du DOR dans les cellules HEK-293 de façon dépendante de la β-arrestine mais pas de la GRK2 ni PKC. Ces deux drogues induisent également l’internalisation du DOR dans les neurones corticaux et c’est seulement le DPDPE qui permet au DOR de regagner la membrane des cellules HEK-293 et des neurones après récupération. Cette capacité de recyclage était suggérée comme un mécanisme protégeant contre la survenue de la tolérance. Ces observations indiquent que le DOR peut subir différentes régulations en fonction du ligand lui étant associé. Cette propriété de sélectivité fonctionnelle des ligands pourrait être utile pour le développement de nouveaux opiacés ayant une activité analgésique plus durable.

Le peptide natriurétique auriculaire induit la différenciation cardiaque dans les cellules souches embryonnaires carcinomateuses de souris P19

Traditionnellement associée à la reproduction féminine, l'ocytocine (OT), une hormone peptidique synthétisée par les noyaux paraventriculaire et supraoptique de l'hypothalamus et sécrétée par l'hypophyse postérieure (neurohypophyse), a été récemment revue et a été démontrée avoir plusieurs nouveaux rôles dans le système cardio-vasculaire. En effet, notre laboratoire a montré que l’OT peut induire la différenciation des cellules souches embryonnaires (CSE) en cardiomyocytes (CM) fonctionnels. À l’aide du modèle cellulaire embryonnaire carcinomateux de souris P19, il a été démontré que ce processus survenait suite à la libération de la guanosine monophosphate cyclique (GMPc) dépendante du monoxyde d’azote. De même, il est connu que le peptide natriurétique auriculaire (ANP), un peptide produit, stocké et sécrété par les myocytes cardiaques, peut aussi induire la production du GMPc. De nombreuses études ont démontré que le cœur ayant subi un infarctus pouvait être régénéré à partir d’une population isolée de cellules souches et progénitrices transplantées. Une de ces populations de cellules, fréquemment isolées à partir d'organes provenant d'animaux aux stades de développement embryonnaire et adulte, appelée « Side Population » (SP), sont identifiées par cytométrie en flux (FACS) comme une population de cellules non marquées par le colorant fluorescent Hoechst 33342 (Ho). Les cellules SP expriment des protéines de transport spécifiques, de la famille ATP-binding cassette, qui ont pour rôle de transporter activement le colorant fluorescent Ho de leur cytoplasme. La sous-population de cellules SP isolée du cœur affiche un potentiel de différenciation cardiaque amélioré en réponse à un traitement avec l’OT. Récemment, l'hétérogénéité phénotypique et fonctionnelle des CSE a été mise en évidence, et cela a été corrélé avec la présence de sous-populations cellulaires ressemblant beaucoup aux cellules SP issues du cœur. Puisque l’ANP peut induire la production du GMPc et qu’il a été démontré que la différenciation cardiaque était médiée par la production du GMPc, alors nous émettons l'hypothèse selon laquelle l’ANP pourrait induire la différenciation cardiaque. Étant donné que les CSE sont composés d’un mélange de différents types cellulaires alors nous émettons aussi l’hypothèse selon laquelle l’utilisation d’une sous-population de CSE plus homogène renforcerait le potentiel de différenciation de l'ANP. Méthodes : Les SP ont été isolées des cellules P19 par FACS en utilisant la méthode d’exclusion du colorant fluorescent Ho. Puis, leur phénotype a été caractérisé par immunofluorescence (IF) pour les marqueurs de l’état indifférencié, d’auto-renouvellement et de pluripotence octamer-binding transcription factor 4 (OCT4) et stage-specific embryonic antigen-1 (SSEA1). Ensuite, la dose pharmacologique optimale d’ANP a été déterminée via des tests de cytotoxicité sur des cellules P19 (MTT assay). Pour induire la différenciation en cardiomyocytes, des cellules à l’état de sphéroïdes ont été formées à l’aide de la technique du « Hanging-Drop » sous la stimulation de l’ANP pendant 5 jours. Puis, des cryosections ont été faites dans les sphéroïdes afin de mettre en évidence la présence de marqueurs de cellules cardiaques progénitrices tels que GATA4, Nkx2.5 et un marqueur mitochondrial spécifique Tom22. Ensuite, les cellules SP P19 ont été stimulées dans les sphéroïdes cellulaires par le traitement avec de l'ANP (10-7 M) ou de l’OT (10-7 M), de l’antagoniste spécifique du guanylate cyclase particulé (GCp) A71915 (10-6 M), ainsi que la combinaison des inducteurs OT+ANP, OT+A71915, ANP+A71915. Après la mise en culture, la différenciation en cardiomyocytes a été identifié par l’apparition de colonies de cellules battantes caractéristiques des cellules cardiaques, par la détermination du phénotype cellulaire par IF, et enfin par l’extraction d'ARN et de protéines qui ont été utilisés pour le dosage du GMPc par RIA, l’expression des ARNm par RT-PCR et l’expression des protéines par immunobuvardage de type western. Résultats : Les sphéroïdes obtenus à l’aide de la technique du « Hanging-Drop » ont montré une hausse modeste de l’expression des ARNm suivants : OTR, ANP et GATA4 comparativement aux cellules cultivées en monocouches. Les sphéroïdes induits par l’ANP ont présenté une augmentation significative des facteurs de transcription cardiaque GATA4 et Nkx2.5 ainsi qu’un plus grand nombre de mitochondries caractérisé par une plus grande présence de Tom22. De plus, L’ANP a induit l’apparition de colonies de cellules battantes du jour 7 (stade précoce) au jour 14 (stade mature) de façon presque similaire à l’OT. Cependant, la combinaison de l’ANP avec l’OT n’a pas induit de colonies de cellules battantes suggérant un effet opposé à celui de l’OT. Par IF, nous avons quantifié (nombre de cellules positives) et caractérisé, du jour 6 au jour 14 de différenciation, le phénotype cardiaque de nos cellules en utilisant les marqueurs suivants : Troponine T Cardiaque, ANP, Connexines 40 et 43, l’isoforme ventriculaire de la chaîne légère de myosine (MLC-2v), OTR. Les SP différenciées sous la stimulation de l’ANP ont montré une augmentation significative du GMPc intracellulaire comparé aux cellules non différenciées. À notre grande surprise, l’antagoniste A71915 a induit une plus grande apparition de colonies de cellules battantes comparativement à l’OT et l’ANP à un jour précoce de différenciation cardiaque et l’ajout de l’OT ou de l’ANP a potentialisé ses effets, augmentant encore plus la proportion de colonies de cellules battantes. De plus, la taille des colonies de cellules battantes était encore plus importante que sous la simple stimulation de l’OT ou de l’ANP. Les analyses radioimmunologiques dans les cellules SP P19 stimulés avec l’ANP, A71915 et la combinaison des deux pendant 15min, 30min et 60min a montré que l’ANP stimule significativement la production du GMPc, cependant A71915 n’abolit pas les effets de l’ANP et celui-ci au contraire stimule la production du GMPc via des effets agonistes partiels. Conclusion : Nos résultats démontrent d’une part que l’ANP induit la différenciation des cellules SP P19 en CM fonctionnels. D’autre part, il semblerait que la voie de signalisation NPRA-B/GCp/GMPc soit impliquée dans le mécanisme de différenciation cardiaque puisque l’abolition du GMPc médiée par le GCp potentialise la différenciation cardiaque et il semblerait que cette voie de signalisation soit additive de la voie de signalisation induite par l’OT, NO/GCs/GMPc, puisque l’ajout de l’OT à l’antagoniste A71915 stimule plus fortement la différenciation cardiaque que l’OT ou l’A71915 seuls. Cela suggère que l’effet thérapeutique des peptides natriurétiques observé dans la défaillance cardiaque ainsi que les propriétés vasodilatatrices de certains antagonistes des récepteurs peptidiques natriurétiques inclus la stimulation de la différenciation des cellules souches en cardiomyocytes. Cela laisse donc à penser que les peptides natriurétiques ou les antagonistes des récepteurs peptidiques natriurétiques pourraient être une alternative très intéressante dans la thérapie cellulaire visant à induire la régénération cardiovasculaire.

The Role of Specific Amino Acids in the Formation of Ternary Complexes in Nitrogenase Regulation in the Photosynthetic Bacterium Rhodobacter capsulatus

L'azote est l'un des éléments les plus essentiels dans le monde pour les êtres vivants, car il est essentiel pour la production des éléments de base de la cellule, les acides aminés, les acides nucléiques et les autres constituants cellulaires. L’atmosphère est composé de 78% d'azote gazeux, une source d'azote inutilisable par la plupart des organismes à l'exception de ceux qui possèdent l’enzyme nitrogénase, tels que les bactéries diazotrophique. Ces micro-organismes sont capables de convertir l'azote atmosphérique en ammoniac (NH3), qui est l'une des sources d'azote les plus préférables. Cette réaction exigeant l’ATP, appelée fixation de l'azote, est catalysée par une enzyme, nitrogénase, qui est l'enzyme la plus importante dans le cycle de l'azote. Certaines protéines sont des régulateurs potentiels de la synthèse de la nitrogénase et de son activité; AmtB, DraT, DraG, les protéines PII, etc.. Dans cette thèse, j'ai effectué diverses expériences afin de mieux comprendre leurs rôles détailés dans Rhodobacter capsulatus. La protéine membranaire AmtB, très répandue chez les archaea, les bactéries et les eucaryotes, est un membre de la famille MEP / Amt / Rh. Les protéines AmtB sont des transporteurs d'ammonium, importateurs d'ammonium externe, et ont également été suggéré d’agir comme des senseurs d'ammonium. Il a été montré que l’AmtB de Rhodobacter capsulatus fonctionne comme un capteur pour détecter la présence d'ammonium externe pour réguler la nitrogénase. La nitrogénase est constituée de deux métalloprotéines nommées MoFe-protéine et Fe-protéine. L'addition d'ammoniaque à une culture R. capsulatus conduit à une série de réactions qui mènent à la désactivation de la nitrogénase, appelé "nitrogénase switch-off". Une réaction critique dans ce processus est l’ajout d’un groupe ADP-ribose à la Fe-protéine par DraT. L'entrée de l'ammoniac dans la cellule à travers le pore AmtB est contrôlée par la séquestration de GlnK. GlnK est une protéine PII et les protéines PII sont des protéines centrales dans la régulation du métabolisme de l'azote. Non seulement la séquestration de GlnK par AmtB est importante dans la régulation nitrogénase, mais la liaison de l'ammonium par AmtB ou de son transport partiel est également nécessaire. Les complexes AmtB-GlnK sont supposés de lier DraG, l’enzyme responsable pour enlever l'ADP-ribose ajouté à la nitrogénase par DraT, ainsi formant un complexe ternaire. Dans cette thèse certains détails du mécanisme de transduction du signal et de transport d'ammonium ont été examinés par la génération et la caractérisation d’un mutant dirigé, RCZC, (D335A). La capacité de ce mutant, ainsi que des mutants construits précédemment, RCIA1 (D338A), RCIA2 (G344C), RCIA3 (H193E) et RCIA4 (W237A), d’effectuer le « switch-off » de la nitrogénase a été mesurée par chromatographie en phase gazeuse. Les résultats ont révélé que tous les résidus d'acides aminés ci-dessus ont un rôle essentiel dans la régulation de la nitrogénase. L’immunobuvardage a également été effectués afin de vérifier la présence de la Fe-protéine l'ADP-ribosylée. D335, D388 et W237 semblent être cruciales pour l’ADP-ribosylation, puisque les mutants RCZC, RCIA1 et RCIA4 n'a pas montré de l’ADP-ribosylation de la Fe-protéine. En outre, même si une légère ADP-ribosylation a été observée pour RCIA2 (G344C), nous le considérons comme un résidu d'acide aminé important dans la régulation de la nitrogénase. D’un autre coté, le mutant RCIA3 (H193E) a montré une ADP-ribosylation de la Fe-protéine après un choc d'ammonium, par conséquent, il ne semble pas jouer un rôle important dans l’ADP-ribosylation. Par ailleurs R. capsulatus possède une deuxième Amt appelé AmtY, qui, contrairement à AmtB, ne semble pas avoir des rôles spécifiques. Afin de découvrir ses fonctionnalités, AmtY a été surexprimée dans une souche d’E. coli manquant l’AmtB (GT1001 pRSG1) (réalisée précédemment par d'autres membres du laboratoire) et la formation des complexes AmtY-GlnK en réponse à l'addition d’ammoniac a été examinée. Il a été montré que même si AmtY est en mesure de transporter l'ammoniac lorsqu'il est exprimé dans E. coli, elle ne peut pass’ associer à GlnK en réponse à NH4 +.

Étude intracrânienne sur les mécanismes cérébraux permettant la reconnaissance d’objets

La reconnaissance d’objets est une tâche complexe au cours de laquelle le cerveau doit assembler de manière cohérente tous les éléments d’un objet accessible à l’œil afin de le reconnaître. La construction d’une représentation corticale de l’objet se fait selon un processus appelé « bottom-up », impliquant notamment les régions occipitales et temporales. Un mécanisme « top-down » au niveau des régions pariétales et frontales, facilite la reconnaissance en suggérant des identités potentielles de l’objet à reconnaître. Cependant, le mode de fonctionnement de ces mécanismes est peu connu. Plusieurs études ont démontré une activité gamma induite au moment de la perception cohérente de stimuli, lui conférant ainsi un rôle important dans la reconnaissance d’objets. Cependant, ces études ont utilisé des techniques d’enregistrement peu précises ainsi que des stimuli répétitifs. La première étude de cette thèse vise à décrire la dynamique spatio-temporelle de l’activité gamma induite à l’aide de l’électroencéphalographie intracrânienne, une technique qui possède des résolutions spatiales et temporelles des plus précises. Une tâche d’images fragmentées a été conçue dans le but de décrire l’activité gamma induite selon différents niveaux de reconnaissance, tout en évitant la répétition de stimuli déjà reconnus. Afin de mieux circonscrire les mécanismes « top-down », la tâche a été répétée après un délai de 24 heures. Les résultats démontrent une puissante activité gamma induite au moment de la reconnaissance dans les régions « bottom-up ». Quant aux mécanismes « top-down », l’activité était plus importante aux régions occipitopariétales. Après 24 heures, l’activité était davantage puissante aux régions frontales, suggérant une adaptation des procédés « top-down » selon les demandes de la tâche. Très peu d’études se sont intéressées au rythme alpha dans la reconnaissance d’objets, malgré qu’il soit bien reconnu pour son rôle dans l’attention, la mémoire et la communication des régions neuronales distantes. La seconde étude de cette thèse vise donc à décrire plus précisément l’implication du rythme alpha dans la reconnaissance d’objets en utilisant les techniques et tâches identiques à la première étude. Les analyses révèlent une puissante activité alpha se propageant des régions postérieures aux régions antérieures, non spécifique à la reconnaissance. Une synchronisation de la phase de l’alpha était, quant à elle, observable qu’au moment de la reconnaissance. Après 24 heures, un patron similaire était observable, mais l’amplitude de l’activité augmentait au niveau frontal et les synchronies de la phase étaient davantage distribuées. Le rythme alpha semble donc refléter des processus attentionnels et communicationnels dans la reconnaissance d’objets. En conclusion, cette thèse a permis de décrire avec précision la dynamique spatio-temporelle de l’activité gamma induite et du rythme alpha ainsi que d’en apprendre davantage sur les rôles potentiels que ces deux rythmes occupent dans la reconnaissance d’objets.

Modulation de l'apprentissage visuel par stimulation électrique transcrânienne à courant direct du cortex préfrontal

Le traitement visuel répété d’un visage inconnu entraîne une suppression de l’activité neuronale dans les régions préférentielles aux visages du cortex occipito-temporal. Cette «suppression neuronale» (SN) est un mécanisme primitif hautement impliqué dans l’apprentissage de visages, pouvant être détecté par une réduction de l’amplitude de la composante N170, un potentiel relié à l’événement (PRE), au-dessus du cortex occipito-temporal. Le cortex préfrontal dorsolatéral (CPDL) influence le traitement et l’encodage visuel, mais sa contribution à la SN de la N170 demeure inconnue. Nous avons utilisé la stimulation électrique transcrânienne à courant direct (SETCD) pour moduler l’excitabilité corticale du CPDL de 14 adultes sains lors de l’apprentissage de visages inconnus. Trois conditions de stimulation étaient utilisées: inhibition à droite, excitation à droite et placebo. Pendant l’apprentissage, l’EEG était enregistré afin d’évaluer la SN de la P100, la N170 et la P300. Trois jours suivant l’apprentissage, une tâche de reconnaissance était administrée où les performances en pourcentage de bonnes réponses et temps de réaction (TR) étaient enregistrées. Les résultats indiquent que la condition d’excitation à droite a facilité la SN de la N170 et a augmentée l’amplitude de la P300, entraînant une reconnaissance des visages plus rapide à long-terme. À l’inverse, la condition d’inhibition à droite a causé une augmentation de l’amplitude de la N170 et des TR plus lents, sans affecter la P300. Ces résultats sont les premiers à démontrer que la modulation d’excitabilité du CPDL puisse influencer l’encodage visuel de visages inconnus, soulignant l’importance du CPDL dans les mécanismes d’apprentissage de base.

Implication du CYP2D6 dans la pharmacodynamie et la pharmacogénomique de l’oxycodone

La variabilité interindividuelle dans la réponse aux médicaments constitue une problématique importante pouvant causer des effets indésirables ou l’échec d’un traitement. Ces variabilités peuvent être causées par une diminution de l’activité de l’enzyme responsable du métabolisme de certains médicaments, fréquemment les cytochromes P450, un système enzymatique majeur dans le métabolisme de ces derniers. Ces enzymes sont sujets à des mutations génétiques appelées polymorphismes, qui altèrent l’activité métabolique. Il est donc important d’évaluer le rôle de ces enzymes dans le métabolisme des médicaments afin d’identifier leur responsabilité dans la variabilité interindividuelle de la réponse au traitement. Parmi l’important système enzymatique que représentent les cytochromes P450, l’isoenzyme CYP2D6 est particulièrement étudiée, ses variations métaboliques revêtant une haute importance clinique. L’un des substrats du CYP2D6 est l’oxycodone, un analgésique narcotique largement prescrit en clinique. Une grande variabilité est observée dans la réponse analgésique à l’oxycodone, variabilité pouvant être causée par un polymorphisme génétique. Il est connu que des variations génétiques dans le CYP2D6 compromettent la réponse analgésique à la codéine en rendant moins importante la formation de son métabolite actif, la morphine. Par analogie, plusieurs études supportent l’hypothèse selon laquelle le métabolite oxymorphone, formée par l’isoenzyme CYP2D6, serait responsable de l’analgésie de l’oxycodone. Une déficience génétique de l’enzyme compromettrait la réponse analgésique au médicament. Les travaux effectués dans le cadre de ce mémoire ont démontré que l’inhibition du CYP2D6 chez des sujets volontaires réduit de moitié la production d’oxymorphone, confirmant l’importante implication de l’enzyme dans le métabolisme de l’oxycodone. Ces résultats démontrent une forte ressemblance avec le métabolisme de la codéine, suggérant que l’oxymorphone pourrait être responsable de l’analgésie. Cependant, les travaux effectués n’ont pu établir de relation entre la concentration plasmatique d’oxymorphone et le niveau d’analgésie ressenti par les sujets. La continuation des études sur le mécanisme d’action de l’oxycodone dans la réponse analgésique est essentielle afin d’établir la source des variabilités interindividuelles expérimentées par les patients et ainsi d’éviter des effets secondaires ou lacunes dans le traitement.

Caractérisation de nouveaux mécanismes transcriptionnels impliqués dans la biologie osseuse

Le développement et l'homéostasie des os requièrent l'orchestration spatio-temporelle d'un grand nombre de signaux moléculaires. Ces signaux entraînent l'activation ou l'inhibition de différents facteurs de transcription, lesquels sont en mesure de contrôler la prolifération et la différenciation des ostéoblastes et des chondrocytes. L'intégrité de ces différents mécanismes se doit d'être maintenu tout au long de la vie. Ainsi, une anomalie dans l'un de ces mécanismes conduit à l'apparition de pathologies osseuses et métaboliques telles qu’une hypophosphatémie, l'ostéoporose ou l'ostéoarthrite (OA). Afin d'en apprendre davantage sur la biologie osseuse, le projet décrit dans cette thèse a pour objectif de caractériser de nouveaux mécanismes de régulation transcriptionnelle pour deux gènes importants dans le développement des os et le maintien de leur intégrité. Il s’agit du Paired-like Homeodomain Transcription Factor 1 (PITX1) et du Phosphate-regulating gene with homology to endopeptidase on the X chromosome (PHEX). Le premier mécanisme présenté dans cette thèse concerne la régulation transcriptionnelle du gène PITX1, un facteur de transcription à homéodomaine nécessaire, notamment, au développement des os des membres inférieurs et au maintien de l'intégrité du cartilage articulaire chez l'adulte. Ainsi, dans les chondrocytes articulaires, on note que l'expression de PITX1 est assurée par le recrutement du facteur de transcription E2F1 à deux éléments de réponse présents dans la région proximale du promoteur de PITX1. Aussi, dans les chondrocytes articulaires de patients souffrant d'OA, dans lesquels l'expression de PITX1 est fortement diminuée, un mécanisme de répression transcriptionnelle, lequel implique la protéine multifonctionnelle Prohibitin (PHB1), semble être activé. En effet, dans ces chondroytes, on note une forte accumulation nucléaire de PHB1 comparativement aux chondrocytes articulaires de sujets sains. Le second mécanisme présenté dans cette thèse concerne la répression transcriptionnelle de PHEX, la peptidase mutée dans le syndrome d'hypophosphatémie lié au chromosome X (X-Linked Hypophosphatemia, XLH), lequel se caractérise par une hypophosphatémie et une ostéomalacie. Le traitement d'ostéoblastes à la Parathyroid hormone-related protein (PTHrP) permet d’observer la répression de PHEX. Afin de caractériser le mécanisme responsable de cette répression, des expériences de gènes rapporteurs ont révélé la présence de deux éléments de réponse pour le répresseur transcriptionnel E4BP4 dans le promoteur de PHEX. La suppression de l'expression d'E4BP4 par l'utilisation d'ARN d'interférence a permis de valider que ce facteur de transcription est responsable de la répression de PHEX suite au traitement d'ostéoblastes à la PTHrP. En somme ces nouveaux mécanismes de régulation transcriptionnelle permettent de mieux comprendre la régulation de l'expression de PITX1 et de PHEX. Aussi, cette nouvelle implication de PHB1 dans la pathogenèse de l'OA offre de nouvelles possibilités de traitement et pourrait servir pour le diagnostic précoce de cette pathologie. Enfin, la caractérisation d'E4BP4 en tant que médiateur pour la répression de PHEX par la PTHrP suggère que ce répresseur transcriptionnel pourrait être impliqué dans le contrôle de la minéralisation des os et des niveaux de phosphate sanguin.

Pourquoi et comment la médiation préventive du Ministère du travail améliore-t-elle les relations du travail dans les entreprises québécoises?

Le présent mémoire de maîtrise porte sur la médiation préventive en relations du travail. La question de recherche est la suivante : « Pourquoi et comment la médiation préventive du ministère du Travail améliore-t-elle les relations du travail dans les entreprises québécoises? ». La médiation préventive est un mode d’intervention administratif et un mécanisme de soutien additionnel à la législation québécoise offert volontairement depuis plusieurs années par le ministère du Travail aux parties patronale et syndicale qui en font la demande. La médiation préventive se réalise avec le soutien d’un médiateur ou d’une médiatrice du ministère hors de la période de la négociation collective. Son contenu appartient aux parties et les ententes s’effectuent par consensus. La médiation préventive se présente de quatre manières : diagnostic des relations du travail par consensus, diagnostic des relations du travail par entrevue, séminaire en relations du travail et comité de relations du travail. Le modèle conceptuel comporte une variable dépendante qui est les relations du travail, une variable indépendante correspondant à la médiation préventive, le changement organisationnel en tant que variable intermédiaire et une variable de contrôle se rapportant à l’environnement organisationnel. La première des trois hypothèses générales de cette recherche affirme que, toutes choses égales par ailleurs, la médiation préventive amène un changement organisationnel. La seconde hypothèse générale relate que, toutes choses égales par ailleurs, le changement organisationnel contribue à améliorer les relations du travail. La dernière hypothèse générale correspond à l’idée que, toutes choses égales par ailleurs, l’environnement organisationnel a un impact sur les relations du travail. Parmi les douze hypothèses suivantes, quatre hypothèses ont été développées à partir de la première hypothèse générale : 1) toutes choses égales par ailleurs, l’établissement d’un diagnostic des relations du travail par le médiateur va aider à la mise en place d’un plan d’action; 2) toutes choses égales par ailleurs, l'établissement d'un plan d'action par le médiateur contribue au changement organisationnel; 3) toutes choses égales par ailleurs, un suivi par le médiateur contribue au changement organisationnel; 4) toutes choses égales par ailleurs, la perception des deux parties (patronale et syndicale) que le médiateur a bien joué son rôle contribue au changement organisationnel. Les quatre hypothèses suivantes découlent de la seconde hypothèse générale : 1) toutes choses égales par ailleurs, un changement culturel dans l’organisation avec un réaménagement des points de vue de la direction contribue à améliorer les relations du travail; 2) toutes choses égales par ailleurs, un changement relationnel dans l’organisation vers des relations de coopération contribue à améliorer les relations du travail; 3) toutes choses égales par ailleurs, un changement du style de direction dans l’organisation avec l’introduction de valeurs humaines ainsi qu’un « espace de discussion » contribue à améliorer les relations du travail; 4) toutes choses égales par ailleurs, la perception des deux parties (patronale et syndicale) d’avoir bien joué leur rôle contribue à améliorer les relations du travail. Enfin, les quatre dernières hypothèses ont été réalisées à partir de la troisième hypothèse générale : 1) toutes choses égales par ailleurs, l’organisation a un impact sur les relations du travail; 2) toutes choses égales par ailleurs, l’histoire syndicale a un impact sur les relations du travail; 3) toutes choses égales par ailleurs, la perception des contraintes extérieures et des risques pour l’emploi contribue à améliorer les relations du travail; 4) toutes choses égales par ailleurs, la perception d’un équilibre dans les rapports de force entre les parties (patronale et syndicale) contribue à améliorer les relations du travail. La vérification des hypothèses s’est effectuée à l’aide d’entretiens semi-structurés auprès de neuf participants des parties patronale et syndicale d’une entreprise ayant employé une médiation préventive. Une cueillette de données secondaires a aussi eu lieu pour notamment mesurer le niveau de conflit au travail sur dix ans. L’analyse des résultats de cette étude qualitative et longitudinale a permis de confirmer l’ensemble des hypothèses puisque la médiation préventive a amené à un changement organisationnel qui a aidé à améliorer les relations du travail et où l’environnement a eu un impact sur celles-ci. Un modèle d’analyse a été développé et validé pour cette recherche afin de savoir pourquoi et comment la médiation préventive du ministère du Travail améliore les relations du travail dans les entreprises québécoises. La présente recherche démontre de manière empirique que la médiation préventive améliore les relations du travail dans les entreprises québécoises tout en expliquant comment celle-ci procède. De plus, cette recherche suggère à toutes les organisations québécoises syndiquées d’entreprendre une médiation préventive si elles sont aux prises avec de mauvaises relations du travail.

La fonction de l'intervention des tiers en droit judiciaire privé québécois

Cette étude présente une caractérisation du mécanisme procédural de l'intervention des tiers en droit judiciaire privé québécois. Développée en trois volets, elle aborde successivement l'origine historique de l'intervention des tiers, qui révèle sa pérennité et sa longévité (première partie). Un modèle conceptuel de sa forme contemporaine selon lequel son bien-fondé repose sur sa légitimité et son utilité est proposé (deuxième partie). Enfin, une étude critique, dans une perspective sociologique et comparative, de la place de l'intervention des tiers dans les projets de réforme de la procédure civile, expose son incompatibilité avec les modes alternatifs de résolution des conflits et trouve, dans le pouvoir judiciaire de l'ordonner d'office présent la législation étrangère, une assurance contre l'iniquité à laquelle le droit québécois devrait souscrire (troisième partie).

Étude des effets du phénotype de sénescence des cellules stromales de la moelle osseuse sur les fonctions hématopoïétiques

L’irradiation (IR) est utilisée dans le traitement de plusieurs cancers et désordres hématologiques, en particulier dans les protocoles de conditionnement précédents les transplantations de moelle osseuse. L’emploi de doses réduites d’IR semble favoriser le succès de la prise de greffe. Cette observation soulève un point de plus en plus discuté dans la littérature, soit l’importance de l’intégrité du microenvironnement pour la transplantation et le bon fonctionnement de l’hématopoïèse. L’IR induit la sénescence des cellules stromales de la moelle osseuse in vitro. Ce mécanisme de défense cellulaire entraînant un arrêt de prolifération permanent est également observé in vivo dans différents systèmes, mais n’a pas encore été étudié dans le contexte de la niche hématopoïétique. Les travaux présentés dans cette thèse ont pour objectif de déterminer si l’IR induit la sénescence des cellules stromales de la moelle osseuse et si une telle induction altère les fonctions hématopoïétiques. Nos résultats ont permis de démontrer pour la première fois qu’une IR corporelle totale induit effectivement la sénescence des cellules stromales de la moelle osseuse. En outre, cette altération du microenvironnement affecte la lymphopoïèse B de façon Ink4a/Arf-dépendante (1er article). De plus, les modifications systémiques qui résultent de l’IR compromettent l’homéostasie osseuse en augmentant la résorption de l’os, sans toutefois diminuer la formation de celui-ci (2e article). Ces données nous permettent de mieux comprendre les effets de la sénescence des cellules stromales de la moelle osseuse sur les fonctions hématopoïétiques. Par ailleurs, elles suggèrent que l’emploi de drogues et/ou de procédés n’induisant pas la sénescence des cellules stromales de l’os offrirait un meilleur pronostic à long terme pour les patients.

Caractérisation et étude de la régulation d’une isoforme cytosolique de peroxyrédoxine chez les solanacées

Les peroxyrédoxines (PRXs) forment une famille de peroxydases communes à tous les organismes vivants et ubiquitaires dans la cellule. Leur particularité provient d’un ou deux résidus cystéines accomplissant un cycle d’oxydo-réduction à l’aide d’un donneur d’électron. Ces protéines thiols sensibles au potentiel redox sont impliquées dans le mécanisme de détoxification du H2O2, une molécule oxydante induite lors de situations de stress. Les PRXs pourraient être induites par le stress et régulées par phosphorylation. En effet, des expérimentations in vitro ont démontré que la nucléoside diphosphate kinase 1 (NDPK1) a la capacité de phosphoryler une PRX cytosolique de pomme de terre. Ce mémoire décrit les travaux expérimentaux effectués pour caractériser la fonction de la PRX. Pour cela, le clonage d’une isoforme a été effectué, suivi d’une caractérisation biochimique et d’une étude d’expression de la protéine. Les données de séquençage révèlent qu’il s’agit d’une PRX de type II phylogénétiquement liée aux PRXs cytosoliques. L’ADNc codant pour cette peroxyrédoxine (PRX1) a été cloné chez Solanum chacoense. Une protéine recombinante portant une étiquette (6xHis) en N-terminale a été produite. Des essais enzymatiques ont confirmé la fonction antioxydante de la protéine recombinante et un anticorps polyclonal a été généré chez le lapin puis utilisé en conjonction avec un anticorps anti-NDPK1 pour déterminer les patrons d’expression généraux de ces protéines chez Solanum lycopersicum et Solanum tuberosum lors de situations de stress. Les données démontrent que les deux protéines sont généralement co-exprimées mais pas co-régulées et que la PRX1 est induite en certaines situations de stress.

La conciliation en Colombie

La conciliation, un mécanisme alternatif de résolution des conflits, cherche à la fois à maintenir une relation d'affaires ainsi qu'à raviver la communication et l’équilibre des pouvoirs entre deux parties opposées. Son véritable esprit consiste à faire en sorte que le citoyen récupère son rôle principal dans la solution de ses conflits et qu’il agisse sans l'intervention de l'État. Contrairement aux autres systèmes juridiques, le système juridique colombien donne au conciliateur un pouvoir décisionnel et/ou consultatif dans un cas concret. Aussi, les termes médiation et conciliation sont parfois utilisés comme synonymes. Cependant, ces termes se différencient selon la participation du tiers conciliateur ou médiateur au processus de résolution des conflits. In mediation, the mediator controls the process through different and specific stages: introduction, joint session, caucus, and agreement, while the parties control the outcome. Par ailleurs, même si ce sont des concepts universels grâce aux textes juridiques, ces mécanismes de résolution des conflits demeurent encore méconnus des citoyens. La pratique de la conciliation ne connaît pas de frontières; elle est répandue partout dans le monde. Dans les années 90, les pays d’Amérique latine, plus précisément la Colombie, ont commencé à envisager la possibilité de prendre part dans cette enrichissante expérience grâce aux progrès législatifs et institutionnels qui ont été réalisés en matière de mécanismes alternatifs de résolution des conflits. En matière de conciliation, en Colombie, il y a une grande richesse normative mais les lois, dispersées et difficiles à interpréter, génèrent de l’insécurité et de l’incertitude juridique. De plus, entamer le processus de conciliation se fait de diverses manières, la plus controversée étant sans doute la conciliation préalable obligatoire. Cette méthode imposée a été la cible de diverses critiques. En effet, ces critiques concernent le fait qu’une telle pratique obligatoire enfreint le volontariat, un pilier fondamental de la conciliation. Aussi, le tiers conciliateur, ayant une formation de haut niveau, représente une pièce maîtresse dans le processus de conciliation vu sa grande responsabilité dans le bon déroulement de cette méthode de résolution des conflits.

Mécanismes moléculaires de la réplication préférentielle du VIH-1 dans les cellules à polarisation Th1Th17 versus Th1 : rôle de PPARG dans la régulation négative de la réplication virale

Les cellules T CD4+ humaines sont hétérogènes du point de vue de la permissivité à l’infection par le virus de l’immunodéficience humaine de type 1 (VIH-1). Notre laboratoire a préalablement démontré que les cellules Th1 à phénotype CXCR3+CCR6- sont relativement résistantes à l’infection par le VIH-1 alors que les cellules Th1Th17 à phénotype CXCR3+CCR6+ y sont hautement permissives. La réplication du VIH dépend de plusieurs facteurs cellulaires de restriction ou de permissivité agissant à différentes étapes du cycle viral. Toutefois, malgré plusieurs avancées, la compréhension des voies de signalisation cellulaire impliquées dans la régulation de la réplication du VIH est encore limitée. L’objectif majeur de ce projet de maîtrise est de caractériser les mécanismes moléculaires de la permissivité et de la résistance au VIH respectivement dans les cellules Th1Th17 et Th1. Ce mémoire est divisé en quatre parties qui visent: (i) l’identification des voies canoniques et des fonctions biologiques différemment régulées dans les cellules Th1Th17 versus Th1 par l’analyse de leur transcriptome au niveau du génome entier; (ii) la validation de l’expression différentielle des gènes d’intérêt identifiés par biopuces au niveau des transcrits et des protéines; (iii) la caractérisation du rôle fonctionnel de certains de ces facteurs (i.e., PPARG, AhR) sur la réplication du VIH dans les cellules Th1Th17 versus Th1; et (iv) l’identification du niveau auquel ces facteurs interfèrent avec le cycle de réplication du VIH. Nos résultats d’analyse du transcriptome du génome entier par Gene Set Enrichment Analysis et Ingenuity Pathway Analysis indiquent que les cellules à profil Th1Th17 sont plus susceptibles à l’activation cellulaire et à l’apoptose, favorisent plus l’inflammation et expriment moins fortement les gènes liés à la dégradation protéosomale comparé aux cellules à profil Th1. Ces différences dans la régulation de diverses voies et fonctions biologiques permettent en partie d’expliquer la susceptibilité à l’infection par le VIH dans ces cellules. Nous avons ensuite confirmé l’expression différentielle de certains gènes d’intérêt dans les cellules Th1Th17 (CXCR6, PPARG, ARNTL, CTSH, PTPN13, MAP3K4) versus Th1 (SERPINB6, PTK2) au niveau de l’ARNm et des protéines. Finalement, nous avons démontré le rôle des facteurs de transcription PPARG et AhR dans la régulation de la réplication du VIH. L’activation de la voie PPARG par la rosiglitazone induit la diminution importante de la réplication du VIH dans les cellules T CD4+, alors que l’activation de la voie AhR par les ligands exogènes TCDD et FICZ augmente de façon significative la réplication virale. Nous proposons que la voie PPARG agit comme un régulateur négatif de la réplication du VIH dans ces cellules, en interférant avec la polarisation Th17 et probablement en inhibant l’activité transcriptionnelle du facteur NF-kB. Les rôles des formes nucléaires versus cytoplasmiques du récepteur Ahr semblent être diamétralement opposés, dans la mesure où l’interférence ARN contre AhR s’associe également à l’augmentation de la réplication virale. Il est ainsi possible que la forme cytoplasmique d’AhR, connue par son activité E3 ligase, participe à la dégradation protéosomale des particules virales. Le mécanisme par lequel le AhR nucléaire versus cytoplasmique interfère avec la réplication virale est en cours d’étude au laboratoire. Cette étude représente la première caractérisation de l’expression différentielle de gènes au niveau du génome entier de sous-populations T CD4+ permissives versus résistantes à l’infection par le VIH. Nos résultats identifient de nouvelles cibles moléculaires pour de nouvelles stratégies thérapeutiques visant à limiter la réplication du VIH dans les lymphocytes T CD4+ primaires.

L’interprétation mécaniste des communautés et des écosystèmes

Les concepts d’écosystèmes et de communautés sont centraux aux explications en écologie ainsi qu’à plusieurs débats environnementaux. Cependant, depuis l’introduction de ces concepts, leur statut ontologique est controversé (c'est-à-dire un écosystème a-t-il une existence à part entière au-delà de l’existence de ses parties constituantes?). Alors que certains favorisent une interprétation épistémique de ces concepts, d’autres défendent plutôt que ces unités écologiques fassent partie intégrante du monde naturel. Dans le cadre de ce mémoire, j’argumente que la meilleure manière d’appréhender cette question ontologique est de comprendre que les communautés ainsi que les écosystèmes sont des mécanismes. Plus précisément, je propose que les écosystèmes et les communautés soient des ensembles d’entités et d’activités organisés de manière à exhiber de manière régulière des phénomènes précis. Les entités sont les composantes de ces mécanismes (ex : espèce, niche écologique) alors que les activités sont les relations causales produisant des changements (ex : photosynthèse, prédation). Finalement, les phénomènes que ces mécanismes produisent sont les propriétés émergentes propres au niveau d’organisation des communautés et des écosystèmes (ex. : pH, Biomasse). En utilisant l’approche manipulationniste développée par James Woodward (2003, 2004, 2010), j’argumente qu’il est possible d’identifier les composantes causales des écosystèmes et des communautés ainsi que leurs relations. Puisqu’il est possible de manipuler empiriquement et de manière contrefactuelle de différentes manières les communautés et les écosystèmes (Penn 2003; Swenson et Wilson 2000), je conclus que nous pouvons affirmer de manière robuste (Wimsatt 2007) que ces entités existent réellement.