La structure de Jordan des matrices de transfert des modèles de boucles et la relation avec les hamiltoniens XXZ

Les modèles sur réseau comme ceux de la percolation, d’Ising et de Potts servent à décrire les transitions de phase en deux dimensions. La recherche de leur solution analytique passe par le calcul de la fonction de partition et la diagonalisation de matrices de transfert. Au point critique, ces modèles statistiques bidimensionnels sont invariants sous les transformations conformes et la construction de théories des champs conformes rationnelles, limites continues des modèles statistiques, permet un calcul de la fonction de partition au point critique. Plusieurs chercheurs pensent cependant que le paradigme des théories des champs conformes rationnelles peut être élargi pour inclure les modèles statistiques avec des matrices de transfert non diagonalisables. Ces modèles seraient alors décrits, dans la limite d’échelle, par des théories des champs logarithmiques et les représentations de l’algèbre de Virasoro intervenant dans la description des observables physiques seraient indécomposables. La matrice de transfert de boucles D_N(λ, u), un élément de l’algèbre de Temperley- Lieb, se manifeste dans les théories physiques à l’aide des représentations de connectivités ρ (link modules). L’espace vectoriel sur lequel agit cette représentation se décompose en secteurs étiquetés par un paramètre physique, le nombre d de défauts. L’action de cette représentation ne peut que diminuer ce nombre ou le laisser constant. La thèse est consacrée à l’identification de la structure de Jordan de D_N(λ, u) dans ces représentations. Le paramètre β = 2 cos λ = −(q + 1/q) fixe la théorie : β = 1 pour la percolation et √2 pour le modèle d’Ising, par exemple. Sur la géométrie du ruban, nous montrons que D_N(λ, u) possède les mêmes blocs de Jordan que F_N, son plus haut coefficient de Fourier. Nous étudions la non diagonalisabilité de F_N à l’aide des divergences de certaines composantes de ses vecteurs propres, qui apparaissent aux valeurs critiques de λ. Nous prouvons dans ρ(D_N(λ, u)) l’existence de cellules de Jordan intersectorielles, de rang 2 et couplant des secteurs d, d′ lorsque certaines contraintes sur λ, d, d′ et N sont satisfaites. Pour le modèle de polymères denses critique (β = 0) sur le ruban, les valeurs propres de ρ(D_N(λ, u)) étaient connues, mais les dégénérescences conjecturées. En construisant un isomorphisme entre les modules de connectivités et un sous-espace des modules de spins du modèle XXZ en q = i, nous prouvons cette conjecture. Nous montrons aussi que la restriction de l’hamiltonien de boucles à un secteur donné est diagonalisable et trouvons la forme de Jordan exacte de l’hamiltonien XX, non triviale pour N pair seulement. Enfin nous étudions la structure de Jordan de la matrice de transfert T_N(λ, ν) pour des conditions aux frontières périodiques. La matrice T_N(λ, ν) a des blocs de Jordan intrasectoriels et intersectoriels lorsque λ = πa/b, et a, b ∈ Z×. L’approche par F_N admet une généralisation qui permet de diagnostiquer des cellules intersectorielles dont le rang excède 2 dans certains cas et peut croître indéfiniment avec N. Pour les blocs de Jordan intrasectoriels, nous montrons que les représentations de connectivités sur le cylindre et celles du modèle XXZ sont isomorphes sauf pour certaines valeurs précises de q et du paramètre de torsion v. En utilisant le comportement de la transformation i_N^d dans un voisinage des valeurs critiques (q_c, v_c), nous construisons explicitement des vecteurs généralisés de Jordan de rang 2 et discutons l’existence de blocs de Jordan intrasectoriels de plus haut rang.

Evaluating Design Decay during Software Evolution

