Entre vulnérabilisation et revictimisation : les victimes de traite d'êtres humains face aux politiques nord-américaines

En Amérique du Nord, la lutte contre la traite d'êtres humains s'avère d'une grande complexité. Les États doivent développer les stratégies nécessaires pour faire face aux multiples manifestations qui accompagnent le phénomène et exigent une approche holistique, interdisciplinaire et à long terme. Les stratégies nord-américaines de prévention de la traite comportent plusieurs lacunes qui vulnérabilisent certains groupes. Tandis que les mesures déjà en place s'attaquent peu aux causes premières du phénomène, plusieurs réformes essentielles afin de diminuer la vulnérabilité de ces personnes, notamment l'assouplissement des politiques migratoires restrictives, tardent à être implantées. Parallèlement, les stratégies de protection présentent des lacunes qui augmentent les risques de revictimisation des victimes de traite d'êtres humains. D'une part, les autorités n'identifient pas adéquatement toutes les victimes. D'autre part, certaines victimes, bien qu'identifiées, se retrouvent sans protection, soit parce que celle-ci est accordée de façon conditionnelle, soit parce que les mécanismes d'assistance demeurent incomplets.

Structure quaternaire des récepteurs de chimiokines CXCR4 et CCR2 et interaction avec leurs effecteurs

Thèse réalisée en cotutelle avec l'université Montpellier2 dans le laboratoire de pharmacologie moléculaire de Jean-Philippe Pin à l'institut de génomique fonctionnelle (IGF), Montpellier, France.

Morphologie évolutive et fonctionnelle des hémichordés

L’embranchement Hemichordata regroupe les classes Enteropneusta et Pterobranchia. Hemichordata constitue, avec l’embranchement Echinodermata, le groupe-frère des chordés. Les entéropneustes sont des organismes vermiformes solitaires qui vivent sous ou à la surface du substrat et s’alimentent généralement par déposivorie, alors que les ptérobranches sont des organismes coloniaux filtreurs habitant dans un réseau de tubes appelé coenecium. Ce mémoire présente trois études dont le point commun est l’utilisation des hémichordés actuels pour répondre à des questions concernant l’évolution des hémichordés, des chordés, et du super-embranchement qui les regroupe, Deuterostomia. Notre première étude démontre que les fentes pharyngiennes, l’organe pré-oral cilié (POCO) et le pharynx de l’entéropneuste Protoglossus graveolens sont utilisés pour l’alimentation par filtration. Le système de filtration de P. graveolens permet la capture de particules jusqu’à 1.3 um, à un débit de 4.05 mm.s-1, pour une demande énergétique de 0.009 uW. Les similarités structurales et fonctionnelles avec le système de filtration des céphalochordés suggèrent que la filtration pharyngienne est ancestrale aux deutérostomes. Lors de notre deuxième étude, nous avons exploré l’hypothèse selon laquelle le POCO des entéropneustes, une structure ciliée pré-buccale au rôle possiblement chémorécepteur, serait homologue au « wheel organ » des céphalochordés et à l’adénohypophyse des vertébrés. Pour cela, nous avons déterminé par immunohistochimie l’expression de Pit-1, un facteur de transcription spécifique à ces deux structures, chez l’entéropneuste Saccoglossus pusillus. Pit-1 est exprimé dans des cellules sensorielles du POCO, mais aussi dans des cellules épithéliales distribuées dans le proboscis, collet et tronc. Ce patron d’expression ne permet pas de confirmer ou rejeter l’homologie du POCO et de l’adénohypophyse des vertébrés. Lors de notre troisième étude, nous avons caractérisé l’ultrastructure du coenecium des ptérobranches Cephalodiscus hodgsoni, Cephalodiscus nigrescens et Cephalodiscus densus par microscopie électronique à transmisison et à balayage. Cephalodiscus est le groupe frère de Graptolithina, un groupe qui inclut les graptolithes éteints ainsi que les ptérobranches du genre Rhabdopleura. Nous avons décrit les types de fibrilles de collagène présents, leur taille et leur organisation, ainsi que l’organisation globale du coenecium. Nous avons ainsi démontré la présence chez Cephalodiscus d’une organisation similaire au paracortex, pseudocortex et eucortex des graptolithes. La présence chez Cephalodiscus de ce type d’organisation suggère que le cortex est ancestral à la classe Pterobranchia. Ces trois études illustrent plusieurs axes importants de la recherche sur les hémichordés, qui en intégrant des données morphologiques, fonctionnelles et moléculaires permet de reconstruire certains évènements clés de l’évolution des deutérostomes.

