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.

Le droit de résistance à l'oppression en droit international

Tantôt nié dans son principe même, tantôt proclamé comme un droit sacré et inaliénable de l'homme, le droit de résistance à l'oppression a, depuis sa proclamation pour la première fois dans la Déclaration des droits de l'homme et du citoyen du 26 août 1789, continuellement suscité des débats quant à sa nature et la légitimité de son exercice. De façon générale, ce mémoire vise à exposer les origines du droit de résistance à l'oppression, et sa consécration normative au niveau international. Il s'agit de trouver des fondements justifiant et légalisant le recours à la résistance dans toutes ses formes, lorsque confronté à une oppression d'origine étatique. Ces fondements pourront être retracés chez les philosophes du Moyen-âge et de la renaissance qui ont consacré un droit naturel de résistance à l'homme, supérieur au droit positif. En faisant appel aux notions de justice et d'humanité, cette notion de droit naturel a contribué à la légitimation du concept de résistance dans la relation du peuple avec son souverain. Nous retrouvons d'ailleurs cette idée dans le cadre du droit international contemporain à travers la protection accordée à certains droits tels les droit des minorités et le droit des peuples à l'autodétermination. Malgré cela, on constate toutefois l'absence d'une consécration expresse d' «un droit de résistance à l'oppression» au niveau international. Le droit de résistance à l'oppression demeure un droit difficile à positiver dans le cadre d'un droit international qui se présente avant tout comme un droit de consolidation de la souveraineté des États, et dans un système où la mise en œuvre des droits repose sur la bonne volonté de ces derniers.

L'État de Droit, facteur déterminant à l'entrée des investissements étrangers directs : le cas de la Serbie

La réduction importante de l'aide internationale au développement et le processus de mondialisation ont fait en sorte que les investissements étrangers directs (IBD) sont considérés de nos jours comme une source importante de capital et de croissance économique dans un pays d'accueil comme la Serbie. Les IBD sont réputés stimuler la concurrence, l'innovation, l'épargne, la création d'emplois et le développement des ressources humaines dans les pays les plus pauvres et ceux en transition. Les institutions internationales encouragent la promotion des IBD dans tels pays et incitent leurs gouvernements à œuvrer à leur promotion active en tant que localité attrayante pour les obtenir. Il existe aussi un consensus selon lequel les investisseurs étrangers sont attirés par les pays dont le système juridique est stable et prévisible et qui réglemente l'économie selon le modèle d'une économie de marché. Si les réformes juridiques sont incontestablement importantes pour attirer les IBD, notre étude cherche à vérifier quel est le véritable impact du droit interne et des institutions étatiques du pays d'accueil sur l'établissement des entreprises étrangères et sur l'exercice de leur activité économique dans ce pays. Il s'agit de voir de quelle manière la présence des investisseurs étrangers contribue à la consolidation de l'État de droit dans le pays d'accueil. Pour analyser ces questions de plus près, nous avons choisi l'étude de cas de la Serbie, dont le système juridique est en chantier depuis le changement de régime en 2000. Notre hypothèse de travail a supposé que l'instauration de l'État de droit était importante pour l'implantation des investisseurs étrangers dans le pays, car les institutions étatiques et juridiques pourraient offrir des garanties pour le bon déroulement de l'activité économique étrangère. Après avoir étudié le cas de la Serbie, il y a lieu de conclure que la réforme du cadre juridique interne joue un rôle important, mais toutefois non déterminant dans le choix de la localisation d'un investissement étranger. Notre étude montre que la motivation en matière d'investissement ne tient généralement pas compte de la normativité juridique comme facteur à considérer, c'est-à-dire parmi les facteurs définis par la théorie du OLI Paradigm de John Dunning. Toutefois, ce facteur joue un rôle politique par le fait qu'il est véhiculé dans le droit international et dans le discours des organisations internationales. Les investisseurs demeurent également attentifs à la législation pouvant influencer leur propre activité économique. Nos entretiens ont révélé l'existence d'une véritable volonté de la part des investisseurs de favoriser les réformes juridiques du pays d'accueil. Leur perception du cadre juridique favorable au plan économique peut éventuellement jouer un certain rôle dans la transformation de l'État de droit et des institutions juridiques du pays d'accueil. Mais les entrepreneurs n'attendent pas un cadre juridique reformé dans le pays d'accueil pour décider d'y investir. En résumé, l'amélioration des institutions de l'État de droit concerne au premier chef des services sociaux de qualité et des meilleures conditions économiques pour ses citoyens. La promotion des IBD dans le pays ne constitue pas un objectif en soi mais s'inscrit dans la politique d'un État de droit en tant qu'outil indispensable de réformes et constitue un facteur favorable au développement économique.