Les logiciels sont en constante évolution, nécessitant une maintenance et un développement continus. Ils subissent des changements tout au long de leur vie, que ce soit pendant l'ajout de nouvelles fonctionnalités ou la correction de bogues dans le code. Lorsque ces logiciels évoluent, leurs architectures ont tendance à se dégrader avec le temps et deviennent moins adaptables aux nouvelles spécifications des utilisateurs. Elles deviennent plus complexes et plus difficiles à maintenir. Dans certains cas, les développeurs préfèrent refaire la conception de ces architectures à partir du zéro plutôt que de prolonger la durée de leurs vies, ce qui engendre une augmentation importante des coûts de développement et de maintenance. Par conséquent, les développeurs doivent comprendre les facteurs qui conduisent à la dégradation des architectures, pour prendre des mesures proactives qui facilitent les futurs changements et ralentissent leur dégradation. La dégradation des architectures se produit lorsque des développeurs qui ne comprennent pas la conception originale du logiciel apportent des changements au logiciel. D'une part, faire des changements sans comprendre leurs impacts peut conduire à l'introduction de bogues et à la retraite prématurée du logiciel. D'autre part, les développeurs qui manquent de connaissances et–ou d'expérience dans la résolution d'un problème de conception peuvent introduire des défauts de conception. Ces défauts ont pour conséquence de rendre les logiciels plus difficiles à maintenir et évoluer. Par conséquent, les développeurs ont besoin de mécanismes pour comprendre l'impact d'un changement sur le reste du logiciel et d'outils pour détecter les défauts de conception afin de les corriger. Dans le cadre de cette thèse, nous proposons trois principales contributions. La première contribution concerne l'évaluation de la dégradation des architectures logicielles. Cette évaluation consiste à utiliser une technique d’appariement de diagrammes, tels que les diagrammes de classes, pour identifier les changements structurels entre plusieurs versions d'une architecture logicielle. Cette étape nécessite l'identification des renommages de classes. Par conséquent, la première étape de notre approche consiste à identifier les renommages de classes durant l'évolution de l'architecture logicielle. Ensuite, la deuxième étape consiste à faire l'appariement de plusieurs versions d'une architecture pour identifier ses parties stables et celles qui sont en dégradation. Nous proposons des algorithmes de bit-vecteur et de clustering pour analyser la correspondance entre plusieurs versions d'une architecture. La troisième étape consiste à mesurer la dégradation de l'architecture durant l'évolution du logiciel. Nous proposons un ensemble de m´etriques sur les parties stables du logiciel, pour évaluer cette dégradation. La deuxième contribution est liée à l'analyse de l'impact des changements dans un logiciel. Dans ce contexte, nous présentons une nouvelle métaphore inspirée de la séismologie pour identifier l'impact des changements. Notre approche considère un changement à une classe comme un tremblement de terre qui se propage dans le logiciel à travers une longue chaîne de classes intermédiaires. Notre approche combine l'analyse de dépendances structurelles des classes et l'analyse de leur historique (les relations de co-changement) afin de mesurer l'ampleur de la propagation du changement dans le logiciel, i.e., comment un changement se propage à partir de la classe modifiée è d'autres classes du logiciel. La troisième contribution concerne la détection des défauts de conception. Nous proposons une métaphore inspirée du système immunitaire naturel. Comme toute créature vivante, la conception de systèmes est exposée aux maladies, qui sont des défauts de conception. Les approches de détection sont des mécanismes de défense pour les conception des systèmes. Un système immunitaire naturel peut détecter des pathogènes similaires avec une bonne précision. Cette bonne précision a inspiré une famille d'algorithmes de classification, appelés systèmes immunitaires artificiels (AIS), que nous utilisions pour détecter les défauts de conception. Les différentes contributions ont été évaluées sur des logiciels libres orientés objets et les résultats obtenus nous permettent de formuler les conclusions suivantes: • Les métriques Tunnel Triplets Metric (TTM) et Common Triplets Metric (CTM), fournissent aux développeurs de bons indices sur la dégradation de l'architecture. La d´ecroissance de TTM indique que la conception originale de l'architecture s’est dégradée. La stabilité de TTM indique la stabilité de la conception originale, ce qui signifie que le système est adapté aux nouvelles spécifications des utilisateurs. • La séismologie est une métaphore intéressante pour l'analyse de l'impact des changements. En effet, les changements se propagent dans les systèmes comme les tremblements de terre. L'impact d'un changement est plus important autour de la classe qui change et diminue progressivement avec la distance à cette classe. Notre approche aide les développeurs à identifier l'impact d'un changement. • Le système immunitaire est une métaphore intéressante pour la détection des défauts de conception. Les résultats des expériences ont montré que la précision et le rappel de notre approche sont comparables ou supérieurs à ceux des approches existantes.

Impacts and Detection of Design Smells

Les changements sont faits de façon continue dans le code source des logiciels pour prendre en compte les besoins des clients et corriger les fautes. Les changements continus peuvent conduire aux défauts de code et de conception. Les défauts de conception sont des mauvaises solutions à des problèmes récurrents de conception ou d’implémentation, généralement dans le développement orienté objet. Au cours des activités de compréhension et de changement et en raison du temps d’accès au marché, du manque de compréhension, et de leur expérience, les développeurs ne peuvent pas toujours suivre les normes de conception et les techniques de codage comme les patrons de conception. Par conséquent, ils introduisent des défauts de conception dans leurs systèmes. Dans la littérature, plusieurs auteurs ont fait valoir que les défauts de conception rendent les systèmes orientés objet plus difficile à comprendre, plus sujets aux fautes, et plus difficiles à changer que les systèmes sans les défauts de conception. Pourtant, seulement quelques-uns de ces auteurs ont fait une étude empirique sur l’impact des défauts de conception sur la compréhension et aucun d’entre eux n’a étudié l’impact des défauts de conception sur l’effort des développeurs pour corriger les fautes. Dans cette thèse, nous proposons trois principales contributions. La première contribution est une étude empirique pour apporter des preuves de l’impact des défauts de conception sur la compréhension et le changement. Nous concevons et effectuons deux expériences avec 59 sujets, afin d’évaluer l’impact de la composition de deux occurrences de Blob ou deux occurrences de spaghetti code sur la performance des développeurs effectuant des tâches de compréhension et de changement. Nous mesurons la performance des développeurs en utilisant: (1) l’indice de charge de travail de la NASA pour leurs efforts, (2) le temps qu’ils ont passé dans l’accomplissement de leurs tâches, et (3) les pourcentages de bonnes réponses. Les résultats des deux expériences ont montré que deux occurrences de Blob ou de spaghetti code sont un obstacle significatif pour la performance des développeurs lors de tâches de compréhension et de changement. Les résultats obtenus justifient les recherches antérieures sur la spécification et la détection des défauts de conception. Les équipes de développement de logiciels doivent mettre en garde les développeurs contre le nombre élevé d’occurrences de défauts de conception et recommander des refactorisations à chaque étape du processus de développement pour supprimer ces défauts de conception quand c’est possible. Dans la deuxième contribution, nous étudions la relation entre les défauts de conception et les fautes. Nous étudions l’impact de la présence des défauts de conception sur l’effort nécessaire pour corriger les fautes. Nous mesurons l’effort pour corriger les fautes à l’aide de trois indicateurs: (1) la durée de la période de correction, (2) le nombre de champs et méthodes touchés par la correction des fautes et (3) l’entropie des corrections de fautes dans le code-source. Nous menons une étude empirique avec 12 défauts de conception détectés dans 54 versions de quatre systèmes: ArgoUML, Eclipse, Mylyn, et Rhino. Nos résultats ont montré que la durée de la période de correction est plus longue pour les fautes impliquant des classes avec des défauts de conception. En outre, la correction des fautes dans les classes avec des défauts de conception fait changer plus de fichiers, plus les champs et des méthodes. Nous avons également observé que, après la correction d’une faute, le nombre d’occurrences de défauts de conception dans les classes impliquées dans la correction de la faute diminue. Comprendre l’impact des défauts de conception sur l’effort des développeurs pour corriger les fautes est important afin d’aider les équipes de développement pour mieux évaluer et prévoir l’impact de leurs décisions de conception et donc canaliser leurs efforts pour améliorer la qualité de leurs systèmes. Les équipes de développement doivent contrôler et supprimer les défauts de conception de leurs systèmes car ils sont susceptibles d’augmenter les efforts de changement. La troisième contribution concerne la détection des défauts de conception. Pendant les activités de maintenance, il est important de disposer d’un outil capable de détecter les défauts de conception de façon incrémentale et itérative. Ce processus de détection incrémentale et itérative pourrait réduire les coûts, les efforts et les ressources en permettant aux praticiens d’identifier et de prendre en compte les occurrences de défauts de conception comme ils les trouvent lors de la compréhension et des changements. Les chercheurs ont proposé des approches pour détecter les occurrences de défauts de conception, mais ces approches ont actuellement quatre limites: (1) elles nécessitent une connaissance approfondie des défauts de conception, (2) elles ont une précision et un rappel limités, (3) elles ne sont pas itératives et incrémentales et (4) elles ne peuvent pas être appliquées sur des sous-ensembles de systèmes. Pour surmonter ces limitations, nous introduisons SMURF, une nouvelle approche pour détecter les défauts de conception, basé sur une technique d’apprentissage automatique — machines à vecteur de support — et prenant en compte les retours des praticiens. Grâce à une étude empirique portant sur trois systèmes et quatre défauts de conception, nous avons montré que la précision et le rappel de SMURF sont supérieurs à ceux de DETEX et BDTEX lors de la détection des occurrences de défauts de conception. Nous avons également montré que SMURF peut être appliqué à la fois dans les configurations intra-système et inter-système. Enfin, nous avons montré que la précision et le rappel de SMURF sont améliorés quand on prend en compte les retours des praticiens.