L’adoption des innovations dans les systèmes PACS et la perception des bénéfices : le concept de l’alignement tâche-technologie comme outil d’évaluation

Contexte : Les premières implantations PACS (Picture Archiving and Communication System) remontent aux années 80. Le rehaussement récent du PACS au sein d’un centre hospitalier universitaire a permis d’étudier l’introduction d’innovations dans une technologie mature. Objectif : Dans un premier temps, effectuer une revue de la littérature sur les études évaluant la perceptions des utilisateurs de l’implantation des PACS. Deuxièmement, évaluer dans une étude de cas si le niveau d’alignement entre les tâches et la technologie prédit l’utilisation et la perception des bénéfices. Méthodes : Il y a eu une revue systématique de la littérature afin d’identifier les études sur la perception des utilisateurs du PACS. Une adaptation du modèle TTF (Task-Technology-Fit) développé par Goodhue (1995) a servi de base théorique pour l’étude de cas effectuée par questionnaire auto-administré. Résultats : Les modèles recensés dans la revue systématique sont mieux adaptés à des nouvelles implantions PACS qu’à des systèmes matures en évolution. Il y a une corrélation significative entre le niveau de l’alignement, tel que perçu par les utilisateurs, et la perception des bénéfices nets, ainsi que l’utilisation de la technologie. L’étude a démontré un écart entre la perception des utilisateurs et celle des développeurs interviewés. Conclusions : Cette étude supporte la validité du concept alignement tâche-technologie dans l’analyse d’un rehaussement PACS. Il est important de maintenir une interaction soutenue entre développeurs et utilisateurs, qui va audelà de la phase initiale de développement.

Rôle des circuits cortico-striataux dans la planification et l'exécution de règles lexicales

Des recherches, autant chez l’homme que chez l’animal, proposent qu’il existerait, au sein des réseaux cérébraux, une organisation anatomique parallèle de circuits qui coordonne l’activité des structures qui participent à la planification et à l’exécution d’une action. Dans cette foulée, un modèle émerge qui attribue au cortex préfrontal (CPF) latéral une spécificité anatomo-fonctionnelle basée sur les niveaux de traitement en mémoire de travail (MT). Il s’agit du modèle « niveaux de traitement-dépendant », qui accorde un rôle important au CPF latéral dans l’acquisition et la représentation de règles guidant nos comportements. Des études en neuroimagerie fonctionnelle, utilisant le Wisconsin Card Sorting Task (WCST) ont permis de corroborer ce modèle et de dissocier trois niveaux de traitement en MT non seulement au sein du CPF latéral mais encore aux structures sous- corticales, les ganglions de la base (GB). Ces études suggèrent que certains noyaux des GB seraient topographiquement organisés avec le CPF latéral et contriburaient, sous certaines conditions, à des processus cognitifs et moteurs semblables à leur homologue cortical. Le but de notre étude est d'explorer la généralisation de la contribution des GB et du CPF au modèle niveaux de traitement-dépendant afin de voir si ce dernier est indépendant de la nature des stimuli en mémoire de travail. À cet effet, nous avons modifié le WCST en l’appliquant à un autre domaine, celui du langage. Nous avons remplacé les pictogrammes par des mots et modifié les règles formes, couleurs, nombres, par des règles sémantiques et phonologiques. L’analyse des résultats a démontré que différentes parties des GB de concert avec différentes régions du CPF se différencient quant aux niveaux de traitement en MT et ce, indépendamment de la nature des stimuli. Une deuxième analyse a permis d’évaluer les patrons d’activations liés aux conditions sémantiques et phonologiques. Ces résultats ont mis en évidence que les réseaux préfrontaux semblent liés aux processus exécutifs nécessaires à la réalisation de la tâche, indépendamment de la condition tandis que les aires associatives se dissocient davantage et contiennent des réseaux propres à la sémantique et à la phonologie.

