Développement logiciel par transformation de modèles

La recherche en génie logiciel a depuis longtemps tenté de mieux comprendre le processus de développement logiciel, minimalement, pour en reproduire les bonnes pratiques, et idéalement, pour pouvoir le mécaniser. On peut identifier deux approches majeures pour caractériser le processus. La première approche, dite transformationnelle, perçoit le processus comme une séquence de transformations préservant certaines propriétés des données à l’entrée. Cette idée a été récemment reprise par l’architecture dirigée par les modèles de l’OMG. La deuxième approche consiste à répertorier et à codifier des solutions éprouvées à des problèmes récurrents. Les recherches sur les styles architecturaux, les patrons de conception, ou les cadres d’applications s’inscrivent dans cette approche. Notre travail de recherche reconnaît la complémentarité des deux approches, notamment pour l’étape de conception: dans le cadre du développement dirigé par les modèles, nous percevons l’étape de conception comme l’application de patrons de solutions aux modèles reçus en entrée. Il est coutume de définir l’étape de conception en termes de conception architecturale, et conception détaillée. La conception architecturale se préoccupe d’organiser un logiciel en composants répondant à un ensemble d’exigences non-fonctionnelles, alors que la conception détaillée se préoccupe, en quelque sorte, du contenu de ces composants. La conception architecturale s’appuie sur des styles architecturaux qui sont des principes d’organisation permettant d’optimiser certaines qualités, alors que la conception détaillée s’appuie sur des patrons de conception pour attribuer les responsabilités aux classes. Les styles architecturaux et les patrons de conception sont des artefacts qui codifient des solutions éprouvées à des problèmes récurrents de conception. Alors que ces artefacts sont bien documentés, la décision de les appliquer reste essentiellement manuelle. De plus, les outils proposés n’offrent pas un support adéquat pour les appliquer à des modèles existants. Dans cette thèse, nous nous attaquons à la conception détaillée, et plus particulièrement, à la transformation de modèles par application de patrons de conception, en partie parce que les patrons de conception sont moins complexes, et en partie parce que l’implémentation des styles architecturaux passe souvent par les patrons de conception. Ainsi, nous proposons une approche pour représenter et appliquer les patrons de conception. Notre approche se base sur la représentation explicite des problèmes résolus par ces patrons. En effet, la représentation explicite du problème résolu par un patron permet : (1) de mieux comprendre le patron, (2) de reconnaître l’opportunité d’appliquer le patron en détectant une instance de la représentation du problème dans les modèles du système considéré, et (3) d’automatiser l’application du patron en la représentant, de façon déclarative, par une transformation d’une instance du problème en une instance de la solution. Pour vérifier et valider notre approche, nous l’avons utilisée pour représenter et appliquer différents patrons de conception et nous avons effectué des tests pratiques sur des modèles générés à partir de logiciels libres.

Electrospinning and characterization of self-assembled inclusion complexies

L’électrofilage est une technique permettant de fabriquer des fibres polymériques dont le diamètre varie entre quelques nanomètres et quelques microns. Ces fibres ont donc un rapport surface/volume très élevé. Les fibres électrofilées pourraient trouver des applications dans le relargage de médicaments et le génie tissulaire, comme membranes et capteurs chimiques, ou dans les nanocomposites et dispositifs électroniques. L’électrofilage était initialement utilisé pour préparer des toiles de fibres désordonnées, mais il est maintenant possible d’aligner les fibres par l’usage de collecteurs spéciaux. Cependant, il est important de contrôler non seulement l’alignement macroscopique des fibres mais aussi leur orientation au niveau moléculaire puisque l’orientation influence les propriétés mécaniques, optiques et électriques des polymères. Les complexes moléculaires apparaissent comme une cible de choix pour produire des nanofibres fortement orientées. Dans les complexes d’inclusion d’urée, les chaînes polymères sont empilées dans des canaux unidimensionnels construits à partir d’un réseau tridimensionnel de molécules d’urée liées par des ponts hydrogène. Ainsi, les chaînes polymère sonts très allongées à l’échelle moléculaire. Des nanofibres du complexe PEO-urée ont été préparées pour la première fois par électrofilage de suspensions et de solutions. Tel qu’attendu, une orientation moléculaire inhabituellement élevée a été observée dans ces fibres. De tels complexes orientés pourraient être utilisés à la fois dans des études fondamentales et dans la préparation de matériaux hiérarchiquement structurés. La méthode d’électrofilage peut parfois aussi être utilisée pour préparer des matériaux polymériques métastables qui ne peuvent pas être préparés par des méthodes conventionnelles. Ici, l’électrofilage a été utilisé pour préparer des fibres des complexes stables (α) et "métastables" (β) entre le PEO et l’urée. La caractérisation du complexe β, qui était mal connu, révèle un rapport PEO:urée de 12:8 appartenant au système orthorhombique avec a = 1.907 nm, b = 0.862 nm et c = 0.773 nm. Les chaînes de PEO sont orientées selon l’axe de la fibre. Leur conformation est significativement affectée par les ponts hydrogène. Une structure en couches a été suggérée pour la forme β, plutôt que la structure conventionnelle en canaux adoptée par la forme α. Nos résultats indiquent que le complexe β est thermodynamiquement stable avant sa fonte et peut se transformer en forme α et en PEO liquide par un processus de fonte et recristallisation à 89 ºC. Ceci va dans le sens contraire aux observations faites avec le complexe β obtenu par trempe du complexe α fondu. En effet, le complexe β ainsi obtenu est métastable et contient des cristaux d’urée. Il peut subir une transition de phases cinétique solide-solide pour produire du complexe α dans une vaste gamme de températures. Cette transition est induite par un changement de conformation du PEO et par la formation de ponts hydrogène intermoléculaires entre l’urée et le PEO. Le diagramme de phases du système PEO-urée a été tracé sur toute la gamme de compositions, ce qui a permis d’interpréter la formation de plusieurs mélanges qui ne sont pas à l’équilibre mais qui sont été observés expérimentalement. La structure et le diagramme de phases du complexe PEO-thiourée, qui est aussi un complexe très mal connu, ont été étudiés en détail. Un rapport molaire PEO :thiourée de 3:2 a été déduit pour le complexe, et une cellule monoclinique avec a = 0.915 nm, b = 1.888 nm, c = 0.825 nm et β = 92.35º a été déterminée. Comme pour le complexe PEO-urée de forme β, une structure en couches a été suggérée pour le complexe PEO-thiourée, dans laquelle les molécules de thiourée seraient disposées en rubans intercalés entre deux couches de PEO. Cette structure en couches pourrait expliquer la température de fusion beaucoup plus faible des complexes PEO-thiourée (110 ºC) et PEO-urée de forme β (89 ºC) en comparaison aux structures en canaux du complexe PEO-urée de forme α (143 ºC).