Vers la fabrication d’échantillons permettant la condensation Bose-Einstein de polaritons excitoniques dans des cristaux d’anthracène en microcavités

Nous investiguons dans ce travail la création d'échantillons permettant l'étude du comportement des polaritons excitoniques dans les matériaux semi-conducteurs organiques. Le couplage fort entre les états excités d'électrons et des photons impose la création de nouveaux états propres dans le milieu. Ces nouveaux états, les polaritons, ont un comportement bosonique et sont donc capables de se condenser dans un état fortement dégénéré. Une occupation massive de l'état fondamental permet l'étude de comportements explicables uniquement par la mécanique quantique. La démonstration, au niveau macroscopique, d'effets quantiques promet d'éclairer notre compréhension de la matière condensée. De plus, la forte localisation des excitons dans les milieux organiques permet la condensation des polaritons excitoniques organiques à des températures beaucoup plus hautes que dans les semi-conducteurs inorganiques. À terme, les échantillons proposés dans ce travail pourraient donc servir à observer une phase cohérente macroscopique à des températures facilement atteignables en laboratoire. Les cavités proposées sont des résonateurs Fabry-Perot ultraminces dans lesquels est inséré un cristal unique d'anthracène. Des miroirs diélectriques sont fabriqués par une compagnie externe. Une couche d'or de 60 nanomètres est ensuite déposée sur leur surface. Les miroirs sont ensuite mis en contact, or contre or, et compressés par 2,6 tonnes de pression. Cette pression soude la cavité et laisse des espaces vides entre les lignes d'or. Une molécule organique, l'anthracène, est ensuite insérée par capillarité dans la cavité et y est cristallisée par la suite. Dans leur état actuel, les cavités présentent des défauts majeurs quant à la planarité des miroirs et à l'uniformité des cristaux. Un protocole détaillé est présenté et commenté dans ce travail. Nous y proposons aussi quelques pistes pour régler les problèmes courants de l'appareil.

Identification des bases génétiques des myopathies à multi-minicores avec ou sans cardiomyopathie

Thèse réalisée en cotutelle avec l'Université Pierre et Marie Curie, Paris 6(UPMC, Paris, France).

Les tribunaux et les possibilités de redressement d'une politique défectueuse : l'exemple de la cause Wynberg

Comme le déplorent les critiques de l’activisme judiciaire, la Constitution canadienne (y compris sa Charte) donne aux juges le pouvoir d’intervenir en matière de politique publique, un pouvoir qu’ils semblent avoir réussi à élargir de divers moyens. Ils sont donc capables de corriger les défauts d’une politique qui enfreint les droits des requérants et de réparer les torts qu’ils ont encourus. Cet exercice présente cependant plusieurs écueils, souvent graves, du point de vue des requérants et de celui des juges. L’examen des arrêts Wynberg concernant la politique ontarienne de l’IEIP envers les enfants ayant des troubles du spectre autistique illustre certaines de ces difficultés. Ces décisions et celle d’Auton de la Cour suprême du Canada suggèrent que les politiques publiques défectueuses d’une nature complexe et scientifique et dont la responsabilité institutionnelle n’est pas clairement définie n’ont aucune assurance d’être redressées par un recours aux tribunaux.

Réduction de la durée de vie des porteurs de charge dans le silicium noir par implantation ionique