Phylogénomique des Archées

Les transferts horizontaux de gènes (THG) ont été démontrés pour jouer un rôle important dans l'évolution des procaryotes. Leur impact a été le sujet de débats intenses, ceux-ci allant même jusqu'à l'abandon de l'arbre des espèces. Selon certaines études, un signal historique dominant est présent chez les procaryotes, puisque les transmissions horizontales stables et fonctionnelles semblent beaucoup plus rares que les transmissions verticales (des dizaines contre des milliards). Cependant, l'effet cumulatif des THG est non-négligeable et peut potentiellement affecter l'inférence phylogénétique. Conséquemment, la plupart des chercheurs basent leurs inférences phylogénétiques sur un faible nombre de gènes rarement transférés, comme les protéines ribosomales. Ceux-ci n'accordent cependant pas autant d'importance au modèle d'évolution utilisé, même s'il a été démontré que celui-ci est important lorsqu'il est question de résoudre certaines divergences entre ancêtres d'espèces, comme pour les animaux par exemple. Dans ce mémoire, nous avons utilisé des simulations et analyser des jeux de données d'Archées afin d'étudier l'impact relatif des THG ainsi que l'impact des modèles d'évolution sur la précision phylogénétique. Nos simulations prouvent que (1) les THG ont un impact limité sur les phylogénies, considérant un taux de transferts réaliste et que (2) l'approche super-matrice est plus précise que l'approche super-arbre. Nous avons également observé que les modèles complexes expliquent non seulement mieux les données que les modèles standards, mais peuvent avoir un impact direct sur différents groupes phylogénétiques et sur la robustesse de l'arbre obtenu. Nos résultats contredisent une publication récente proposant que les Thaumarchaeota apparaissent à la base de l'arbre des Archées.

Impact de l’anémie postopératoire sur la récupération fonctionnelle et la qualité de vie après une arthroplastie de la hanche ou du genou

Les transfusions sanguines sont fréquemment employées pour corriger l’anémie secondaire à une arthroplastie de la hanche ou du genou. Il n’y a cependant pas consensus sur les indications de transfuser. La tendance actuelle est d’utiliser une stratégie transfusionnelle restrictive (soit un seuil de 75-80 g/L d’hémoglobine) mais les conséquences d’une telle pratique sur la récupération fonctionnelle et la qualité de vie des patients sont mal connues. Dans un premier temps, nous avons caractérisé la pratique transfusionnelle au Centre hospitalier de l’Université de Montréal (CHUM). Notre hypothèse était que, devant l’imprécision des recommandations, la pratique transfusionnelle serait variable. Une étude rétrospective de 701 dossiers de patients ayant subi une arthroplastie de la hanche ou du genou a été réalisée. Nous avons observé que les transfusions étaient utilisées de la même façon dans les trois hôpitaux et que les médecins basaient leur décision de transfuser principalement sur un seul chiffre, la concentration d’hémoglobine, adoptant une stratégie restrictive. Soixante-six pourcent des patients avaient une concentration d’hémoglobine inférieure à 100 g/L au départ de l’hôpital. Dans un deuxième temps, nous avons évalué l’impact de cette anémie postopératoire sur la récupération fonctionnelle et la qualité de vie des patients. Notre hypothèse était qu’il existe une concentration d’hémoglobine en dessous de laquelle celles-ci sont atteintes. Une étude de cohorte prospective et observationnelle a été menée chez 305 patients regroupés selon leur concentration d’hémoglobine postopératoire. Les groupes d’hémoglobine (≤ 80, 81-90, 91-100 et > 100 g/L) étaient similaires dans l’évolution de la distance de marche en six minutes, de l’évaluation de l’effort fourni, de la force de préhension et des scores de qualité de vie. L’anémie modérée n’est donc pas associée à une atteinte de la récupération fonctionnelle et de la qualité de vie à court terme. D’autres études devront déterminer les conséquences à long terme d’une stratégie transfusionnelle restrictive sur ces patients.

Un monde de silence : musique pour documentaires aquatiques.