Expression des nétrines dans la rétine de souris adulte

Les nétrines sont une petite famille de protéines de guidage axonal qui peuvent attirer des axones ou en repousser d’autres lors du développement neuronal. Lors du développement de la rétine, les axones des cellules ganglionnaires de la rétine (CGR) sont attirés vers une source de nétrines au niveau du disque optique leur permettant de quitter la rétine et de former le nerf optique. Afin de pouvoir caractériser le rôle des nétrines dans le système visuel adulte, nous avons investigué l’expression des nétrines et leurs récepteurs dans la rétine de souris adulte. Alors qu’aucune expression de la nétrine-1 n’a été détectée dans la rétine adulte, l’expression de la nétrine-3 a été abondamment détectée au niveau des CGR et des cellules amacrines. Nous démontrons aussi que les récepteurs des nétrines sont exprimés dans la rétine adulte. Alors que DCC semble être confiné au niveau des axones des CGR, néogénine est retrouvé dans les dendrites des CGR et des cellules horizontales. Quant aux protéines de la famille des récepteurs homologues à UNC-5, UNC5B a été détecté dans les somas des CGR et UNC5C dans les cellules de Müller. La découverte que nétrine-3 et ses récepteurs sont abondamment exprimés dans plusieurs types cellulaires de la rétine adulte leur suggère un rôle dans le fonctionnement du système visuel mature.

Un formalisme pour la traçabilité des transformations

Dans le développement logiciel en industrie, les documents de spécification jouent un rôle important pour la communication entre les analystes et les développeurs. Cependant, avec le temps, les changements de personel et les échéances toujours plus courtes, ces documents sont souvent obsolètes ou incohérents avec l'état effectif du système, i.e., son code source. Pourtant, il est nécessaire que les composants du système logiciel soient conservés à jour et cohérents avec leurs documents de spécifications pour faciliter leur développement et maintenance et, ainsi, pour en réduire les coûts. Maintenir la cohérence entre spécification et code source nécessite de pouvoir représenter les changements sur les uns et les autres et de pouvoir appliquer ces changements de manière cohérente et automatique. Nous proposons une solution permettant de décrire une représentation d'un logiciel ainsi qu'un formalisme mathématique permettant de décrire et de manipuler l'évolution des composants de ces représentations. Le formalisme est basé sur les triplets de Hoare pour représenter les transformations et sur la théorie des groupes et des homomorphismes de groupes pour manipuler ces transformations et permettrent leur application sur les différentes représentations du système. Nous illustrons notre formalisme sur deux représentations d'un système logiciel : PADL, une représentation architecturale de haut niveau (semblable à UML), et JCT, un arbre de syntaxe abstrait basé sur Java. Nous définissons également des transformations représentant l'évolution de ces représentations et la transposition permettant de reporter les transformations d'une représentation sur l'autre. Enfin, nous avons développé et décrivons brièvement une implémentation de notre illustration, un plugiciel pour l'IDE Eclipse détectant les transformations effectuées sur le code par les développeurs et un générateur de code pour l'intégration de nouvelles représentations dans l'implémentation.

Rôle de l’apport prénatal en acides gras oméga-3 sur le développement à long terme des fonctions visuelles chez les enfants Inuits

