Special functions of Weyl groups and their continuous and discrete orthogonality

Cette thèse s'intéresse à l'étude des propriétés et applications de quatre familles des fonctions spéciales associées aux groupes de Weyl et dénotées $C$, $S$, $S^s$ et $S^l$. Ces fonctions peuvent être vues comme des généralisations des polynômes de Tchebyshev. Elles sont en lien avec des polynômes orthogonaux à plusieurs variables associés aux algèbres de Lie simples, par exemple les polynômes de Jacobi et de Macdonald. Elles ont plusieurs propriétés remarquables, dont l'orthogonalité continue et discrète. En particulier, il est prouvé dans la présente thèse que les fonctions $S^s$ et $S^l$ caractérisées par certains paramètres sont mutuellement orthogonales par rapport à une mesure discrète. Leur orthogonalité discrète permet de déduire deux types de transformées discrètes analogues aux transformées de Fourier pour chaque algèbre de Lie simple avec racines des longueurs différentes. Comme les polynômes de Tchebyshev, ces quatre familles des fonctions ont des applications en analyse numérique. On obtient dans cette thèse quelques formules de <>, pour des fonctions de plusieurs variables, en liaison avec les fonctions $C$, $S^s$ et $S^l$. On fournit également une description complète des transformées en cosinus discrètes de types V--VIII à $n$ dimensions en employant les fonctions spéciales associées aux algèbres de Lie simples $B_n$ et $C_n$, appelées cosinus antisymétriques et symétriques. Enfin, on étudie quatre familles de polynômes orthogonaux à plusieurs variables, analogues aux polynômes de Tchebyshev, introduits en utilisant les cosinus (anti)symétriques.

Gérer la ville au Bénin : la mise en œuvre du Registre foncier urbain à Cotonou, Porto-Novo et Bohicon

La gestion des villes d’Afrique de l’Ouest pose problème à la période contemporaine : extension urbaine non maitrisée, services de base insuffisants, insécurité foncière. À travers l’aide internationale, d’importantes réformes visant à améliorer son efficacité ont pourtant été mises en place, mais elles semblent avoir été inefficaces. Dépassant ce constat d’échec, la thèse vise à comprendre comment se déroule l’acte de gérer la ville dans les circonstances particulières des villes d’Afrique de l’Ouest. La mise en œuvre du Registre foncier urbain (RFU), système d’information foncière municipal multi-fonctions introduit au Bénin à travers des programmes de développement au début des années 1990, constitue le prisme à travers lequel la gestion urbaine est analysée. Celle-ci est ainsi approchée par les actes plutôt que par les discours. S’appuyant sur une démarche socio-anthropologique, la mise en œuvre de l’instrument est analysée depuis le point de vue des acteurs locaux et selon une double grille de lecture : d’une part, il s’agit de saisir les logiques de l’appropriation locale dont le RFU a fait l’objet au sein des administrations; d’autre part, il s’agit de comprendre son interaction avec le territoire, notamment avec les dynamiques complexes d’accès au sol et de sécurisation foncière. Une étude de cas multiple a été menée dans trois communes : Cotonou, Porto-Novo et Bohicon. Deux ensembles de conclusions en découlent. Tout d’abord, le RFU s’est imposé comme l’instrument pivot de la fiscalité locale, mais est mis en œuvre de manière minimale. Ce fonctionnement particulier est une adaptation optimale à un contexte fait de rivalités professionnelles au sein d’administrations cloisonnées, d’enjeux politico-financiers liés aux différentes sources de revenus communaux et de tensions politico-institutionnelles liées à une décentralisation tardive. Les impacts du RFU en termes de développement des compétences professionnelles nationales sont insuffisants pour réformer la gestion urbaine depuis l’intérieur de l’administration municipale. Ensuite, alors qu’il vise à centraliser l’information sur les propriétaires présumés de la terre, le RFU se heurte à la marchandisation de cette information et à la territorialisation de la régulation foncière. La mise en œuvre du RFU s’en trouve affectée de deux manières : d’une part, elle s’insère dans ces circuits marchands de l’information foncière, avec cependant peu de succès ; d’autre part, elle a un impact différencié selon les territoires de la régulation foncière. En définitive, l’acte de gérer la ville au Bénin n’est pas devenu automatique avec l’introduction d’instruments comme le RFU. La municipalité se repose plutôt sur les piliers classiques de l’action publique, l’administration et le politique, pour gérer la ville plurielle de manière différenciée. À l’endroit des concepteurs d’action publique, cette thèse plaide pour une prise en compte des modes de régulation existant dans les sociétés africaines, fussent-ils pluriels, reconnaissant les voies originales que prend la construction des institutions en Afrique.