La version intégrale de cette thèse est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l’Université de Montréal (http://www.bib.umontreal.ca/MU).

L’évolution de la motivation pour les mathématiques au second cycle du secondaire selon la séquence scolaire et le sexe

De nombreuses études sur l’évolution de la motivation pour les mathématiques sont disponibles et il existe également plusieurs recherches qui se sont penchées sur la question de la différence motivationnelle entre les filles et les garçons. Cependant, aucune étude n’a tenu compte de la séquence scolaire des élèves en mathématiques pour comprendre le changement motivationnel vécu pendant le second cycle du secondaire, alors que le classement en différentes séquences est subi par tous au secondaire au Québec. Le but principal de cette étude est de documenter l’évolution de la motivation pour les mathématiques des élèves du second cycle du secondaire en considérant leur séquence de formation scolaire et leur sexe. Les élèves ont été classés dans deux séquences, soit celle des mathématiques de niveau de base (416-514) et une autre de niveau de mathématiques avancé (436-536). Trois mille quatre cent quarante élèves (1864 filles et 1576 garçons) provenant de 30 écoles secondaires publiques francophones de la grande région de Montréal ont répondu à cinq reprises à un questionnaire à items auto-révélés portant sur les variables motivationnelles suivantes : le sentiment de compétence, l’anxiété de performance, la perception de l’utilité des mathématiques, l’intérêt pour les mathématiques et les buts d’accomplissement. Ces élèves étaient inscrits en 3e année du secondaire à la première année de l’étude. Ils ont ensuite été suivis en 4e et 5e année du secondaire. Les résultats des analyses à niveaux multiples indiquent que la motivation scolaire des élèves est généralement en baisse au second cycle du secondaire. Cependant, cette diminution est particulièrement criante pour les élèves inscrits dans les séquences de mathématiques avancées. En somme, les résultats indiquent que les élèves inscrits dans les séquences avancées montrent des diminutions importantes de leur sentiment de compétence au second cycle du secondaire. Leur anxiété de performance est en hausse à la fin du secondaire et l’intérêt et la perception de l’utilité des mathématiques chutent pour l’ensemble des élèves. Les buts de maîtrise-approche sont également en baisse pour tous et les élèves des séquences de base maintiennent généralement des niveaux plus faibles. Une diminution des buts de performance-approche est aussi retrouvée, mais cette dernière n’atteint que les élèves dans les séquences de formation avancées. Des hausses importantes des buts d’évitement du travail sont retrouvées pour les élèves des séquences de mathématiques avancées à la fin du secondaire. Ainsi, les élèves des séquences de mathématiques avancées enregistrent la plus forte baisse motivationnelle pendant le second cycle du secondaire bien qu’ils obtiennent généralement des scores supérieurs aux élèves des séquences de base. Ces derniers maintiennent généralement leur niveau motivationnel. La différence motivationnelle entre les filles et les garçons ne sont pas souvent significatives, malgré le fait que les filles maintiennent généralement un niveau motivationnel inférieur à celui des garçons, et ce, par rapport à leur séquence de formation respective. En somme, les résultats de la présente étude indiquent que la diminution de la motivation au second cycle du secondaire pour les mathématiques touche principalement les élèves des séquences avancées. Il paraît ainsi pertinent de considérer la séquence scolaire dans les études sur l’évolution de la motivation, du moins en mathématiques. Il semble particulièrement important d’ajuster les interventions pédagogiques proposées aux élèves des séquences avancées afin de faciliter leur transition en mathématiques de quatrième secondaire.

Crise du secteur manufacturier au Québec : ampleur et nature des restructurations impliquant des licenciements collectifs entre 2003 et 2008

Des données de Statistique Canada montrent que le Québec a perdu 86 700 emplois manufacturiers nets entre 2004 et 2008, ce qui représente un recul de 13,8% (Bernard, 2009). Un dollar canadien fort, la concurrence internationale, les délocalisations de la production et les consolidations globales d'opérations sont souvent mentionnés comme étant les causes des difficultés du secteur manufacturier canadien - principalement concentré au Québec et en Ontario. La crise financière amorcée à l’été 2007, a contribué à aggraver la crise propre au secteur manufacturier dont les origines remontent au début des années 2000 (Weir, 2007; AgirE, 2008; Pilat et al., 2006). Cette recherche examine le processus de restructuration du secteur manufacturier québécois de manière détaillée au niveau des établissements afin d’en évaluer l’ampleur et la nature entre 2003 et 2008. Les données colligées permettent de poser un regard unique et original sur les restructurations ayant impliqué des licenciements collectifs au Québec. Ces données sont issues de deux sources. D'abord, nous avons utilisé une liste d‘entreprises qui ont envoyé un avis de licenciement collectif au Ministère de l’Emploi et de la Solidarité sociale du Québec entre 2003 et 2008. En second lieu, nous avons eu recours aux archives en ligne des médias pour trouver d’autres évènements de restructuration non rapportés par le ministère ainsi que pour obtenir des informations complémentaires sur les évènements déjà compilés dans la liste du ministère. Notre méthodologie de recherche et notre typologie analytique des types de restructuration sont basées sur celles développées par l’European Monitoring Center on Change (EMCC) et reprises dans certaines études comme celles de Bronfenbrenner et Luce (2004) et Hickey et Schenk (soumis). Les résultats, présentés en termes d’événements de restructuration et d’emplois perdus, sont ventilés en fonction de quelques variables (année d’occurrence, taille de l’établissement, sous-secteur d’activité, intensité technologique, région administrative, types de restructuration). Les raisons données par l’entreprise afin de justifier la restructuration ont aussi été colligées. Au cours de la période étudiée, nous avons identifié au total 1 631 évènements de restructurations dans le secteur manufacturier à travers toutes les régions du Québec, qui ont entraîné la perte de 129 383 emplois. Ainsi, 78 246 emplois ont été perdus suite à la réduction des activités de l‘établissement et 51 137 emplois l’ont été suite à la fermeture de leur établissement. La forme la plus fréquente de restructuration est la restructuration interne, suivi par la faillite/fermeture. Les types de restructuration qui ont engendré le plus de pertes d’emplois en moyenne par évènement sont dans l’ordre, la délocalisation, la sous-traitance, la consolidation d’activités ainsi que la fusion-acquisition. L’année 2008 fut celle où il y a eu le plus grand nombre de restructurations. Montréal et la Montérégie sont les régions qui ont le plus été touchées par la restructuration, les pertes d’emplois et les fermetures d’établissements. Les industries à faible intensité technologique ont davantage été frappées par la crise manufacturière. C’est le sous-secteur du papier et du bois qui connu le plus grand nombre d’événements de restructurations. Ce sous-secteur a aussi subi les pertes d’emplois les plus importantes, suivi par le sous-secteur du textile et du vêtement. Ces deux industries se partagent plus de la moitié des fermetures d’établissements. L’insuffisance de la demande (22,1%), la concurrence internationale (14,3%), la hausse de la valeur du dollar canadien (11,2%), la réorganisation interne de l’entreprise (11,1%), la rationalisation des coûts visant une augmentation de la profitabilité (10,1%) ainsi que les difficultés financières (9,9%) sont les motifs principaux donnés par les employeurs. Nos résultats montrent qu’il y a eu deux temps dans l’évolution de la restructuration du secteur manufacturier au Québec. Un premier temps au début de la période où des changements structurels profonds ont été observés dans certaines industries (p.ex. le bois-papier et le textile-vêtement) et un second temps, en fin de période caractérisé par des changements davantage liés à la conjoncture en raison de la crise économique dont les effets commençaient à se faire sentir à ce moment (Institut de la statistique du Québec, 2009a).

L’agence en oncologie de l’Ontario : actifs organisationnels et professionnels à l’amélioration des soins et des services

Cette thèse s’intéresse à l’amélioration des soins et des services de santé et touche aux relations entre 3 grands thèmes de l’analyse des organisations de santé : la gouvernance, le changement et les pratiques professionnelles. En nous appuyant sur l’analyse organisationnelle contemporaine, nous visons à mieux comprendre l’interface entre l’organisation et les pratiques cliniques. D’une part, nous souhaitons mieux comprendre comment l’organisation structure et potentialise les pratiques des acteurs. D’autre part, dans une perspective d’acteurs stratégiques, nous souhaitons mieux comprendre le rôle des pratiques des professionnels dans l’actualisation de leur profession et dans la transformation et l’évolution des organisations. Notre étude se fonde sur l’hypothèse qu’une synergie accrue entre l’organisation et les pratiques des professionnels favorisent l’amélioration de la qualité des soins et des services de santé. En 2004, le gouvernement ontarien entreprend une importante réforme des soins et services dans le domaine du cancer et revoit les rôles et mandats du Cancer Care Ontario, l’organisation responsable du développement des orientations stratégiques et du financement des services en cancer dans la province. Cette réforme appelle de nombreux changements organisationnels et cliniques et vise à améliorer la qualité des soins et des services dans le domaine de l’oncologie. C’est dans le cadre de cette réforme que nous avons analysé l’implantation d’un système de soins et de services pour améliorer la performance et la qualité et analysé le rôle des pratiques professionnelles, spécifiquement les pratiques infirmières, dans la transformation de ce système. La stratégie de recherche utilisée correspond à l’étude approfondie d’un cas correspondant à l’agence de soins et de services en oncologie en Ontario, le Cancer Care Ontario, et des pratiques professionnelles infirmières évoluant dans ce modèle. Le choix délibéré de ce cas repose sur les modalités organisationnelles spécifiques à l’Ontario en termes de soins en oncologie. La collecte de données repose sur 3 sources principales : les entrevues semi-structurées (n=25), l’analyse d’une abondante documentation et les observations non participatives. La thèse s’articule autour de trois articles. Le premier article vise à définir le concept de gouvernance clinique. Nous présentons l’origine du concept et définissons ses principales composantes. Concept aux frontières floues, la gouvernance clinique est axée sur le développement d’initiatives cliniques et organisationnelles visant à améliorer la qualité des soins de santé et la sécurité des patients. L’analyse de la littérature scientifique démontre la prédominance d’une vision statique de la gouvernance clinique et d’un contrôle accentué des pratiques professionnelles dans l’atteinte de l’efficience et de l’excellence dans les soins et les services. Notre article offre une conception plus dynamique de la gouvernance clinique qui tient compte de la synergie entre le contexte organisationnel et les pratiques des professionnels et soulève les enjeux reliés à son implantation. Le second article s’intéresse à l’ensemble des leviers mobilisés pour institutionnaliser les principes d’amélioration continue de la qualité dans les systèmes de santé. Nous avons analysé le rôle et la portée des leviers dans l’évolution du système de soins en oncologie en Ontario et dans la transformation des pratiques cliniques. Nos données empiriques révèlent 3 phases et de nombreuses étapes dans la transformation du système. Les acteurs en position d’autorité ont mobilisé un ensemble de leviers pour introduire des changements. Notre étude révèle que la transformation du Cancer Care Ontario est le reflet d’un changement radical de type évolutif où chacune des phases est une période charnière dans la transformation du système et l’implantation d’initiatives de qualité. Le troisième article pose un regard sur un levier spécifique de transformation, celui de la communauté de pratique, afin de mieux comprendre le rôle joué par les pratiques professionnelles dans la transformation de l’organisation des soins et ultimement dans le positionnement stratégique de la profession infirmière. Nous avons analysé les pratiques infirmières au sein de la communauté de pratique (CDP) des infirmières en pratique avancée en oncologie. En nous appuyant sur la théorie de la stratégie en tant que pratique sociale, nos résultats indiquent que l’investissement de la profession dans des domaines stratégiques augmente les capacités des infirmières à transformer leurs pratiques et à transformer l’organisation. Nos résultats soulignent le rôle déterminant du contexte dans le développement de capacités stratégiques chez les professionnels. Enfin, nos résultats révèlent 3 stratégies émergentes des pratiques des infirmières : une stratégie de développement de la pratique infirmière en oncologie, une stratégie d’institutionnalisation des politiques de la CDP dans le système en oncologie et une stratégie de positionnement de la profession infirmière. Les résultats de notre étude démontrent que l’amélioration de la qualité des soins et des services de santé est située. L’implantation de transformations dans l’ensemble d’un système, tel que celui du cancer en Ontario, est tributaire d’une part, des capacités d’action des acteurs en position d’autorité qui mobilisent un ensemble de leviers pour introduire des changements et d’autre part, de la capacité des acteurs à la base de l’organisation à s’approprier les leviers pour développer un projet professionnel, améliorer leurs pratiques professionnelles et transformer le système de soins.

Impacts de l'écoulement souterrain sur la dégradation du pergélisol

Les changements climatiques mesurés dans le Nord-ouest canadien au cours du XXIe siècle entraînent une dégradation du pergélisol. Certaines des principales conséquences physiques sont la fonte de la glace interstitielle lors du dégel du pergélisol, l’affaissement du sol et la réorganisation des réseaux de drainage. L’effet est particulièrement marqué pour les routes bâties sur le pergélisol, où des dépressions et des fentes se créent de façon récurrente, rendant la conduite dangereuse. Des observations et mesures de terrain effectuées à Beaver Creek (Yukon) entre 2008 et 2011 ont démontré qu’un autre processus très peu étudié et quantifié dégradait le pergélisol de façon rapide, soit la chaleur transmise au pergélisol par l’écoulement souterrain. Suite aux mesures de terrain effectuées (relevé topographique, étude géotechnique du sol, détermination de la hauteur de la nappe phréatique et des chenaux d’écoulement préférentiels, température de l’eau et du sol, profondeur du pergélisol et de la couche active), des modèles de transfert de chaleur par conduction et par advection ont été produits. Les résultats démontrent que l’écoulement souterrain dans la couche active et les zones de talik contribue à la détérioration du pergélisol via différents processus de transfert de chaleur conducto-convectifs. L’écoulement souterrain devrait être pris en considération dans tous les modèles et scénarios de dégradation du pergélisol. Avec une bonne caractérisation de l’environnement, le modèle de transfert de chaleur élaboré au cours de la présente recherche est applicable dans d’autres zones de pergélisol discontinu.

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

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

Key Agreement Against Quantum Adversaries

Key agreement is a cryptographic scenario between two legitimate parties, who need to establish a common secret key over a public authenticated channel, and an eavesdropper who intercepts all their messages in order to learn the secret. We consider query complexity in which we count only the number of evaluations (queries) of a given black-box function, and classical communication channels. Ralph Merkle provided the first unclassified scheme for secure communications over insecure channels. When legitimate parties are willing to ask O(N) queries for some parameter N, any classical eavesdropper needs Omega(N^2) queries before being able to learn their secret, which is is optimal. However, a quantum eavesdropper can break this scheme in O(N) queries. Furthermore, it was conjectured that any scheme, in which legitimate parties are classical, could be broken in O(N) quantum queries. In this thesis, we introduce protocols à la Merkle that fall into two categories. When legitimate parties are restricted to use classical computers, we offer the first secure classical scheme. It requires Omega(N^{13/12}) queries of a quantum eavesdropper to learn the secret. We give another protocol having security of Omega(N^{7/6}) queries. Furthermore, for any k>= 2, we introduce a classical protocol in which legitimate parties establish a secret in O(N) queries while the optimal quantum eavesdropping strategy requires Theta(N^{1/2+k/{k+1}}) queries, approaching Theta(N^{3/2}) when k increases. When legitimate parties are provided with quantum computers, we present two quantum protocols improving on the best known scheme before this work. Furthermore, for any k>= 2, we give a quantum protocol in which legitimate parties establish a secret in O(N) queries while the optimal quantum eavesdropping strategy requires Theta(N^{1+{k}/{k+1}})} queries, approaching Theta(N^{2}) when k increases.

Inclusive fitness maximization: an axiomatic approach

Kin selection theorists argue that evolution in social contexts will lead organisms to behave as if maximizing their inclusive, as opposed to personal, fitness. The inclusive fitness concept allows biologists to treat organisms as akin to rational agents seeking to maximize a utility function. Here we develop this idea and place it on a firm footing by employing a standard decision-theoretic methodology. We show how the principle of inclusive fitness maximization and a related principle of quasi-inclusive fitness maximization can be derived from axioms on an individual’s ‘as if preferences’ (binary choices). Our results help integrate evolutionary theory and rational choice theory, help draw out the behavioural implications of inclusive fitness maximization, and point to a possible way in which evolution could lead organisms to implement it.