La consommation de poisson et de mammifères marins représente une source importante d’acides gras oméga-3 connus pour leurs effets bénéfiques sur le développement des fonctions cérébrales et notamment, sur le développement du système visuel. Afin de tester l’hypothèse selon laquelle l’exposition prénatale aux acides gras oméga-3 a des effets bénéfiques à long terme, nous avons examiné les fonctions visuelles chez des enfants Inuits d’âge scolaire exposés à de grandes quantités d’oméga-3 durant la période de gestation. Des enfants Inuits (n = 136; moyenne d’âge = 11.3 ans) du nord du Québec (Nunavik) ont participé à cette étude. Un protocole de potentiels évoqués visuels (PEVs) utilisant des stimuli en couleur et en mouvement a été employé afin d’appréhender les réponses parvo- et magnocellulaires respectivement. Les concentrations d’acide docosahexaénoïque (ADH) ont été mesurées à la naissance à partir du sang de cordon ombilical et au moment du testing, reflétant ainsi les expositions pré- et post-natales. Les relations entre les niveaux sanguins d’ADH et les PEVs ont été examinées à l’aide d’analyses de régression multiples, en tenant compte des contaminants environnementaux et d’autres variables potentiellement confondantes. Aucune association significative n’a été trouvée en ce qui concerne les stimuli de mouvement. Cependant, après ajustement pour les covariables, les concentrations d’ADH à la naissance étaient associées à une latence plus courte des composantes N1 et P1 des PEVs couleur. Notre étude démontre, pour la première fois, des effets bénéfiques de l’exposition prénatale à l’ADH sur le système parvocellulaire à l’âge scolaire.

Impact de HOXB4 sur les cellules B

La greffe de cellules souches hématopoïétiques autologue est une thérapie de plus en plus utilisée. Cependant, les traitements de chimiothérapie ou de radiothérapie intensifs peuvent affecter les cellules souches et diminuer le nombre de ces cellules pouvant être mobilisées à des fins de transplantation. Il serait donc très utile de pouvoir expandre ces cellules souches afin de s’assurer qu’elles soient en quantité suffisante pour procéder à la greffe. Or, il a été démontré que la protéine HOXB4 a la capacité d’expandre les cellules souches hématopoïétiques humaines et murines. Lors d’une greffe autologue, la moelle osseuse est cependant colonisée par des cellules malignes. Notre objectif était donc de s’assurer que la protéine HOXB4 expand les cellules souches hématopoïétiques normales mais n’expand pas les cellules « souches » leucémiques. De plus, comme des expériences précédentes ont démontré que chez des souris transplantées avec des cellules souches surexprimant HOXB4, la reconstitution du système hématopoïétique pouvait favoriser les cellules myéloïdes aux dépends des cellules lymphoïdes, nous avons aussi voulu déterminer l’impact de HOXB4 sur la différenciation des cellules progénitrices lymphoïdes normales. Pour ce faire, nous avons exposé des cellules humaines et murines à la protéine HOXB4 afin de comparer la prolifération des cellules B malignes à celle des cellules B normales. De plus, nous avons évalué l’impact de HOXB4 sur les cellules B à leurs différents stades de différenciation. Nos résultats démontrent que HOXB4 ne favorise pas l’expansion des cellules leucémiques. De plus, nous avons observé que les cellules lymphoïdes surexprimant la protéine HOXB4 ont un ralentissement dans leur processus de différenciation. Aussi, la surexpression de HOXB4 entraîne une diminution de la fréquence et du nombre de progéniteurs lymphoïdes normaux. Ces résultats démontrent donc que la protéine HOXB4 ne produit pas d’expansion des cellules malignes. De plus, elle confère un désavantage prolifératif aux cellules lymphoïdes.

Timing verification in transaction modeling

Les systèmes Matériels/Logiciels deviennent indispensables dans tous les aspects de la vie quotidienne. La présence croissante de ces systèmes dans les différents produits et services incite à trouver des méthodes pour les développer efficacement. Mais une conception efficace de ces systèmes est limitée par plusieurs facteurs, certains d'entre eux sont: la complexité croissante des applications, une augmentation de la densité d'intégration, la nature hétérogène des produits et services, la diminution de temps d’accès au marché. Une modélisation transactionnelle (TLM) est considérée comme un paradigme prometteur permettant de gérer la complexité de conception et fournissant des moyens d’exploration et de validation d'alternatives de conception à des niveaux d’abstraction élevés. Cette recherche propose une méthodologie d’expression de temps dans TLM basée sur une analyse de contraintes temporelles. Nous proposons d'utiliser une combinaison de deux paradigmes de développement pour accélérer la conception: le TLM d'une part et une méthodologie d’expression de temps entre différentes transactions d’autre part. Cette synergie nous permet de combiner dans un seul environnement des méthodes de simulation performantes et des méthodes analytiques formelles. Nous avons proposé un nouvel algorithme de vérification temporelle basé sur la procédure de linéarisation des contraintes de type min/max et une technique d'optimisation afin d'améliorer l'efficacité de l'algorithme. Nous avons complété la description mathématique de tous les types de contraintes présentées dans la littérature. Nous avons développé des méthodes d'exploration et raffinement de système de communication qui nous a permis d'utiliser les algorithmes de vérification temporelle à différents niveaux TLM. Comme il existe plusieurs définitions du TLM, dans le cadre de notre recherche, nous avons défini une méthodologie de spécification et simulation pour des systèmes Matériel/Logiciel basée sur le paradigme de TLM. Dans cette méthodologie plusieurs concepts de modélisation peuvent être considérés séparément. Basée sur l'utilisation des technologies modernes de génie logiciel telles que XML, XSLT, XSD, la programmation orientée objet et plusieurs autres fournies par l’environnement .Net, la méthodologie proposée présente une approche qui rend possible une réutilisation des modèles intermédiaires afin de faire face à la contrainte de temps d’accès au marché. Elle fournit une approche générale dans la modélisation du système qui sépare les différents aspects de conception tels que des modèles de calculs utilisés pour décrire le système à des niveaux d’abstraction multiples. En conséquence, dans le modèle du système nous pouvons clairement identifier la fonctionnalité du système sans les détails reliés aux plateformes de développement et ceci mènera à améliorer la "portabilité" du modèle d'application.