Le but de ce projet est d’étudier l’effet des défauts cristallins sur les propriétés optoélectroniques de photodétecteurs fabriqué à partir de « silicium noir », c’est-à-dire du silicium dopé et microstructuré par impulsions laser femtoseconde, ce qui lui donne une apparence noire mate caractéristique. Des échantillons de silicium noir ont été recuits puis implantés avec des ions ayant une énergie de 300 keV (Si+), 1500 keV (Si+) ou 2000 keV (H+). Trois fluences pour chaque énergie d’implantation ont été utilisées (1E11, 1E12, ou 1E13 ions/cm2) ce qui modifie le matériau en ajoutant des défauts cristallins à des profondeurs et concentrations variées. Neuf photodétecteurs ont été réalisés à partir de ces échantillons implantés, en plus d’un détecteur-contrôle (non-implanté). La courbe de courant-tension, la sensibilité spectrale et la réponse en fréquence ont été mesurées pour chaque détecteur afin de les comparer. Les détecteurs ont une relation de courant-tension presque ohmique, mais ceux implantés à plus haute fluence montrent une meilleure rectification. Les implantations ont eu pour effet, en général, d’augmenter la sensibilité des détecteurs. Par exemple, l’efficacité quantique externe passe de (0,069±0,001) % à 900 nm pour le détecteur-contrôle à (26,0±0,5) % pour le détecteur ayant reçu une fluence de 1E12 cm-2 d’ions de silicium de 1500 keV. Avec une tension appliquée de -0,50 V, la sensibilité est améliorée et certains détecteurs montrent un facteur de gain de photocourant supérieur à l’unité, ce qui implique un mécanisme de multiplication (avalanche ou photoconductivité). De même, la fréquence de coupure a été augmentée par l’implantation. Une technique purement optique a été mise à l’essai pour mesurer sans contacts la durée de vie effective des porteurs, dans le but d’observer une réduction de la durée de vie causée par les défauts. Utilisant le principe de la réflexion photo-induite résolue en fréquence, le montage n’a pas réuni toutes les conditions expérimentales nécessaires à la détection du signal.

Étude de la formation et de l'évolution de nanostructures par méthodes Monte Carlo

Cette thèse, composée de quatre articles scientifiques, porte sur les méthodes numériques atomistiques et leur application à des systèmes semi-conducteurs nanostructurés. Nous introduisons les méthodes accélérées conçues pour traiter les événements activés, faisant un survol des développements du domaine. Suit notre premier article, qui traite en détail de la technique d'activation-relaxation cinétique (ART-cinétique), un algorithme Monte Carlo cinétique hors-réseau autodidacte basé sur la technique de l'activation-relaxation nouveau (ARTn), dont le développement ouvre la voie au traitement exact des interactions élastiques tout en permettant la simulation de matériaux sur des plages de temps pouvant atteindre la seconde. Ce développement algorithmique, combiné à des données expérimentales récentes, ouvre la voie au second article. On y explique le relâchement de chaleur par le silicium cristallin suite à son implantation ionique avec des ions de Si à 3 keV. Grâce à nos simulations par ART-cinétique et l'analyse de données obtenues par nanocalorimétrie, nous montrons que la relaxation est décrite par un nouveau modèle en deux temps: "réinitialiser et relaxer" ("Replenish-and-Relax"). Ce modèle, assez général, peut potentiellement expliquer la relaxation dans d'autres matériaux désordonnés. Par la suite, nous poussons l'analyse plus loin. Le troisième article offre une analyse poussée des mécanismes atomistiques responsables de la relaxation lors du recuit. Nous montrons que les interactions élastiques entre des défauts ponctuels et des petits complexes de défauts contrôlent la relaxation, en net contraste avec la littérature qui postule que des "poches amorphes" jouent ce rôle. Nous étudions aussi certains sous-aspects de la croissance de boîtes quantiques de Ge sur Si (001). En effet, après une courte mise en contexte et une introduction méthodologique supplémentaire, le quatrième article décrit la structure de la couche de mouillage lors du dépôt de Ge sur Si (001) à l'aide d'une implémentation QM/MM du code BigDFT-ART. Nous caractérisons la structure de la reconstruction 2xN de la surface et abaissons le seuil de la température nécessaire pour la diffusion du Ge en sous-couche prédit théoriquement par plus de 100 K.

Étude sur les fonctions in vivo des GEFs DOCK chez les mammifères

Dock1 (aussi nommé Dock180) est le membre prototypique de la famille Dock d’activateurs des petites GTPases de la famille Rho. Dock1 agit au sein d’une voie de signalisation conservée au cours de l’évolution et des études génétiques ont démontré que les orthologues de Dock1, myoblast city (mbc) chez la drosophile et Ced-5 chez le nématode, activent Rac dans divers processus biologiques. Notamment, mbc est un important régulateur de la fusion des myoblastes lors de la formation des fibres musculaires de drosophile. Mbc est aussi essentiel à la migration collective d’un groupe de cellules, appelées cellules de bordures, lors de leur migration dans la chambre de l’oeuf suite à l’activation de récepteurs à activité tyrosine kinase (RTK). La migration collective des cellules de bordures récapitule certains des événements observés lorsque des cellules tumorales envahissent le tissu environnant lors de la formation de métastases. Chez les mammifères, des études réalisées en lignées cellulaires suggèrent que Dock1 est aussi un régulateur du cytosquelette lors de la migration cellulaire. De plus, certaines études ont démontré que la voie Dock1/Rac agit en aval de RTKs lors de l’invasion de cellules de glioblastome. Néanmoins, les fonctions in vivo de Dock1 chez les mammifères demeurent méconnues et le but de cette thèse est d’identifier et de caractériser certaines de ses fonctions. Guidés par la fonction de mbc, nous démontrons dans l’objectif no 1 un rôle essentiel pour ce gène au cours du développement embryonnaire grâce à la caractérisation d’une souris Dock1 knock-out. Des défauts sévères de fusion des myoblastes sont observés en absence de l’expression de Dock1 et ils contribuent à la réduction de la masse musculaire des souris mutantes. De plus, nous avons constaté une contribution du gène Dock5, un membre de la famille Dock proche de Dock1, au développement des fibres musculaires. Dans l’objectif no 2, nous avons observé que des hauts niveaux d’expression de DOCK1 corrèlent avec un mauvais pronostic chez les patientes atteintes de cancer du sein possédant une forte expression du gène codant pour le RTK HER2. Une surexpression ou une amplification du locus codant pour le récepteur HER2 est associée à près de 20% des cas de cancer du sein. Les cancers de ces patientes développent fréquemment des métastases et sont associés à un mauvais pronostic. Des études biochimiques ont révélé que DOCK1 interagit avec le récepteur HER2 dans des cellules de cancer du sein. De plus, DOCK1 est essentiel à l’activation de RAC et à la migration cellulaire induite par HER2 dans ces cellules. L’utilisation d’un modèle de cancer du sein médié par HER2 chez la souris combiné avec l’inactivation du gène Dock1 dans les glandes mammaires, nous a permis d’identifier Dock1 et Rac comme de nouveaux effecteurs de la croissance tumorale et de la formation de métastases régulées par l’oncogène HER2. Nous concluons que l’utilisation de différents modèles de souris knock-out pour le gène Dock1 nous a permis d’identifier des fonctions clés de ce gène. Tout comme son orthologue mbc, Dock1 joue un rôle important lors du développement embryonnaire en régulant notamment la fusion des myoblastes. Nos études ont également contribué à démontrer un important degré de conservation des mécanismes moléculaires de fusion entre les espèces. De plus, DOCK1 agit en aval du RTK HER2 et son expression dans les cellules épithéliales de glandes mammaires contribue au développement tumoral et à la formation de métastases induits par cet oncogène.