Étude du rôle de l'interleukine-32 dans l'infection à VIH-1

Les progresseurs lents du VIH-1 sont de rares sujets asymptomatiques pendant plusieurs années sans thérapie antirétrovirale. Parmi ces sujets à progression lente vers le SIDA, il est possible qu’un sous-groupe perde le contrôle de leur infection après plusieurs années de contrôle. Notre laboratoire a analysé l’expression différentielle de différentes protéines et voies moléculaires associées à la perte de contrôle de l’infection: l’interleukine-32 (IL-32) est une cytokine pro-inflammatoire dont le niveau des isoformes alpha et delta a significativement diminué chez les progresseurs lents lors de la perte de contrôle. Par ailleurs, des études antérieures ont attribué, de façon intrigante, à l’IL-32 aussi bien des propriétés anti-VIH-1 que des propriétés immunosuppressives induisant un environnement propice à la réplication du VIH-1. Ce projet de maitrise s’est penché sur l’implication de l’IL-32 dans la progression de l’infection à VIH-1 avec un accent particulier sur les progresseurs lents. Nous avons principalement mesuré les niveaux d’IL-32 des sujets séropositifs comparativement aux sujets VIH négatif et estimé les fonctions de cette cytokine à travers des études longitudinales et de corrélation. Nous avons observé que l’IL-32 total demeure plus élevé chez les séropositifs comparativement aux sujets VIH négatif. Également, l’infection par le VIH-1 entraine une augmentation du niveau d’IL-32 total. De plus, après une année de thérapie antirétrovirale, les taux plasmatiques d’IL-32 total demeurent significativement plus élevés que ceux des sujets VIH négatif. Comme attendu, le taux d’IL-32 total augmente lors de la perte de contrôle de l’infection chez les progresseurs lents. Une forte concentration plasmatique d’IL-32 total coïncide avec: 1) une augmentation du taux plasmatique de sCD14 et de la cytokine pro-inflammatoire IL-6, 2) une baisse du compte cellulaire CD4 et une augmentation de la charge virale. Un taux plasmatique élevé de CCL5 pourrait prédire une faible concentration d’IL-32 total. L’isoforme alpha de l’IL-32 est plus élevée dans le plasma des sujets VIH négatif tandis que l’IL-32 gamma semble induire un environnement pro-inflammatoire et immunosuppressif. Il ressort à l’issue de ces observations que l’augmentation de l’IL-32 total est associée à la progression de l’infection à VIH-1 et pourrait constituer un biomarqueur permettant d’apprécier le pronostic de cette infection.

L'ésotérisme de la dramaturgie platonicienne : un regard sur le Banquet et le Phédon

Le présent mémoire se penche sur la dramaturgie que mettent en scène le Banquet et le Phédon de Platon. Dans le cas du premier dialogue, une étude de l'épilogue et du discours d'Alcibiade, assortie de parallèles ponctuels dans la République et la Lettre VII, permet de déceler un exemple de la rétention d'information platonicienne, telle que comprise sous l'égide des écoles platoniciennes de Tübingen et de Milan, de même qu'une attestation de l'existence de doctrines non-écrites qualitativement supérieures à celles que renferment les dialogues. L'épilogue du Banquet fait ensuite, à la lumière des conclusions susmentionnées, l'objet d'une interprétation qui distingue trois niveaux de lecture des dialogues platoniciens : l'extériorité, l'intériorité et l'oralité philosophique, symbolisées respectivement par le poète comique Aristophane, le poète tragique Agathon et le poète philosophique Socrate. Il va de soi que ce dernier renvoie sémantiquement au philosophe par excellence, titre que Platon endosse volontiers. L'essai exégétique touchant le Phédon se concentre pour sa part sur la dernière volonté de Socrate. Celle-ci survient au dénouement de la partie la plus « dramaturgique » du dialogue, c'est-à-dire après les discours proprement philosophiques sur l'immortalité de l'âme. En ciblant ces moments, de même que l'introduction, nous distinguons l'adjonction des tons tragique et comique, illustrant par là un procédé inhabituel dont le but, ultimement, est de soustraire le dialogue au registre tragique afin d'éviter la propagation d'émotions contraires à la philosophie. En exploitant l'oxymore comique-tragique sur un plan mimétique, nous montrerons que la dernière volonté de Socrate véhicule un dessein parénétique.

On the fly type specialization without type analysis

Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.

Dysfonctions mitochondriales associées à l’acidose lactique du Saguenay-Lac-Saint-Jean révélées par l’étude d’un nouveau modèle murin de la maladie