Analyse de la fertilité des vaches laitières Holstein «Repeat Breeder»

L’importance de la problématique des vaches laitières non gestantes avec multiples inséminations (› 3) communément appelées « Repeat Breeder » (RB), au Québec, repose sur deux facteurs: son incidence et son impact économique. Actuellement, l’incidence du syndrome RB au Québec est de ± 25% (Rapport annuel, juin 2008, www.dsahr.ca). Les pertes monétaires associées à ce problème proviennent des frais vétérinaires et d’insémination, de la diminution de productivité ainsi que des pertes en lien avec la réforme involontaire. Afin d’avoir de meilleures connaissances sur ce syndrome, nous devons connaître les facteurs de risques généraux impliqués et ensuite explorer la condition individuelle de ces vaches problèmes. Dans la première partie de ce mémoire, une banque de données informatisées répertoriant 418 383 lactations fut analysée. L’objectif de ce projet de recherche était d’évaluer l’impact des problèmes reproducteurs post-partum et l’effet du nombre de lactations comme facteurs de risques de la vache Repeat Breeder. L’analyse a permis d’établir la dystocie comme étant la condition ayant le plus de conséquences sur la fertilité future. D’autres facteurs de risques à savoir le nombre de lactations influencent le pronostic reproducteur. La deuxième partie de ce mémoire consistait à explorer, à l’aide d’outils cliniques, la condition individuelle des vaches RB. Une étude cohorte fut menée sur des vaches Holstein en fin de période d’attente volontaire au jour 7 du cycle oestral. Les tests cliniques étudiés furent la vaginoscopie, l’examen transrectal, l’ultrasonographie du système reproducteur, la présence d’estérases leucocytaires, la bactériologie et la biochimie du liquide utérin, la cytologie endométriale et le profil de progestérone sérique. Les résultats de ces tests cliniques dévoilent que l’examen bactériologique du liquide utérin est révélateur du statut reproducteur futur.

La responsabilité de protéger et l’intervention humanitaire : de la reconceptualisation de la souveraineté des États à l’individualisme normatif

La recrudescence des conflits internes dans le contexte post-guerre froide a permis de propulser à l’avant-plan la préoccupation pour les individus. Alors que la paix et la sécurité internationales ont historiquement constitué les piliers du système institutionnel international, une porte s’ouvrait pour rendre effectif un régime de protection des droits de l’homme par-delà les frontières. Pour les humanistes, l’intervention humanitaire représentait un mal nécessaire pour pallier aux souffrances humaines souvent causées par des divergences ethniques et religieuses. Pourtant, cette pratique est encore souvent perçue comme une forme de néo-colonialisme et entre en contradiction avec les plus hautes normes régissant les relations internationales, soit les principes de souveraineté des États et de non-intervention. La problématique du présent mémoire s’inscrit précisément dans cette polémique entre la préséance des droits de l’État et la prédilection pour les droits humains universels, deux fins antinomiques que la Commission internationales pour l’intervention et la souveraineté des États (CIISE) a tenté de concilier en élaborant son concept de responsabilité de protéger. Notre mémoire s’inscrit dans le champ de la science politique en études internationales mais s’articule surtout autour des notions et enjeux propres à la philosophie politique, plus précisément à l’éthique des relations internationales. Le travail se veut une réflexion critique et théorique des conclusions du rapport La responsabilité de protéger, particulièrement en ce qui concerne le critère de la juste cause et, dans une moindre mesure, celui d’autorité appropriée. Notre lecture des conditions de la CIISE à la justification morale du déclenchement d’une intervention humanitaire – critères issues de la doctrine de la guerre juste relativement au jus ad bellum – révèle une position mitoyenne entre une conception progressiste cosmopolitique et une vision conservatrice d’un ordre international composé d’États souverains. D’une part, la commission se dissocie du droit international en faisant valoir un devoir éthique d’outrepasser les frontières dans le but de mettre un terme aux violations massives des droits de l’homme et, d’autre part, elle craint les ingérences à outrance, comme en font foi l’établissement d’un seuil de la juste cause relativement élevé et la désignation d’une autorité multilatérale à titre de légitimateur de l’intervention. Ce travail dialectique vise premièrement à présenter et situer les recommandations de la CIISE dans la tradition de la guerre juste. Ensuite, il s’agit de relever les prémisses philosophiques tacites dans le rapport de la CIISE qui sous-tendent le choix de préserver une règle de non-intervention ferme de laquelle la dérogation n’est exigée qu’en des circonstances exceptionnelles. Nous identifions trois arguments allant en ce sens : la reconnaissance du relativisme moral et culturel; la nécessité de respecter l’autonomie et l’indépendance des communautés politiques en raison d’une conception communautarienne de la légitimité de l’État, des réquisits de la tolérance et des avantages d’une responsabilité assignée; enfin, l’appréhension d’un bouleversement de l’ordre international sur la base de postulats du réalisme classique. Pour finir, nous nuançons chacune de ces thèses en souscrivant à un mode de raisonnement cosmopolitique et conséquentialiste. Notre adhésion au discours individualiste normatif nous amène à inclure dans la juste cause de la CIISE les violations systématiques des droits individuels fondamentaux et à cautionner l’intervention conduite par une coalition ou un État individuel, pourvu qu’elle produise les effets bénéfiques désirés en termes humanitaires.