Identification et caractérisation de gènes chez Salmonella enterica sérovar Typhi impliqués dans l’interaction avec les macrophages humains.

Le genre bactérien Salmonella regroupe plus de 2500 sérovars, mais peu sont responsables de pathologies humaines. Salmonella enterica sérovar Typhi (S. Typhi) est reconnu pour son importance médicale à travers le globe. S. Typhi cause la fièvre typhoïde chez l’Homme, une maladie infectieuse létale caractérisée par la dissémination systémique de la bactérie vers des organes du système réticulo-endothélial. La fièvre typhoïde représente un fardeau pour la santé mondiale, notamment auprès des pays en développement où les conditions sanitaires sont désuètes. La situation se complique davantage par l’apparition de souches résistantes aux antibiotiques. De plus, les deux vaccins licenciés sont d’efficacité modérée, présentent certaines contraintes techniques et ne sont pas appropriés pour les jeunes enfants et nourrissons. La phase systémique de l’infection par Salmonella repose sur sa survie dans les macrophages du système immunitaire. Dans ce compartiment intracellulaire, la bactérie module les défenses antimicrobiennes grâce à de multiples facteurs de virulence encodés dans son génome. Les mécanismes moléculaires sollicités sont complexes et finement régulés. Malgré les progrès scientifiques réalisés précédemment, plusieurs incompréhensions persistent au sujet de l’adaptation de ce pathogène dans les macrophages de l’hôte. Pour mieux concevoir les déterminants génétiques de S. Typhi impliqués dans l’interaction avec ces cellules, une stratégie de sélection négative a été appliquée afin de vérifier systématiquement l’effet direct des gènes pendant l’infection. En premier temps, une librairie de mutants par transposon chez S. Typhi a été créée pour l’infection de macrophages humains en culture. Après 24 heures d’infection, la présence des mutants fut évaluée simultanément par analyse sur des biopuces de Salmonella. Au total, 130 gènes ont été sélectionnés pour leur contribution potentielle auprès des macrophages infectés. Ces gènes comptaient des composantes d’enveloppe bactérienne, des éléments fimbriaires, des portions du flagelle, des régulateurs, des facteurs de pathogenèse et plusieurs protéines sans fonction connue. En deuxième temps, cette collection de gènes a dirigé la création de 28 mutants de délétion définie chez S. Typhi. Les capacités d’entrée et de réplication intracellulaire de ces mutants au sein des macrophages humains ont été caractérisées. D’abord, les macrophages ont été co-infectés avec les mutants en présence de la souche sauvage, pour vérifier la compétitivité de chacun d’eux envers cette dernière. Ensuite, les mutants ont été inoculés individuellement chez les macrophages et leur infectivité fut mesurée comparativement à celle de la souche sauvage. Sommairement, 26 mutants ont présenté des défauts lorsqu’en compétition, tandis que 14 mutants se sont montrés défectueux lorsque testés seuls. Par ailleurs, 12 mutants ont exposé une déficience lors de l’infection mixte et individuelle, incluant les mutants acrA, exbDB, flhCD, fliC, gppA, mlc, pgtE, typA, waaQGP, STY1867-68, STY2346 et SPI-4. Notamment, 35 nouveaux phénotypes défectueux d’entrée ou de survie intracellulaire chez Salmonella ont été révélés par cette étude. Les données générées ici offrent plusieurs nouvelles pistes pour élucider comment S. Typhi manipule sa niche intracellulaire, menant à l’infection systémique. Les gènes décrits représentent des cibles potentielles pour atténuer la bactérie chez l’humain et pourraient contribuer au développement de meilleures souches vaccinales pour immuniser contre la fièvre typhoïde.

Characterizing cortical myosin mini-filament regulation, length and its macroscopic implications in cytokinetic dynamics.