Le syndrome de Leigh version canadienne-française (LSFC) est une maladie autosomale récessive causée par une mutation du gène LRPPRC, encodant une protéine du même nom. LRPPRC est impliquée dans la traduction des gènes mitochondriaux qui encodent certains complexes de la chaine respiratoire. Les répercussions biochimiques incluent un déficit tissu spécifique de la cytochrome c oxydase (COX), principalement dans le foie et le cerveau, et la survenue de crises d’acidose fatales chez 80 % des enfants atteints avant l’âge de 3-4 ans. L’identification d’options thérapeutiques demeure encore un défi de taille et ceci est en partie relié au manque de connaissances des fonctions biologiques de LRPPRC et des mécanismes impliqués dans la pathogenèse du LSFC, au niveau des dysfonctions mitochondriales résultantes. Afin d’étudier ces mécanismes, le consortium de l’acidose lactique, dont fait partie notre laboratoire, a récemment développé un modèle murin portant une ablation de LRPPRC spécifique au foie (souris H-Lrpprc-/-). L’objectif principal est de déterminer si ce modèle reproduit le phénotype pathologique observé dans les cultures de fibroblastes humains issus de biopsies de peau de patients LSFC. Dans le cadre des travaux de ce mémoire, nous avons amorcé la caractérisation de ce nouveau modèle, en examinant le phénotype général, l’histopathologie hépatique et les fonctions mitochondriales, et en nous focalisant principalement sur les fonctions respiratoires et la capacité à oxyder divers types de substrats. Nous avons observé un retard de croissance, une hépatomégalie ainsi que plusieurs anomalies histologiques du foie chez la souris HLrpprc-/-. De plus, l’ablation de LRPPRC induit un déficit du complexe IV, mais aussi de l’ATP synthase, et affecte l’oxydation des acides gras à longues chaines. À la lumière de ces résultats, nous croyons que le modèle murin H-Lrpprc-/- contribuera à l’avancement des connaissances générales sur LRPPRC, nous permettant de mieux comprendre l’influence de la protéine sur les fonctions mitochondriales.

Ecological effects of flow and temperature regimes on fish communities in temperate rivers

Les organismes aquatiques sont adaptés à une grande variabilité hydrique et thermique des rivières. Malgré ceci, la régulation des eaux suscite des changements aux débits qui peuvent provoquer des impacts négatifs sur la biodiversité et les processus écologiques en rivière. Celle-ci peut aussi causer des modifications au niveau des régimes thermiques et des caractéristiques de l’habitat du poisson. Des données environnementales et biologiques décrivant l’habitat du poisson existent, mais elles sont incomplètes pour plusieurs rivières au Canada et de faible qualité, limitant les relations quantitatives débit-température-poissons à un petit nombre de rivières ou à une région étudiée. La recherche menée dans le cadre de mon doctorat concerne les impacts de la génération d'hydroélectricité sur les rivières; soit les changements aux régimes hydriques et thermiques reliés à la régulation des eaux sur la variation des communautés ichtyologiques qui habitent les rivières régulées et naturelles au Canada. Suite à une comparaison d’échantillonnage de pêche, une méthode constante pour obtenir des bons estimés de poisson (richesse, densité et biomasse des espèces) a été établie pour évaluer la structure de la communauté de poissons pour l’ensemble des rivières ciblées par l’étude. Afin de mieux comprendre ces changements environnementaux, les principales composantes décrivant ces régimes ont été identifiées et l’altération des régimes hydriques pour certaines rivières régulées a été quantifiée. Ces résultats ont servi à établir la relation significative entre le degré de changement biotique et le degré de changement hydrique pour illustrer les différences entre les régimes de régulation. Pour faire un complément aux indices biotiques déjà calculés pour l’ensemble des communautés de poissons (diversité, densité et biomasse des espèces par rivière), les différences au niveau des guildes de poissons ont été quantifiées pour expliquer les divers effets écologiques dus aux changements de régimes hydriques et thermiques provenant de la gestion des barrages. Ces derniers résultats servent à prédire pour quels traits écologiques ou groupes d’espèces de poissons les composantes hydriques et thermiques sont importantes. De plus, ces derniers résultats ont servi à mettre en valeur les variables décrivant les régimes thermiques qui ne sont pas toujours inclues dans les études hydro-écologiques. L’ensemble des résultats de cette thèse ont des retombées importantes sur la gestion des rivières en évaluant, de façon cohérente, l’impact de la régulation des rivières sur les communautés de poissons et en développant des outils de prévision pour la restauration des écosystèmes riverains.