Étude des aimants quantiques et supraconducteurs non conventionnels

Une première partie de ce mémoire portera sur l’analyse des états fondamentaux ma- gnétiques de deux composés isolants et magnétiquement frustrés SrDy2O4 et SrHo2O4. Une étude de la chaleur spécifique à basse température sous l’effet de champs magné- tiques de ces échantillons a été menée afin de détecter la présence de transitions de phases. L’utilisation d’un composé isotructurel non magnétique, le SrLu2O4, a permis l’isolement de la composante magnétique à la chaleur spécifique. Les comportements observés sont non conformes avec les transitions magnétiques conventionnelles. De plus, le calcul de l’entropie magnétique ne montre qu’un recouvrement partiel de l’entropie associée à un système d’ions magnétiques. En second lieu, une analyse des oscillations quantiques de Haas-van Alphen a été effectuée dans le LuCoIn5, composé apparenté au supraconducteur à fermions lourds CeCoIn5. Les résultats obtenus montrent une topologie de la surface de Fermi très différente comparativement aux CeCoIn5 et LaCoIn5, ayant un comportement beaucoup plus tridimensionnel sans les cylindres caractéristiques présents chez les autres membres de cette famille. Finalement, le montage d’un système de détection PIXE a permis l’analyse nucléaire d’échantillons afin de déterminer la concentration de chacun des éléments les constituant. L’analyse a été effectuée sur une série d’échantillons YbxCe1−xCoIn5 dont le changement de concentration a des effets importants sur les propriétés du système.

La privatisation des soins de santé : clarifications conceptuelles et observations sur le cas québécois

Au Québec, depuis les 25 dernières années, l’enjeu de la privatisation dans le secteur de la santé revient constamment dans le débat public. Déjà dans les années 1980, lorsque le secteur de la santé a commencé à subir d’importantes pressions, faire participer davantage le privé était présenté comme une voie envisageable. Plus récemment, avec l’adoption de la loi 33 par le gouvernement libéral de Jean Charest, plusieurs groupes ont dénoncé la privatisation en santé. Ce qui frappe lorsque l’on s’intéresse à la privatisation en santé, c’est que plusieurs textes abordant cette question ne définissent pas clairement le concept. En se penchant plus particulièrement sur le cas du Québec, cette recherche vise dans un premier temps à rappeler comment a émergé et progressé l’idée de privatisation en santé. Cette idée est apparue dans les années 1980 alors que les programmes publics de soins de santé ont commencé à exercer d’importantes pressions sur les finances publiques des États ébranlés par la crise économique et qu’au même moment, l’idéologie néolibérale, qui remet en question le rôle de l’État dans la couverture sociale, éclipsait tranquillement le keynésianisme. Une nouvelle manière de gérer les programmes publics de soins de santé s’imposait comme étant la voie à adopter. Le nouveau management public et les techniques qu’il propose, dont la privatisation, sont apparus comme étant une solution à considérer. Ensuite, par le biais d’une revue de la littérature, cette recherche fait une analyse du concept de privatisation, tant sur le plan de la protection sociale en général que sur celui de la santé. Ce faisant, elle contribue à combler le flou conceptuel entourant la privatisation et à la définir de manière systématique. Ainsi, la privatisation dans le secteur de la santé transfère des responsabilités du public vers le privé dans certaines activités soit sur le plan: 1) de la gestion et de l’administration, 2) du financement, 3) de la provision et 4) de la propriété. De plus, la privatisation est un processus de changement et peut être initiée de manière active ou passive. La dernière partie de cette recherche se concentre sur le cas québécois et montre comment la privatisation a progressé dans le domaine de la santé au Québec et comment certains éléments du contexte institutionnel canadien ont influencé le processus de privatisation en santé dans le contexte québécois. Suite à une diminution dans le financement en matière de santé de la part du gouvernement fédéral à partir des années 1980, le gouvernement québécois a privatisé activement des services de santé complémentaires en les désassurant, mais a aussi mis en place la politique du virage ambulatoire qui a entraîné une privatisation passive du système de santé. Par cette politique, une nouvelle tendance dans la provision des soins, consistant à retourner plus rapidement les patients dans leur milieu de vie, s’est dessinée. La Loi canadienne sur la santé qui a déjà freiné la privatisation des soins ne représente pas un obstacle suffisant pour arrêter ce type de privatisation. Finalement, avec l’adoption de la loi 33, suite à l’affaire Chaoulli, le gouvernement du Québec a activement fait une plus grande place au privé dans trois activités du programme public de soins de santé soit dans : l’administration et la gestion, la provision et le financement.