Au cours de la cytokinèse, le génome dédoublé est compartimentalisé en deux cellules filles. L’anneau contractile, une structure dynamique, est constitué d’actine, myosine (NMY-II) et d’autres protéines accessoires. NMY-2 est le seul moteur protéique impliqué dans la contraction de l’anneau durant la cytokinèse. Depuis longtemps, il a été considéré que celle-ci glissait le long des filaments d’actine grâce à sa capacité de traction. Récemment, plusieurs études ont découvert que son activité réticulante joue un rôle en cytokinèse et il est connu que la NMY-2 peut s’assembler en filaments bipolaires à partir de dimères. Ainsi, nous postulons que leur dimension (nombre de moteurs ATPasiques) pourrait dicter leur contribution en activité motrice et réticulante. Afin de déterminer la composition des filaments corticaux de NMY-2, nous avons utilisé une technique d'imagerie de molécules individuelles à l’aide de la microscopie TIRF. J’ai trouvé à travers l’analyse statistique de la distribution des NMY-2 mesurés que les filaments sont assemblés à deux dimensions constantes: Des filaments composés de 20 dimères et 30 dimères. La kinase Rho est une activatrice de NMY-2 nécessaire pour les niveaux physiologiques de NMY-2 sur l’anneau contractile, pour des cinétiques et fermeture concentrique de l’anneau. La déplétion de RhoK augmente l’abondance relative des filaments de 20 dimères. Ainsi, RhoK pourrait réguler le recrutement de la NMY et aussi l’assemblage des filaments corticaux de NMY-2. De plus, à l’aide de la microscopie confocale à temps réel, j’ai trouvé que lors de la déplétion de RhoK, il se produit une réduction du recrutement et du délai d’initiation du sillon, une fermeture lente et une augmentation significative de la concentricité de l’anneau. De plus, j’ai mesuré des défauts dans l’organisation corticale de l’anneau contractile en patch. La déplétion de MRCK-1 n’affecte pas l’initiation du sillon, les cinétiques de fermeture, ou la fermeture concentrique de l’anneau. Paradoxalement, la déplétion de MRCK-1 augmente le recrutement cortical de NMY-2, mais quand depleté simultanément avec Rho-K il diminue NMY-2 à l’équateur comparé à la déplétion seule de Rho-K. De plus, la double déplétion, conduit à un phénotype de concentricité de l’anneau, suivie d’un recentrage.

Analysing artefacts dependencies to evolving software systems

Les logiciels sont en constante évolution, nécessitant une maintenance et un développement continus. Ils subissent des changements tout au long de leur vie, que ce soit pendant l'ajout de nouvelles fonctionnalités ou la correction de bogues. Lorsque les logiciels évoluent, leurs architectures ont tendance à se dégrader et deviennent moins adaptables aux nouvelles spécifications des utilisateurs. En effet, les architectures de ces logiciels deviennent plus complexes et plus difficiles à maintenir à cause des nombreuses dépendances entre les artefacts. Par conséquent, les développeurs doivent comprendre les dépendances entre les artefacts des logiciels pour prendre des mesures proactives qui facilitent les futurs changements et ralentissent la dégradation des architectures des logiciels. D'une part, le maintien d'un logiciel sans la compréhension des les dépendances entre ses artefacts peut conduire à l'introduction de défauts. D'autre part, lorsque les développeurs manquent de connaissances sur l'impact de leurs activités de maintenance, ils peuvent introduire des défauts de conception, qui ont un impact négatif sur l'évolution du logiciel. Ainsi, les développeurs ont besoin de mécanismes pour comprendre comment le changement d'un artefact impacte le reste du logiciel. Dans cette thèse, nous proposons trois contributions principales : La spécification de deux nouveaux patrons de changement et leurs utilisations pour fournir aux développeurs des informations utiles concernant les dépendances de co-changement. La spécification de la relation entre les patrons d'évolutions des artefacts et les fautes. La découverte de la relation entre les dépendances des anti-patrons et la prédisposition des différentes composantes d'un logiciel aux fautes.

Rôle de la topoisomérase I dans la stabilité du génome chez Escherichia coli

Les topoisomérases (topos) de type IA jouent un rôle primordial dans le maintien et l’organisation du génome. Cependant, les mécanismes par lesquels elles contrôlent cette stabilité génomique sont encore à approfondir. Chez E. coli, les deux principales topoisomérases de type IA sont la topo I (codée par le gène topA) et la topo III (codée par le gène topB). Il a déjà été montré que les cellules dépourvues des topos I et III formaient de très longs filaments dans lesquels les chromosomes ne sont pas bien séparés. Comme ces défauts de ségrégation des chromosomes sont corrigés par l’inactivation de la protéine RecA qui est responsable de la recombinaison homologue, il a été émis comme hypothèse que les topoisomérases de type IA avaient un rôle dans la résolution des intermédiaires de recombinaison afin de permettre la séparation des chromosomes. D’autre part, des études réalisées dans notre laboratoire démontrent que le rôle majeur de la topoisomérase I est d’empêcher la formation des R-loops durant la transcription, surtout au niveau des opérons rrn. Ces R-loops on été récemment identifiés comme des obstacles majeurs à l’avancement des fourches de réplication, ce qui peut provoquer une instabilité génomique. Nous avons des évidences génétiques montrant qu’il en serait de même chez nos mutants topA. Tout récemment, des études ont montré le rôle majeur de certaines hélicases dans le soutien aux fourches de réplication bloquées, mais aussi une aide afin de supprimer les R-loops. Chez E. coli, ces hélicases ont été identifiées et sont DinG, Rep et UvrD. Ces hélicases jouent un rôle dans la suppression de certains obstacles à la réplication. Le but de ce projet était de vérifier l’implication de ces hélicases chez le mutant topA en utilisant une approche génétique. Étonnamment, nos résultats montrent que la délétion de certains de ces gènes d’hélicases a pour effet de corriger plutôt que d’exacerber des phénotypes du mutants topA qui sont liés à la croissance et à la morphologie des nucléoides et des cellules. Ces résultats sont interprétés à la lumière de nouvelles fonctions attribuées aux topoisomérases de types IA dans la stabilité du génome.

Genetic studies on the role of type IA DNA topoisomerases in DNA metabolism and genome maintenance in Escherichia coli