Fiabilité et changement minimal détectable de mesures obtenues à partir d'images enregistrées par ultrasonographie afin de caractériser l'intégrité du tendon d'Achille

Problématique : La quantification de l’intégrité du tendon d’Achille (TA) représente un défi en réadaptation. L’adoption de mesures quantitatives du TA, extraites à partir d’une image ultrasonographique (QUS), pourrait remédier à cette lacune. Objectifs : 1) Évaluer la fiabilité test-retest et la précision de mesures QUS du TA; 2) Déterminer le meilleur protocole de collecte de mesures QUS à employer en pratique clinique. Méthodologie : Un total de 23 TAs présentant des symptômes d’une tendinopathie achilléenne et 63 TAs asymptomatiques ont été évalués. Pour chaque TA, 8 images ont été enregistrées (2 visites * 2 évaluatrices * 2 images). Différents types de mesures QUS ont été prises : géométriques (épaisseur, largeur, aire), dérivées d’un histogramme des niveaux de gris et dérivées d’une matrice de co-occurrence. Une étude de généralisabilité a quantifié la fiabilité et la précision de chaque mesure QUS et une étude de décision a fait ressortir les meilleurs protocoles de prise de mesures. Résultats : Les mesures géométriques ont démontré une excellente fiabilité et précision. Les mesures dérivées de l’histogramme des niveaux de gris ont démontré une fiabilité et précision médiocres. Les mesures dérivées d’une matrice de co-occurrence ont démontré une fiabilité modérée à excellente et une précision variable. En pratique clinique, il est recommandé de moyenner les résultats de trois images collectées par un évaluateur lors d’une visite. Conclusion : L’utilisation des mesures QUS géométriques permet de quantifier l’intégrité du TA (clinique et recherche). Davantage d’études sur les mesures QUS dérivées d’une matrice de co-occurrence s’avèrent nécessaires.

Les gènes et protéines BSP chez la souris et l’humain : clonage, caractérisation, expression sous forme recombinante et étude des fonctions biologiques