Manipulation of the ubiquitin-proteasome system by HIV-1 : role of the accessory protein Vpr

Le virus de l’immunodéficience humaine de type 1 (VIH-1), l’agent étiologique du SIDA, est un rétrovirus complexe arborant plusieurs protéines accessoires : Nef, Vif, Vpr, et Vpu. Celles-ci sont impliquées dans la modulation de la réplication virale, dans l’évasion immunitaire et dans la progression de la pathogenèse du SIDA. Dans ce contexte, il a été démontré que la protéine virale R (Vpr) induit un arrêt de cycle cellulaire en phase G2. Le mécanisme par lequel Vpr exerce cette fonction est l’activation, ATR (Ataxia telangiectasia and Rad3 related)-dépendante, du point de contrôle de dommage à l’ADN, mais les facteurs et mécanismes moléculaires directement impliqués dans cette activité demeurent inconnus. Afin d’identifier de nouveaux facteurs cellulaires interagissant avec Vpr, nous avons utilisé une purification d’affinité en tandem (TAP) pour isoler des complexes protéiques natifs contenant Vpr. Nous avons découvert que Vpr s’associait avec CRL4A(VprBP), un complexe cellulaire d’E3 ubiquitine ligase, comprenant les protéines Cullin 4A, DDB1 (DNA damage-binding protein 1) et VprBP (Vpr-binding protein). Nos études ont mis en évidence que le recrutement de la E3 ligase par Vpr était nécessaire mais non suffisant pour l’induction de l’arrêt de cycle cellulaire en G2, suggérant ainsi que des événements additionnels seraient impliqués dans ce processus. À cet égard, nous apportons des preuves directes que Vpr détourne les fonctions de CRL4A(VprBP) pour induire la polyubiquitination de type K48 et la dégradation protéosomale de protéines cellulaires encore inconnues. Ces événements d’ubiquitination induits par Vpr ont été démontrés comme étant nécessaire à l’activation d’ATR. Finalement, nous montrons que Vpr forme des foyers ancrés à la chromatine co-localisant avec VprBP ainsi qu’avec des facteurs impliqués dans la réparation de l’ADN. La formation de ces foyers représente un événement essentiel et précoce dans l’induction de l’arrêt de cycle cellulaire en G2. Enfin, nous démontrons que Vpr est capable de recruter CRL4A(VprBP) au niveau de la chromatine et nous apportons des preuves indiquant que le substrat inconnu ciblé par Vpr est une protéine associée à la chromatine. Globalement, nos résultats révèlent certains des ménanismes par lesquels Vpr induit des perturbations du cycle cellulaire. En outre, cette étude contribue à notre compréhension de la modulation du système ubiquitine-protéasome par le VIH-1 et son implication fonctionnelle dans la manipulation de l’environnement cellulaire de l’hôte.

Le diabète maternel influence la morphogenèse rénale et la programmation périnatale