Le surenroulement de l’ADN est important pour tous les processus cellulaires qui requièrent la séparation des brins de l’ADN. Il est régulé par l’activité enzymatique des topoisomérases. La gyrase (gyrA et gyrB) utilise l’ATP pour introduire des supertours négatifs dans l’ADN, alors que la topoisomérase I (topA) et la topoisomérase IV (parC et parE) les éliminent. Les cellules déficientes pour la topoisomérase I sont viables si elles ont des mutations compensatoires dans un des gènes codant pour une sous-unité de la gyrase. Ces mutations réduisent le niveau de surenroulement négatif du chromosome et permettent la croissance bactérienne. Une de ces mutations engendre la production d'une gyrase thermosensible. L’activité de surenroulement de la gyrase en absence de la topoisomérase I cause l’accumulation d’ADN hyper-surenroulé négativement à cause de la formation de R-loops. La surproduction de la RNase HI (rnhA), une enzyme qui dégrade l’ARN des R-loops, permet de prévenir l’accumulation d’un excès de surenroulement négatif. En absence de RNase HI, des R-loops sont aussi formés et peuvent être utilisés pour déclencher la réplication de l’ADN indépendamment du système normal oriC/DnaA, un phénomène connu sous le nom de « constitutive stable DNA replication » (cSDR). Pour mieux comprendre le lien entre la formation de R-loops et l’excès de surenroulement négatif, nous avons construit un mutant conditionnel topA rnhA gyrB(Ts) avec l’expression inductible de la RNase HI à partir d’un plasmide. Nous avons trouvé que l’ADN des cellules de ce mutant était excessivement relâché au lieu d'être hypersurenroulé négativement en conditions de pénurie de RNase HI. La relaxation de l’ADN a été montrée comme étant indépendante de l'activité de la topoisomérase IV. Les cellules du triple mutant topA rnhA gyrB(Ts) forment de très longs filaments remplis d’ADN, montrant ainsi un défaut de ségrégation des chromosomes. La surproduction de la topoisomérase III (topB), une enzyme qui peut effectuer la décaténation de l’ADN, a corrigé les problèmes de ségrégation sans toutefois restaurer le niveau de surenroulement de l’ADN. Nous avons constaté que des extraits protéiques du mutant topA rnhA gyrB(Ts) pouvaient inhiber l’activité de surenroulement négatif de la gyrase dans des extraits d’une souche sauvage, suggérant ainsi que la pénurie de RNase HI avait déclenché une réponse cellulaire d’inhibition de cette activité de la gyrase. De plus, des expériences in vivo et in vitro ont montré qu’en absence de RNase HI, l’activité ATP-dépendante de surenroulement négatif de la gyrase était inhibée, alors que l’activité ATP-indépendante de cette enzyme demeurait intacte. Des suppresseurs extragéniques du défaut de croissance du triple mutant topA rnhA gyrB(Ts) qui corrigent également les problèmes de surenroulement et de ségrégation des chromosomes ont pour la plupart été cartographiés dans des gènes impliqués dans la réplication de l’ADN, le métabolisme des R-loops, ou la formation de fimbriae. La deuxième partie de ce projet avait pour but de comprendre les rôles des topoisomérases de type IA (topoisomérase I et topoisomérase III) dans la ségrégation et la stabilité du génome de Escherichia coli. Pour étudier ces rôles, nous avons utilisé des approches de génétique combinées avec la cytométrie en flux, l’analyse de type Western blot et la microscopie. Nous avons constaté que le phénotype Par- et les défauts de ségrégation des chromosomes d’un mutant gyrB(Ts) avaient été corrigés en inactivant topA, mais uniquement en présence du gène topB. En outre, nous avons démontré que la surproduction de la topoisomérase III pouvait corriger le phénotype Par- du mutant gyrB(Ts) sans toutefois corriger les défauts de croissance de ce dernier. La surproduction de topoisomérase IV, enzyme responsable de la décaténation des chromosomes chez E. coli, ne pouvait pas remplacer la topoisomérase III. Nos résultats suggèrent que les topoisomérases de type IA jouent un rôle important dans la ségrégation des chromosomes lorsque la gyrase est inefficace. Pour étudier le rôle des topoisomérases de type IA dans la stabilité du génome, la troisième partie du projet, nous avons utilisé des approches génétiques combinées avec des tests de « spot » et la microscopie. Nous avons constaté que les cellules déficientes en topoisomérase I avaient des défauts de ségrégation de chromosomes et de croissance liés à un excès de surenroulement négatif, et que ces défauts pouvaient être corrigés en inactivant recQ, recA ou par la surproduction de la topoisomérase III. Le suppresseur extragénique oriC15::aph isolé dans la première partie du projet pouvait également corriger ces problèmes. Les cellules déficientes en topoisomérases de type IA formaient des très longs filaments remplis d’ADN d’apparence diffuse et réparti inégalement dans la cellule. Ces phénotypes pouvaient être partiellement corrigés par la surproduction de la RNase HI ou en inactivant recA, ou encore par des suppresseurs isolés dans la première partie du projet et impliques dans le cSDR (dnaT18::aph et rne59::aph). Donc, dans E. coli, les topoisomérases de type IA jouent un rôle dans la stabilité du génome en inhibant la réplication inappropriée à partir de oriC et de R-loops, et en empêchant les défauts de ségrégation liés à la recombinaison RecA-dépendante, par leur action avec RecQ. Les travaux rapportés ici révèlent que la réplication inappropriée et dérégulée est une source majeure de l’instabilité génomique. Empêcher la réplication inappropriée permet la ségrégation des chromosomes et le maintien d’un génome stable. La RNase HI et les topoisomérases de type IA jouent un rôle majeur dans la prévention de la réplication inappropriée. La RNase HI réalise cette tâche en modulant l’activité de surenroulement ATP-dependante de la gyrase, et en empêchant la réplication à partir des R-loops. Les topoisomérases de type IA assurent le maintien de la stabilité du génome en empêchant la réplication inappropriée à partir de oriC et des R-loops et en agissant avec RecQ pour résoudre des intermédiaires de recombinaison RecA-dépendants afin de permettre la ségrégation des chromosomes.

The specific in vivo role of PPARgamma and its downstream signaling pathway in the pathophysiology of Osteoarthritis