Dynamique du jeu des élites : rôle de l'élite syrienne dans l'arrivée du parti Baas au pouvoir (1941-1963)

Le 8 mars 1963, un coup d’État en Syrie permet à une secte minoritaire marginalisée au sein du parti Baas, à idéologie radicale et révolutionnaire, de s’emparer des rênes de l’État avec l’appui des militaires et de conserver le pouvoir depuis. Ainsi la Syrie, premier pays arabe à connaître le système pluraliste parlementaire dès 1919, sera soumise à un régime militaire et autoritaire pendant presque un demi siècle. Ce mémoire vise à expliquer comment cette faction, groupusculaire à l’origine, a su profiter des circonstances et des fenêtres d’opportunité politique ouvertes par les comportements de l’élite traditionnelle syrienne, au pouvoir depuis le Mandat français, s’étant trouvée affaiblie, isolée et illégitime aux yeux de la population. Cette fragmentation exprimée par des agitations internes, avait provoqué des décisions contradictoires, des conflits d’intérêts ainsi que des divisions de nature identitaire, générationnelle, sociale, économique, militaire et politique. La Syrie a de ce fait, depuis son indépendance en 1941, été victime du jeu de son élite, un jeu dont ce mémoire est consacré à étudier la dynamique. Cette étude, qui définit le concept de l’élite théoriquement, s’appuie sur l’état des liens entre élites, l’envergure et les modes de leur circulation, pour confirmer qu’une élite fragmentée s’affaibli, perd sa légitimité et mène la société à l’instabilité. Ceci soutien l’hypothèse centrale de l’étude que la fragmentation de l’élite syrienne traditionnelle a ouvert des fenêtres d’opportunité politique devant le parti Baas, minoritaire et radical, qui a su les saisir pour conquérir le pouvoir.

Immuno-oncology of human prostate cancer : phenotypical characterization and study of the tumor-derived, androgen-regulated immunosuppressive microenvironment