Le diabète maternel est un facteur de risque majeur pour le développement de malformations congénitales. Dans le syndrome de l’embryopathie diabétique, l’exposition prolongée du fœtus à de hautes concentrations ambientes de glucose induit des dommages qui peuvent affecter plusieurs organes, dont les reins. Les malformations rénales sont la cause de près de 40 pourcent des cas d’insuffisance rénale infantile. L’hyperglycémie constitue un environnement utérin adverse qui nuit à la néphrogenèse et peut causer l’agenèse, la dysplasie (aplasie) ou l’hypoplasie rénale. Les mécanismes moléculaires par lesquels les hautes concentrations ambientes de glucose mènent à la dysmorphogenèse et aux malformations demeurent toutefois mal définis. Le diabète maternel prédispose aussi la progéniture au développement d’autres problèmes à l’âge adulte, tels l’hypertension, l’obésité et le diabète de type 2. Ce phénomène appelé ‘programmation périnatale’ a suscité l’intérêt au cours des dernières décennies, mais les mécanismes responsables demeurent mal compris. Mes études doctorales visaient à élucider les mécanismes moléculaires par lesquels le diabète maternel ou un environnement in utero hyperglycémique affecte la néphrogenèse et programme par la suite la progéniture a développer de l’hypertension par des observations in vitro, ex vivo et in vivo. Nous avons utilisé les cellules MK4, des cellules embryonnaires du mésenchyme métanéphrique de souris, pour nos études in vitro et deux lignées de souris transgéniques (Tg) pour nos études ex vivo et in vivo, soient les souris HoxB7-GFP-Tg et Nephrin-CFP-Tg. Les souris HoxB7-GFP-Tg expriment la protéine fluorescente verte (GFP) dans le bourgeon urétérique (UB), sous le contrôle du promoteur HoxB7. Les souris Nephrin-CFP expriment la protéine fluorescente cyan (CFP) dans les glomérules, sous le contrôle du promoteur nephrin spécifique aux podocytes. Nos études in vitro visaient à déterminer si les hautes concentrations de glucose modulent l’expression du gène Pax2 dans les cellules MK4. Les cellules MK4 ont été traitées pendant 24h avec du milieu contenant soit 5mM D-glucose et 20mM D-mannitol ou 25mM D-glucose et avec ou sans antioxydants ou inhibiteurs de p38 MAPK, p44/42 MAPK, PKC et NF-kB. Nos résultats ont démontré que le D-glucose élevé (25mM) augmente la génération des espèces réactives de l’oxygène (ROS) dans les cellules MK4 et induit spécifiquement l’expression du gène Pax2. Des analogues du glucose tels le D-mannitol, L-glucose ou le 2-Deoxy-D-glucose n’induisent pas cette augmentation dans les cellules MK4. La stimulation de l’expression du gène Pax2 par le D-glucose dans les cellules MK4 peut être bloquée par des inhibiteurs des ROS et de NF-kB, mais pas par des inhibiteurs de p38 MAPK, p44/42 MAPK ou PKC. Ces résultats indiquent que la stimulation de l’expression du gène Pax2 par les concentrations élevées de glucose est due, au moins en partie, à la génération des ROS et l’activation de la voie de signalisation NF-kB, et non pas via les voies PKC, p38 MAPK et p44/42 MAPK. Nos études ex vivo s’intéressaient aux effets d’un milieu hyperglycémique sur la morphogenèse de la ramification du bourgeon urétérique (UB). Des explants de reins embryonnaires (E12 à E18) ont été prélevés par micro-dissection de femelles HoxB7-GFP gestantes. Les explants ont ensuite été cultivés dans un milieu contenant soit 5mM D-glucose et 20mM D-mannitol ou 25mM D-glucose et avec ou sans antioxydants, catalase ou inhibiteur de PI3K/AKT pour diverses durées. Nos résultats ont démontré que le D-glucose stimule la ramification du UB de manière spécifique, et ce via l’expression du gène Pax2. Cette augmentation de la ramification et de l’expression du gène Pax2 peut être bloquée par des inhibiteurs des ROS et de PI3K/AKT. Ces études ont démontré que les hautes concentrations de glucose altèrent la morphogenèse de la ramification du UB via l’expression de Pax2. L’effet stimulant du glucose semble s’effectuer via la génération des ROS et l’activation de la voie de signalisation Akt. Nos études in vivo visaient à déterminer le rôle fondamental du diabète maternel sur les défauts de morphogenèse rénale chez la progéniture. Dans notre modèle animal, le diabète maternel est induit par le streptozotocin (STZ) chez des femelles HoxB7-GFP gestantes (E13). Les souriceaux ont été étudiés à différents âges (naissants et âgés de une, deux ou trois semaines). Nous avons examiné leurs morphologie rénale, nombre de néphrons, expression génique et les événements apoptotiques lors de cette étude à court terme. La progéniture des mères diabétiques avait un plus faible poids, taille et poids des reins, et possédait des glomérules plus petits et moins de néphrons par rapport à la progéniture des mères contrôles. La dysmorphogenèse rénale observée est peut-être causée par l’augmentation de l’apoptose des cellules dans la région du glomérule. Nos résultats ont montré que les souriceaux nés de mères diabétiques possèdent plus de podocytes apoptotiques et plus de marquage contre la caspase-3 active dans leurs tubules rénaux que la progéniture des mères contrôles. Les souriceaux des mères diabétiques montrent une augmentation de l’expression des composants du système rénine angiotensine (RAS) intrarénal comme l’angiotensinogène et la rénine, ainsi qu’une augmentation des isoformes p50 et p65 de NF-kB. Ces résultats indiquent que le diabète maternel active le RAS intrarénal et induit l’apoptose des glomérules, menant à une altération de la morphogenèse rénale de la progéniture. En conclusion, nos études ont permis de démontrer que le glucose élevé ou l’environnement in utero diabétique altère la morphogenèse du UB, qui résulte en un retard dans la néphrogenèse et produit des reins plus petits. Cet effet est dû, au moins en partie, à la génération des ROS, à l’activation du RAS intrarénal et à la voie NF-kB. Nos études futures se concentreront sur les mécanismes par lesquels le diabète maternel induit la programmation périnatale de l’hypertension chez la progéniture adulte. Cette étude à long terme porte sur trois types de progénitures : adultes nés de mères contrôles, diabétiques ou diabétiques traitées avec insuline pendant la gestation. Nous observerons la pression systolique, la morphologie rénale et l’expression de divers gènes et protéines. Nous voulons de plus déterminer si la présence d’un système antioxydant (catalase) peut protéger la progéniture des effets néfastes des ROS causés par l’environnement in utero hyperglycémique. Les souris Catalase-Tg expriment la catalase spécifiquement dans les tubules proximaux et nous permettrons d’explorer notre hypothèse sur le rôle des ROS dans notre modèle expérimental de diabète maternel.

Rôle des kinines dans la physiopathologie des effets secondaires causés par les héparines contaminées d’origine chinoise : approche expérimentale