L'arthrose est une maladie articulaire dégénérative, avec une pathogenèse inconnue. Des études récentes suggèrent que l'activation du facteur de transcription du récepteur activateur de la prolifération des peroxysomes (PPAR) gamma est une cible thérapeutique pour ce maladie. Les agonistes du PPARγ inhibent l'inflammation et réduisent la synthèse des produits de dégradation du cartilage in vitro et in vivo. Cependant, des études utilisant des agonistes du PPARγ n’élucident pas les effets exacts médiés par ce gène complexe. En effet, certains de ces agonistes ont la capacité de régulariser d'autres voies de signalisation indépendantes de PPARγ, ainsi entraînant des effets secondaires graves. Afin d'obtenir une efficacité thérapeutique avec potentiellement moins de problèmes de sécurité, il est donc essentiel d'élucider, in vivo, le rôle exact de PPARγ dans la physiopathologie OA. Mon projet de thèse permettra de déterminer, pour la première fois, le rôle spécifique de PPARγ in vivo dans la physiopathologie OA. Les souris utilisées pour l’étude avaient une délétion conditionnelle du gène PPARγ dans le cartilage. Ces dernières ont été générées en employant le système LoxP/Cre. Pour tester cette hypothèse, j'ai généré deux types de souris avec une délétion au PPARγ, (a) une suppression du gène PPARγ spécifiquement dans le cartilage germinale pour l'étude de l'arthrose liée au développement et à l'âge et (b) la suppression inductible du gène PPARγ spécifiquement dans le cartilage chez la souris adulte pour les études OA. L’étude précédente dans notre laboratoire, utilisant ces souris ayant une délétion au gène PPARγ germinales, montre que ces souris présentent des anomalies du développement du cartilage. J'ai également exploré si ces souris qui présentent des défauts précoces du développement ont toutes les modifications phénotypiques dans le cartilage au cours du vieillissement. Mes résultats ont montré que les souris adultes, ayant une délétion au gène PPARγ, ont présenter un phénotype de l'arthrose spontanée associée à une dégradation du cartilage, l’hypocellularité, la fibrose synoviale. Cette étude a montré que PPARγ est un régulateur essentiel pour le cartilage, et c’est le manque (l’absence) de ce dernier qui conduit à un phénotype de l'arthrose spontanée accélérée (American Journal of Pathologie). A partir de ce but de l'étude, on n’a pas pu vérifier si ces souris présentaient l’OA spontanée en raison des défauts de développement ou à la suite de la délétion du gène PPARγ. Pour contourner les défauts de développement, j'ai généré des souris ayant une délétion du gène PPARγ spécifiquement dans le cartilage inductible avec le système Col2rTACre. Ces souris ont été soumises à modèle de la chirurgie OA (DMM: déstabilisation du ménisque médial) et les résultats révèlent que les souris PPARγ KO ont une dégradation accélérée du cartilage, une hypocellularité, une fibrose synoviale et une augmentation de l'expression des marqueurs cataboliques et des marqueurs inflammatoire. La perte de PPAR dans le cartilage articulaire est un évènement critique qui initie la dégradation de cartilage dans OA. Les études récentes suggèrent que le procès d’autophagie, une forme de survie cellulaire programmée, est altéré pendant l’OA et peut contribuer vers une protection diminuée des cellules, résultant la dégradation du cartilage. J’ai donc exploré le rôle de PPARγ dans la protection des cellules en déterminant l’effet de manque de PPARγ dans le cartilage par l’expression de mTOR (régulateur négatif principal d’autophagie) et les gènes d’autophagie durant OA. Mes résultats ont montré que les souris KO PPARγ présentent également une augmentation sur l'expression de mTOR et une diminution sur l’expression des marqueurs autophagiques en comparaison avec les chondrocytes articulaires isolés des souris contrôles OA. J'ai suggéré l'hypothèse que PPARγ contrôle la régulation de la signalisation de mTOR/autophagie, et finalement la mort des chondrocytes et l’expression des facteurs cataboliques et les facteurs inflammatoire. Pour tester cette hypothèse, j’ai fait la transfection des chondrocytes arthrosiques PPARγ-KO avec le vecteur d’expression de PPARγ pour déterminer si la restauration de l'expression de PPARγ peut sauver le phénotype des cellules PPARγ-KO OA. J'ai observé que la restauration de l'expression de PPARγ dans les cellules PPARγ-KO en présence du vecteur d'expression PPARγ, a pu considérablement régulariser négativement l'expression de mTOR et mettre en règle positivement l'expression des gènes autophagiques ainsi que le sauvetage significative de l'expression du collagène de type II et l’aggrecan et de baisser de manière significative l'expression de marqueurs cataboliques critiques et des marqueurs inflammatoires. Pour prouver que l’augmentation de la signalisation de mTOR et la diminution de l'autophagie est responsable du phénotype OA accélérée observée dans les souris PPARγ KO in vivo, j'ai généré les souris doubles KO PPARγ- mTOR inductible spécifique du cartilage en utilisant le système Col2 - rtTA -Cre et soumis ces souris à DMM modèle de l'arthrose. Mes résultants démontrent que les souris avec PPARγ- mTOR doubles KO ont été significativement protégés contre les OA DMM induites associées à une protection significative contre la destruction du cartilage, la perte de protéoglycanes et la perte de chondro-cellularité par rapport aux souris témoins. Considérant que mTOR est un répresseur majeur de l'autophagie, j'ai trouvé que l'expression de deux marqueurs de l'autophagie critiques (ULK1 et LC3B) a été significativement plus élevée dans les chondrocytes extraits les souris doubles KO PPARγ-mTOR par rapport aux souris témoins. En plus, les études de sauvetage in vitro en utilisant le vecteur d'expression PPAR et les études in vivo utilisant les souris doubles KO PPARγ- mTOR montrent que PPARγ est impliqué dans la régulation de la protéine signalant de mTOR/autophagie dans le cartilage articulaire. Ces résultats contournent PPARγ et sa signalisation en aval de mTOR/autophagie en tant que cibles thérapeutiques potentielles pour le traitement de l'arthrose.