Le cancer de la prostate est le cancer le plus fréquemment diagnostiqué chez les hommes canadiens et la troisième cause de décès relié au cancer. Lorsque diagnostiqué à un stade précoce de la maladie, le cancer de la prostate est traité de manière curative par chirurgie et radiothérapie. Par contre, les thérapies actuelles ne peuvent éradiquer la maladie lorsqu’elle progresse à des stades avancés. Ces thérapies, comme la chimiothérapie et l’hormonothérapie, demeurent donc palliatives. Il est primordial d’optimiser de nouvelles thérapies visant l’élimination des cellules cancéreuses chez les patients atteints des stades avancés de la maladie. Une de ces nouvelles options thérapeutiques est l’immunothérapie. L’immunothérapie du cancer a fait des progrès considérables durant les dernières années. Cependant, les avancements encourageants obtenus lors d’essais précliniques ne se sont pas encore traduits en des résultats cliniques significatifs. En ce qui concerne le cancer de la prostate, les résultats négligeables suivants des interventions immunothérapeutiques peuvent être causés par le fait que la plupart des études sur le microenvironnement immunologique furent effectuées chez des modèles animaux. De plus la majorité des études sur l’immunologie tumorale humaine furent effectuées chez des patients atteints d’autres cancers, tels que le mélanome, et non chez les patients atteints du cancer de la prostate. Donc, le but central de cette thèse de doctorat est d’étudier le microenvironnement immunologique chez les patients atteints du cancer de la prostate afin de mieux définir les impacts de la tumeur sur le développement de la réponse immunitaire antitumorale. Pour réaliser ce projet, nous avons établi deux principaux objectifs de travail : (i) la caractérisation précise des populations des cellules immunitaires infiltrant la tumeur primaire et les ganglions métastatiques chez les patients atteints du cancer de la prostate; (ii) l’identification et l’étude des mécanismes immunosuppressifs exprimés par les cellules cancéreuses de la prostate. Les résultats présentés dans cette thèse démontrent que la progression du cancer de la prostate est associée au développement d’un microenvironnement immunosuppressif qui, en partie, est régulé par la présence des androgènes. L’étude initiale avait comme but la caractérisation du microenvironnement immunologique des ganglions drainant la tumeur chez des patients du cancer de la prostate. Les résultats présentés dans le chapitre III nous a permis de démontrer que les ganglions métastatiques comportent des signes cellulaires et histopathologiques associés à une faible réactivité immunologique. Cette immunosuppression ganglionnaire semble dépendre de la présence des cellules métastatiques puisque des différences immunologiques notables existent entre les ganglions non-métastatiques et métastatiques chez un même patient. La progression du cancer de la prostate semble donc associée au développement d’une immunosuppression affectant les ganglions drainant la tumeur primaire. Par la suite, nous nous sommes intéressés à l’impact de la thérapie par déplétion des androgènes (TDA) sur le microenvironnement immunologique de la tumeur primaire. La TDA est associée à une augmentation marquée de l’inflammation prostatique. De plus, les protocoles d’immunothérapies pour le cancer de la prostate actuellement évalués en phase clinique sont dirigés aux patients hormonoréfractaires ayant subi et échoué la thérapie. Cependant, peu d’information existe sur la nature de l’infiltrat de cellules immunes chez les patients castrés. Il est donc essentiel de connaître la nature de cet infiltrat afin de savoir si celui-ci peut répondre de manière favorable à une intervention immunothérapeutique. Dans le chapitre IV, je présente les résultats sur l’abondance des cellules immunes infiltrant la tumeur primaire suivant la TDA. Chez les patients castrés, les densités de lymphocytes T CD3+ et CD8+ ainsi que des macrophages CD68+ sont plus importantes que chez les patients contrôles. Nous avons également observé une corrélation entre la densité de cellules NK et une diminution du risque de progression de la maladie (rechute biochimique). Inversement, une forte infiltration de macrophages est associée à un plus haut risque de progression. Conjointement, durant cette étude, nous avons développé une nouvelle approche informatisée permettant la standardisation de la quantification de l’infiltrat de cellules immunes dans les échantillons pathologiques. Cette approche facilitera la comparaison d’études indépendantes sur la densité de l’infiltrat immun. Ces résultats nous ont donc permis de confirmer que les effets pro-inflammatoires de la TDA chez les patients du cancer de la prostate ciblaient spécifiquement les lymphocytes T et les macrophages. L’hypothèse intéressante découlant de cette étude est que les androgènes pourraient réguler l’expression de mécanismes immunosuppressifs dans la tumeur primaire. Dans le chapitre V, nous avons donc étudié l’expression de mécanismes immunosuppressifs par les cellules cancéreuses du cancer de la prostate ainsi que leur régulation par les androgènes. Notre analyse démontre que les androgènes augmentent l’expression de molécules à propriétés immunosuppressives telles que l’arginase I et l’arginase II. Cette surexpression dépend de l’activité du récepteur aux androgènes. Chez les patients castrés, l’expression de l’arginase II était diminuée suggérant une régulation androgénique in vivo. Nous avons observé que l’arginase I et l’arginase II participent à la prolifération des cellules du cancer de la prostate ainsi qu’à leur potentiel immunosuppressif. Finalement, nous avons découvert que l’expression de l’interleukin-8 était aussi régulée par les androgènes. De plus, l’interleukin-8, indépendamment des androgènes, augmente l’expression de l’arginase II. Ces résultats confirment que les androgènes participent au développement d’une microenvironnement immunosuppressif dans le cancer de la prostate en régulant l’expression de l’arginase I, l’arginase II et l’interleukin-8. En conclusion, les résultats présentés dans cette thèse témoignent du caractère unique du microenvironnement immunologique chez les patients atteints du cancer de la prostate. Nos travaux ont également permis d’établir de nouvelles techniques basées sur des logiciels d’analyse d’image afin de mieux comprendre le dialogue entre la tumeur et le système immunitaire chez les patients. Approfondir les connaissances sur les mécanismes de régulation du microenvironnement immunologique chez les patients atteint du cancer de la prostate permettra d’optimiser des immunothérapies mieux adaptées à éradiquer cette maladie.

Autocrine loop in the purinergic control of airway surface liquid volume : monitoring with a novel side-view imaging technique