L’infertilité affecte environ 15% des couples en âge de se reproduire. Dans près de la moitié des cas, des facteurs masculins sont à la base de l’infertilité, quoique les causes exactes demeurent souvent inconnues. Les spermatozoïdes de mammifères subissent une série d’étapes de maturation avant d’acquérir la capacité de féconder un ovocyte. Les premiers changements ont lieu à l’intérieur de l’épididyme, où les spermatozoïdes gagnent la capacité de se mouvoir ainsi que de reconnaître et d’interagir avec l’ovocyte. Suite à l’éjaculation, ils doivent subir une seconde série de modifications à l’intérieur du tractus génital femelle, nommée capacitation. Nous avons préalablement démontré que chez le bovin, la famille de protéines BSP (Binder of SPerm) est essentielle à la capacitation. Des homologues des BSP ont aussi été isolés du fluide séminal de porc, de bouc, de bélier, de bison et d’étalon. Malgré la détection d’antigènes apparentés aux BSP dans le fluide séminal de souris et d’humain, les homologues des BSP n’ont jamais été caractérisés chez ces espèces. Nous avons émis l’hypothèse que des homologues des BSP seraient exprimés chez la souris et l’humain et joueraient un rôle dans la maturation des spermatozoïdes. Nous avons démontré que des séquences homologues aux BSP sont présentes dans les génomes murin et humain. Le génome murin contient trois séquences; Bsph1, Bsph2a et Bsph2b, tandis qu’une seule séquence (BSPH1) a été identifée chez l’humain. Les séquences d’ADNc de Bsph1, Bsph2a et BSPH1 ont été clonées, tandis que Bsph2b serait probablement un pseudogène. Les trois gènes sont exprimés uniquement dans l’épididyme et font partie d’une sous-famille distincte à l’intérieur de la famille des BSP. Chez les ongulés, les BSP sont exprimées par les vésicules séminales, sont ajoutées aux spermatozoïdes lors de l’éjaculation et représentent une proportion significative des protéines du plasma séminal. Au contraire, les BSP épididymaires ne sont retrouvées qu’en faibles quantités dans le fluide séminal. L’étude de leur rôle dans les fonctions spermatiques était donc plus difficile que chez les ongulés, où l’isolement des protéines natives du plasma séminal à l’aide de techniques de chromatographie était possible. Afin d’étudier sa fonction, nous avons exprimé BSPH1 recombinante dans E. coli. Les ponts disulfure des domaines de type-II caractéristiques de ces protéines ont fait en sorte que l’expression de BSPH1 fusionnée à une étiquette hexahistidine ou glutathion-S-transférase a donné lieu à des protéines insolubles dans les corps d’inclusion. La production de BSPH1 soluble a été possible grâce à l’ajout d’une étiquette thiorédoxine et l’expression dans une souche au cytoplasme oxidatif. BSPH1 a été purifiée par affinité et sa liaison aux partenaires connus des BSP, la phosphatidylcholine, les lipoprotéines de faible densité et la membrane des spermatozoïdes, suggérait que la protéine recombinante possédait sa conformation native et pouvait être utilisée pour des essais fonctionnels. La forme native de BSPH1 a été détectée dans le plasma séminal humain suite au fractionnement par gel filtration. La liaison de BSPH1 native à une colonne d’affinité à l’héparine a indiqué qu’elle partage aussi cette propriété de liaison avec la famille des BSP, et pourrait lier les GAGs semblables à l’héparine du tractus génital féminin. Une colonne d’immunoaffinité anti-BSPH1 a été préparée à l’aide d’anticorps générés contre des protéines recombinantes, et a permis d’isoler BSPH1 native à partir d’extraits de spermatozoïdes humains. Nos résultats montrent que BSPH1 native serait localisée dans les microdomaines « rafts » de la membrane. Sa masse moléculaire apparente était de 32 kDa, ce qui est supérieur à la masse prédite selon sa séquence en acides aminés, indiquant la présence probable de modifications post-traductionnelles, ou d’une migration anormale. L’effet de BSPH1 recombinante et des anticorps anti-BSPH1 sur la motilité, la viabilité et la capacitation a aussi été étudié. Les deux dernières variables ont été mesurées par un essai de cytométrie en flux, optimisé dans cette étude. Aucun effet des protéines recombinantes ou des anticorps sur la motilité et la viabilité des spermatozoïdes n’a été noté. Quoiqu’une stimulation modeste, quoique significative, de la capacitation ait été observée à la plus faible concentration de BSPH1, les concentrations plus élevées n’ont pas montré d’effet. De la même manière, les anticorps anti-BSPH1 n’ont pas eu d’effet significatif sur la capacitation. Ces résultats suggèrent que BSPH1 produite dans E. coli n’affecte pas la capacitation de façon marquée. Cependant, puisque BSPH1 native possède probablement des modifications post-traductionnelles, une protéine recombinante produite dans des cellules de mammifères pourrait affecter les fonctions spermatiques. De manière alternative, les BSP épididymaires remplissent peut-être un rôle différent dans les fonctions spermatiques que celles sécrétées par les vésicules séminales des ongulés. Les résultats décrits dans cette thèse pourraient contribuer à améliorer le diagnostic de l’infertilité masculine, ainsi que les techniques de reproduction assistée et éventuellement, pourraient mener au développement de contraceptifs masculins.

Simulation de profils de gravure et de dépôt à l’échelle du motif pour l’étude des procédés de microfabrication utilisant une source plasma de haute densité à basse pression

En lien avec l’avancée rapide de la réduction de la taille des motifs en microfabrication, des processus physiques négligeables à plus grande échelle deviennent dominants lorsque cette taille s’approche de l’échelle nanométrique. L’identification et une meilleure compréhension de ces différents processus sont essentielles pour améliorer le contrôle des procédés et poursuivre la «nanométrisation» des composantes électroniques. Un simulateur cellulaire à l’échelle du motif en deux dimensions s’appuyant sur les méthodes Monte-Carlo a été développé pour étudier l’évolution du profil lors de procédés de microfabrication. Le domaine de gravure est discrétisé en cellules carrées représentant la géométrie initiale du système masque-substrat. On insère les particules neutres et ioniques à l’interface du domaine de simulation en prenant compte des fonctions de distribution en énergie et en angle respectives de chacune des espèces. Le transport des particules est effectué jusqu’à la surface en tenant compte des probabilités de réflexion des ions énergétiques sur les parois ou de la réémission des particules neutres. Le modèle d’interaction particule-surface tient compte des différents mécanismes de gravure sèche telle que la pulvérisation, la gravure chimique réactive et la gravure réactive ionique. Le transport des produits de gravure est pris en compte ainsi que le dépôt menant à la croissance d’une couche mince. La validité du simulateur est vérifiée par comparaison entre les profils simulés et les observations expérimentales issues de la gravure par pulvérisation du platine par une source de plasma d’argon.

La durée de vie et la probabilité de survie des petites entreprises issues d'un programme de démarrage: le cas du Plan Paillé.

Rapport de recherche

Participation des femmes au marché du travail canadien. Estimation des fonctions d'offre de travail selon le statut de l'immigrant.

Rapport de recherche