En janvier 2008, une éclosion de réactions anaphylactoïdes (RA) potentiellement mortelles associées à l’injection intraveineuse d’héparine manufacturées en Chine et contaminée par le chondroïtine sulfate hypersulfaté (CSHS) a forcé le rappel de ces dernières par la U.S. Food and Drug Administration. Ces RA ont rapidement été attribuées à la libération de la bradykinine (BK) suite à l’activation du système de contact par le CSHS. Cependant, aucune évidence expérimentale définitive n’est à ce jour venue appuyer directement cette hypothèse. En se basant sur le nombre de morts déclaré et associé à la contamination (>150 morts au niveau mondial) ainsi qu’aux données épidémiologiques, qui stipulent que 25% des patients ayant développés une RA aux États-Unis étaient essentiellement des insuffisant rénaux en dialyse traités au moyen d’un inhibiteur de l’enzyme de conversion de l’angiotensine (iECA), nous avons émis l’hypothèse suivante : les RA causées par l’injection intraveineuse d’héparine contaminée au CSHS sont de nature multifactorielle et complexe. Le but de notre travail est donc, dans un premier temps, d’évaluer le pouvoir kininoformateur du CSHS en présence d’un iECA et de le comparer à celui du sulfate de dextran, un activateur de référence du système de contact. Comme les RA associées à l’injection intraveineuse d’héparine contaminée par le CSHS se produisent généralement dans les premières minutes des séances de dialyse, nous allons étudier l’effet de la dilution du plasma sur la quantité de BK libérée en présence ou en absence d’un iECA. Nous allons également mesurer les profils cinétiques de la libération de la BK sur un plasma stimulé par différents lots d’héparine contaminée, et associée à des RA, et nous comparerons cette cinétique avec celles d’une héparine de référence complémentée ou non avec différentes concentrations de CSHS synthétique. Enfin, nous allons caractériser le profil de libération de la BK et de son métabolite actif, la des-Arg9-BK, dans le plasma de patients dialysé ayant présenté une RA associée à une membrane de dialyse chargée négativement. L’application de méthodes expérimentales développées dans notre laboratoire nous a permis de montrer, pour la première fois, que l’héparine contaminée au CSHS a la capacité de libérer la BK à des concentrations susceptibles d’expliquer le rôle de ce peptide inflammatoire dans la physiopathologie des RA causées par l’injection intraveineuse d’héparine d’origine chinoise contaminée au CSHS.

L’expérience de vieillir au quotidien de femmes âgées montréalaises vivant seules à domicile dans un contexte de précarité économique

À ce jour, peu d’intérêt a été porté à l’exploration des expériences et réalités spécifiques au sous-groupe et sous-culture des femmes âgées vivant seules dans la pauvreté. Dans ce contexte, le but de cette étude était d’explorer et d’analyser l’expérience de vieillir au quotidien de femmes âgées montréalaises vivant seules à domicile dans un contexte de précarité économique. La théorie de l’universalité et de la diversité du soin de Madeleine Leininger a été l'assise théorique de cette étude et une approche qualitative avec devis de type mini-ethnographie a été retenue pour répondre au but de l’étude. Sept femmes âgées de 65 ans et plus, vivant seules à domicile dans un contexte de précarité économique, ont été recrutées pour participer à l’étude. Une approche «boule de neige» a été sélectionnée pour effectuer le recrutement des participantes qui s’est réalisé avec l’aide de deux ressources communautaires de Montréal. La collecte de données a été effectuée auprès de ces femmes par l’entremise d’entrevues individuelles semi-dirigées, d’un court questionnaire sociodémographique ainsi que par la tenue d'un journal de terrain. L’analyse qualitative de contenu s’est basée sur les quatre étapes du guide d'analyse des données de Leininger, soit : l'analyse des données brutes, le regroupement de celles-ci en patterns récurrents, l’émergence des sous-thèmes et thèmes ainsi que la formulation des résultats de recherche sous forme d’énoncés théoriques ou de recommandations. Les résultats de cette étude renseignent sur l’expérience de vieillir au quotidien de ces femmes par rapport à six facteurs culturels de leur structure sociale soit l’environnement, les valeurs culturelles, le mode de vie, les relations humaines, le facteur économique et l’ethnohistoire de même que par rapport à leur expérience de santé/maladie et vieillissement et à leur relation avec le système de soins. Les résultats en lien avec les facteurs culturels permettent de conclure que cette expérience de vieillir s’ancre principalement dans l’environnement intime du domicile de ces femmes, se concrétise en des sentiments de liberté, d’indépendance et de contrôle, s’enrichit dans le don de soi, se délimite à l’intérieur d’un réseau social appauvri et s’épanouit dans une vision positive de la vie et le refus d’un statut de pauvreté et de dépendance. Quant aux résultats relatifs aux dimensions de l’expérience humaine et du système de soins, ils révèlent que l’expérience de vieillir de ces femmes s’inscrit dans une volonté de préserver la fonctionnalité de leur corps, de conserver leur autonomie et de se positionner comme l’experte sur leur santé dans leur rapport avec les soins professionnels reçus. Les résultats révèlent aussi des indices de leur autodétermination, de leur résilience, de leur pouvoir d’agir et du sens qu’elles donnent à la vie dans les différents aspects de leur expérience de vieillir. Finalement, les résultats de la présente étude soutiennent des recommandations cliniques promouvant des approches de soins infirmiers culturellement cohérentes et empreintes d’empowerment auprès de ces femmes.