La Fibrose Kystique (FK) est une maladie dégénérative qui entraine une dégénération des poumons dû au problème de clairance mucociliaire (CMC). Le volume de surface liquide (SL) couvrant les cellules pulmonaires est essentiel à la clairance de mucus et au combat contre les infections. Les nucléotides extracellulaires jouent un rôle important dans la CMC des voies aériennes, en modifiant le volume de la SL pulmonaire. Cependant, les mécanismes du relâchement de l’ATP et de leurs déplacements à travers la SL, restent inconnus. Des études ultérieures démontrent que l’exocytose d’ATP mécano-sensible et Ca2+-dépendant, dans les cellules A549, est amplifié par les actions synergétiques autocrine/paracrine des cellules avoisinantes. Nous avions comme but de confirmer la présence de la boucle purinergique dans plusieurs modèles de cellules épithéliales et de développer un système nous permettant d’observer directement la SL. Nous avons démontrés que la boucle purinergique est fonctionnelle dans les modèles de cellules épithéliales examinés, mis appart les cellules Calu-3. L’utilisation de modulateur de la signalisation purinergique nous a permis d’observer que le relâchement d’ATP ainsi que l’augmentation du [Ca2+]i suivant un stress hypotonique, sont modulés par le biais de cette boucle purinergique et des récepteurs P2Y. De plus, nous avons développé un système de microscopie qui permet d’observer les changements de volume de SL en temps réel. Notre système permet de contrôler la température et l’humidité de l’environnement où se trouvent les cellules, reproduisant l’environnement pulmonaire humain. Nous avons démontré que notre système peut identifier même les petits changements de volume de SL.

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.

Étude des propriétés de transport dans les hydrogels de curdlan

Les hydrogels de polysaccharide sont des biomatériaux utilisés comme matrices à libération contrôlée de médicaments et comme structures modèles pour l’étude de nombreux systèmes biologiques dont les biofilms bactériens et les mucus. Dans tous les cas, le transport de médicaments ou de nutriments à l’intérieur d’une matrice d’hydrogel joue un rôle de premier plan. Ainsi, l’étude des propriétés de transport dans les hydrogels s’avère un enjeu très important au niveau de plusieurs applications. Dans cet ouvrage, le curdlan, un polysaccharide neutre d’origine bactérienne et formé d’unités répétitives β-D-(1→3) glucose, est utilisé comme hydrogel modèle. Le curdlan a la propriété de former des thermogels de différentes conformations selon la température à laquelle une suspension aqueuse est incubée. La caractérisation in situ de la formation des hydrogels de curdlan thermoréversibles et thermo-irréversibles a tout d’abord été réalisée par spectroscopie infrarouge à transformée de Fourier (FT-IR) en mode réflexion totale atténuée à température variable. Les résultats ont permis d’optimiser les conditions de gélation, menant ainsi à la formation reproductible des hydrogels. Les caractérisations structurales des hydrogels hydratés, réalisées par imagerie FT-IR, par microscopie électronique à balayage en mode environnemental (eSEM) et par microscopie à force atomique (AFM), ont permis de visualiser les différentes morphologies susceptibles d’influencer la diffusion d’analytes dans les gels. Nos résultats montrent que les deux types d’hydrogels de curdlan ont des architectures distinctes à l’échelle microscopique. La combinaison de la spectroscopie de résonance magnétique nucléaire (RMN) à gradients pulsés et de l’imagerie RMN a permis d’étudier l’autodiffusion et la diffusion mutuelle sur un même système dans des conditions expérimentales similaires. Nous avons observé que la diffusion des molécules dans les gels est ralentie par rapport à celle mesurée en solution aqueuse. Les mesures d’autodiffusion, effectuées sur une série d’analytes de diverses tailles dans les deux types d’hydrogels de curdlan, montrent que le coefficient d’autodiffusion relatif décroit en fonction de la taille de l’analyte. De plus, nos résultats suggèrent que l’équivalence entre les coefficients d’autodiffusion et de diffusion mutuelle dans les hydrogels de curdlan thermo-irréversibles est principalement due au fait que l’environnement sondé par les analytes durant une expérience d’autodiffusion est représentatif de celui exploré durant une expérience de diffusion mutuelle. Dans de telles conditions, nos résultats montrent que la RMN à gradients pulsés peut s’avérer une approche très avantageuse afin de caractériser des systèmes à libération contrôlée de médicaments. D’autres expériences de diffusion mutuelle, menées sur une macromolécule de dextran, montrent un coefficient de diffusion mutuelle inférieur au coefficient d’autodiffusion sur un même gel de curdlan. L’écart mesuré entre les deux modes de transport est attribué au volume différent de l’environnement sondé durant les deux mesures. Les coefficients d’autodiffusion et de diffusion mutuelle similaires, mesurés dans les deux types de gels de curdlan pour les différents analytes étudiés, suggèrent une influence limitée de l’architecture microscopique de ces gels sur leurs propriétés de transport. Il est conclu que les interactions affectant la diffusion des analytes étudiés dans les hydrogels de curdlan se situent à l’échelle moléculaire.