La biogenèse du ribosome est un processus complexe et dynamique qui nécessite de nombreuses étapes de maturation et de modification des ARNr ainsi que l’assemblage et le transport des RNPs précurseurs. Un ribosome mature contient une centaine de pièces, ARN et protéines confondus, mais son assemblage requiert l’intervention de plus de 400 facteurs de synthèse. De part le coût énergétique important de ce processus, plusieurs voies de régulation interviennent pour contrôler la biogenèse des ribosomes en fonction des conditions nutritives. L’une des voies les plus connue est la voie TOR (Target of rapamycin). Cette voie de régulation agît principalement au niveau de la transcription des différents intervenants de la biogenèse : les ARNr, les protéines ribosomiques mais aussi les facteurs de synthèse. Ces facteurs, ayant une action transitoire dans la maturation des ribosomes, sont, par économie, recyclés pour la synthèse de nouveaux ribosomes. Nous nous sommes donc intéressés au devenir de ces facteurs, plus particulièrement de ceux intervenants dans la biogenèse de la petite sous unité, lorsque les conditions environnementales sont inadaptées à la croissance cellulaire. Ainsi, nous avons pu montré, pour quatre facteurs particuliers : Dim2, Rrp12, Hrr25 et Fap7, que leur localisation est dépendante de la synthèse ribosomique. Ainsi, lors de carence en sources nutritives, l’inhibition de la synthèse et de l’activité ribosomique entraîne un confinement de ces facteurs ribosomiques dans le nucléole ou dans des corps cytoplasmiques. En outre, la localisation particulière des facteurs ribosomiques Hrr25 et Fap7 dans les P-bodies en phase de croissance saturée laisse penser que ces corps cytoplasmiques sont le lieu de dégradation des pré-ribosomes lorsque les carences nutritives perdurent.

Cette thèse présente une formalisation des nombres algébriques et de leur théorie. Elle apporte deux nouvelles contributions importantes à la formalisation de résultats mathématiques dans des assistants à la preuve, ici Coq : la construction intuitionniste des nombres algébriques réels et la preuve qu'ils constituent un corps réel clos, ainsi que la programmation et la certification de procédures d'élimination des quantificateurs pour les théories des corps algébriquement clos et des corps réels clos. Pour atteindre ces résultats, nous avons apporté des contributions aux outils et aux méthodologies de preuves et de formalisation des mathématiques en Coq. En particulier, nous fournissons pour Coq/SSReflect un cadre pour travailler avec des types quotients. Nous fournissons une bibliothèque complète sur les structures algébriques de nombres ordonnés et normés. Nous avons réalisé une courte implémentation des réels de Cauchy accompagnée de tactiques pour effectuer facilement des raisonnements comportant des affirmations de la forme "soit n un entier suffisamment grand", couramment utilisés dans les preuves mathématiques sur papier. Nous avons également développé une petite bibliothèque d'analyse de base sur les polynômes à coefficients dans un corps réel clos. Une grande partie de nos résultats s'intègrent dans la formalisation de la preuve du théorème de Feit-Thompson et ont aussi pour objectif d'aider à certifier des procédures plus efficace d'élimination des quantificateurs sur les réels.

La présente recherche s'inscrit dans le champ d'études de l'intervention sociale en milieu institutionnel, dans un contexte marqué par les principes de la nouvelle gestion publique (NGP), auprès de six gestionnaires mandatés pour appliquer le programme de prévention précoce connu sous le nom de Services intégrés en périnatalité et petite enfance pour les familles vulnérables en contexte de vulnérabilité et d'extrême pauvreté (SIPPE). Son but est d'analyser les repères normatifs guidant les pratiques de membres du personnel de la santé et des services sociaux québécois qui occupent une position de cadre intermédiaire dans l'implantation, la consolidation et l'évaluation des SIPPE au niveau local. Ces gestionnaires sont confrontés à certains aspects contradictoires ou paradoxaux du programme relatifs à la reconnaissance des jeunes parents pauvres dans la définition des problèmes et des visées de l'intervention. Cette recherche prend forme sous les deux grands paradigmes que sont l'actionnisme-constructivisme et le déterminisme. Ce choix permet de considérer la complexité politique de la position et du rôle du gestionnaire. Puis, inspirée des outils théorico-pratiques de Karsz (2004), les repères normatifs des pratiques, les quatre dimensions suivantes : théorique, éthique, subjective et politique ont été choisies pour bâtir la structure analytique du travail de recherche. Cette première phase d'analyse nous a conduit vers la méthode de l'acteur réseau défendue entre autres par Latour (200l, 2005, 2006), pour voir en quoi les gestionnaires rencontrés s'accordaient des marges de manœuvre pour orienter le programme de façon à prendre en compte les situations spécifiques et les réalités des jeunes parents ciblés. Nous avons mené une enquête qualitative à partir de six entretiens semi-directifs et avons procédé à l'aide d'un échantillonnage par cas multiples et par choix raisonné avec intéressement de personnes compétentes dans une structure CSSS. Plusieurs sites ont été couverts étant donné que le territoire de recrutement est théoriquement l'ensemble du Québec, les SIPPE constituant un programme standardisé à l'échelle nationale. Les résultats de cette recherche, contrairement aux idées reçues, nous ont permis de comprendre que loin d'être de passifs exécutants, la majorité des GP réalisent des actes combatifs telles des revendications au sein du programme permettant en certains aspects de les qualifier d'acteurs-réseaux. Portés par des repères théorico-pratiques de confiance au jugement professionnel et aux savoirs expérientiels, par des ressorts subjectifs et éthiques de bienveillance, de réciprocité-solidarité, de justice et de responsabilité sociale, ils-elles ont les atouts pour oser agir politiquement. Par ailleurs, cette étude révèle le point mort de la reconnaissance politique des JPP dans les SIPPE et certains des torts causés à l'administration publique par les méthodes de NGP. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : gestion de proximité, jeunes parents pauvres, prévention précoce, repères normatifs des pratiques, acteur-réseau.

On étudie des variétés presque hermitiennes de dimension 6 qui admettent une réduction supplémentaire à SU(3), induite par la partie de type (3,0) de la différentielle de la forme de Kähler dω. On se sert du fait constaté par Hitchin qu'une 2-forme ω et une 3-forme ψ, d'un certain type algébrique, sont suffisantes pour définir une structure SU(3) sur une variété de dimension 6, ainsi que du fait démontré par Chiossi, Salamon que les différentielles de ω, ψ mais aussi de φ, le dual de Hodge de ψ, déterminent le 1-jet de cette structure SU(3) en tout point. L'exemple privilégié de cette situation, où la réduction est globale, est celui des variétés « nearly Kähler » non kähleriennes en dimension 6, appelées par nous variétés de Gray. On classifie les variétés de Gray homogènes ce qui permet de résoudre une ancienne conjecture de Gray et Wolf : toutes les variétés strictement « nearly Kähler » homogènes sont des espaces 3-symétriques. Un autre résultat concerne une sous-variété naturelle de l'espace de twisteurs d'une variété presque hermitienne. Cet « espace de twisteurs réduit » est muni d'une structure presque complexe naturelle qu'on montre n'être intégrable que si la variété est localement conforme à une variété kählerienne, Bochner-plate ou à la sphère S6. En passant, on montre que les variétés de type W1+W4 dans la classification de Gray, Hervella (où W1 est la classe des variétés « nearly-Kähler » et W4 la classe des variétés localement conformément kähleriennes) sont localement conformes à des variétés nearly-Kähler, en dimension 6.

DANS UN PREMIER TEMPS, IL S'AGIT DE CERNER LE ROLE DES PETITES VILLES DANS LES RESEAUX URBAINS AINSI QUE LA NATURE DES RELATIONS QU'ELLES ENTRETIENNENT AVEC LEUR ARRIERE-PAYS. LA PREMIERE PARTIE EST AINSI CONSACREE SUCCESSIVEMENT : A L'ETUDE DU SEMIS DES PETITES AGGLOMERATIONS EN AFRIQUE DE L'OUEST ET AUX MODALITES DE LEUR MULTIPLICATION ; A LA PLACE DES PETITES VILLES DANS L'EVOLUTION DES RESEAUX URBAINS NIGERIEN, GHANEEN ET TOGOLAIS ; ET ENFIN, AUX FONCTIONS REGIONALES ET LOCALES DES SEPT LOCALITES ETUDIEES. DANS UN SECOND TEMPS, IL S'AGIT D'IDENTIFIER UN MODELE DE FONCTIONNEMENT DU SYSTEME SOCIOSPATIAL DE LA PETITE VILLE OUEST-AFRICAINE. UNE ETUDE DES PROCESSUS SPATIAUX, DEMOGRAPHIQUES, POLITIQUES ET ECONOMIQUES A L'OEUVRE DANS LES PETITES VILLES ETUDIEES PERMET D'ELABORER CE MODELE ET DE DEPASSER LES PARTICULARITES LOCALES.

Naïvement perçu, le processus d’évolution est une succession d’événements de duplication et de mutations graduelles dans le génome qui mènent à des changements dans les fonctions et les interactions du protéome. La famille des hydrolases de guanosine triphosphate (GTPases) similaire à Ras constitue un bon modèle de travail afin de comprendre ce phénomène fondamental, car cette famille de protéines contient un nombre limité d’éléments qui diffèrent en fonctionnalité et en interactions. Globalement, nous désirons comprendre comment les mutations singulières au niveau des GTPases affectent la morphologie des cellules ainsi que leur degré d’impact sur les populations asynchrones. Mon travail de maîtrise vise à classifier de manière significative différents phénotypes de la levure Saccaromyces cerevisiae via l’analyse de plusieurs critères morphologiques de souches exprimant des GTPases mutées et natives. Notre approche à base de microscopie et d’analyses bioinformatique des images DIC (microscopie d’interférence différentielle de contraste) permet de distinguer les phénotypes propres aux cellules natives et aux mutants. L’emploi de cette méthode a permis une détection automatisée et une caractérisation des phénotypes mutants associés à la sur-expression de GTPases constitutivement actives. Les mutants de GTPases constitutivement actifs Cdc42 Q61L, Rho5 Q91H, Ras1 Q68L et Rsr1 G12V ont été analysés avec succès. En effet, l’implémentation de différents algorithmes de partitionnement, permet d’analyser des données qui combinent les mesures morphologiques de population native et mutantes. Nos résultats démontrent que l’algorithme Fuzzy C-Means performe un partitionnement efficace des cellules natives ou mutantes, où les différents types de cellules sont classifiés en fonction de plusieurs facteurs de formes cellulaires obtenus à partir des images DIC. Cette analyse démontre que les mutations Cdc42 Q61L, Rho5 Q91H, Ras1 Q68L et Rsr1 G12V induisent respectivement des phénotypes amorphe, allongé, rond et large qui sont représentés par des vecteurs de facteurs de forme distincts. Ces distinctions sont observées avec différentes proportions (morphologie mutante / morphologie native) dans les populations de mutants. Le développement de nouvelles méthodes automatisées d’analyse morphologique des cellules natives et mutantes s’avère extrêmement utile pour l’étude de la famille des GTPases ainsi que des résidus spécifiques qui dictent leurs fonctions et réseau d’interaction. Nous pouvons maintenant envisager de produire des mutants de GTPases qui inversent leur fonction en ciblant des résidus divergents. La substitution fonctionnelle est ensuite détectée au niveau morphologique grâce à notre nouvelle stratégie quantitative. Ce type d’analyse peut également être transposé à d’autres familles de protéines et contribuer de manière significative au domaine de la biologie évolutive. / Evolution is a gradual process that gives rise to changes in the form of mutations that are reflected at the protein level. We propose that evolution of new pathways occurs by switching binding partners, hence creating new functions. The different functions encountered in a given family of related proteins have emerged from a common ancestor that has been duplicated and mutated to become implicated in new interactions and to gain new functions. In this study, we will use native and constitutive active mutant variants of the Ras-like family of small GTPases as working model, to explore such gene duplications, followed by neo / sub-functionalization. The reason for choosing this family resides in the fact that it is a defined set of proteins with well known functions that are mediated through multiple protein-protein interactions. The aim of this master is to perform a classification of budding yeast phenotypes using different approaches in order to statistically determine at which level of the population these constitutively active mutations are capable to affect cell morphology. Working with a subset of the Ras-like small GTPases family, we recently developed an approach to catalogue and classify these proteins based on multiple physical and chemical criteria. Using microscopic and bioinformatics methods, we characterized phenotypes associated with over-expression of the native small GTPases of the budding yeast Saccharomyces cerevisiae, showing that an established classification is not very clear. We are interested to investigate how point mutations in small GTPases can affect the cell morphology and their level of impact on asynchronous population. We want to establish a method to determine and quantify mutant and wild type-like phenotypes on these populations using Differential interference contrast microscopy (DIC) images only. As for the first aim of this study, we hypothesize that clustering algorithms can partition mutant cells from wild type cells based on cell shape factor measurements. To prove this hypothesis, we proposed to implement different clustering algorithms to analyze datasets which combines measurements from wild type and respective mutant populations. We created constitutively active forms of these small GTPases and used Cdc42, Rho5, Ras1 and Rsr1 to validate our results. We observed that Cdc42 Q61L, Rho5 Q91H, Ras1 Q68L and Rsr1 G12V mutations induced characteristic amorphous, clumped/elongated, rounded and discrete large phenotypes respectively. This classification allowed us to define a phenotypical classification related to functions. Phenotype classification of the small GTPases has been confirmed using shape factor formulas accompanied with bioinformatics approaches. These approaches which involved different clustering methods allowed an automated quantitative characterization of the phenotypes of up to 7293 mutant cells. Sequence alignment of Cdc42 and Rho5 showed 46.1% identity as well as 62.6% for Ras1 and Rsr1 allowing the identification of diverged residues potentially involved in specific functions and protein-protein interactions. Directed mutagenesis and substitution of these sites from one gene to another have been performed in some positions to test for specificity and involvement in morphology changes. In parallel, interactions observed for native and constitutively active mutants Cdc42 and Rho5 will be assayed with protein-fragment complementation assay (PCA). This will enable us to determine whether a high correlation exists between functions switches and binding partner’s switches. We propose to expand this approach to the whole Ras-like small GTPases family and monitor protein-protein interactions and functions at a network scale. This research will confirm whether enrichment or depletion of residues in specific sites induces a switch of function due to switching binding partners. Understanding the mechanism underlying such correlation is important to gain insight in the biological mechanisms underlying the Ras-like small GTPases and other proteins evolution. Such knowledge is of fundamental importance in biomedical and pharmaceutical fields, since Ras-like small GTPases represent important targets for therapeutic interventions and for the evolutionary biology field.

Cette étude a pour objectifs la caractérisation expérimentale des frottements saccadés dans les matériaux granulaires modèles constitués des billes de verre monodisperses en compression triaxiale drainée et l'identification des paramètres de contrôle. Cinq paramètres macroscopiques caractérisent ces frottements saccadés : la chute de déviateur et la contraction volumique, l'intermittence de déformation axiale, le module d'Young et le coefficient de Poisson. Les frottements saccadés affectent simultanément le déviateur et la déformation volumique. Le comportement macroscopique est globalement contractant tandis que le matériau tend vers un état limite critique en grandes déformations, à la manière des sables lâches. Cependant il présente localement, dans les phases de blocage qui suivent immédiatement les ruptures temporaires, le comportement dilatant des sables denses, qui obéit à une relation contrainte-dilatance linéaire et unique. Les frottements saccadés disparaissent au-delà d'une vitesse critique d'écrasement axial, qui dépend de la contrainte de confinement et de la taille des grains. Le module d'Young dynamique par propagation d'ondes varie avec la contrainte de confinement selon une loi de puissance. Le module d'Young quasi-élastique au départ des phases de blocage est constant à l'intérieur du domaine élastique, de même que le coefficient de Poisson. Le suivi par granulométrie laser et par analyse d'images des matériaux après un ou plusieurs essais triaxiaux permet de suivre l'évolution de la taille moyenne et de la forme des grains. Tandis que les instabilités par saccade disparaissent suite à un certain nombre d'essais, on observe, simultanément à une légère diminution du volume moyen, l'apparition progressive de populations d'objets non sphériques par une fusion des grains analogue au frittage.

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

L'objectif de la recherche est d'étudier le démarrage de l'internationalisation de la petite entreprise (PE) française et le frein induit par le conservatisme. Une approche comportementale met en lumière un processus de facilitation d'internationalisation et le profil du facilitateur. La littérature sur l'internationalisation par les réseaux est aussi mobilisée. D'un point de vue théorique, nous réalisons une articulation des théories de la PME, de ses comportements organisationnels et des réseaux avec les théories de l'internationalisation y compris l'entrepreneuriat international. Une première analyse fondée sur une étude descriptive vise à montrer le conservatisme et la découverte du processus de facilitation d'internationalisation de la PE. La seconde analyse étudie l'influence négative du réseautage et de la facilitation d'internationalisation sur le degré de conservatisme de l'organisation. Nous établissons quatre variables : le conservatisme, le réseautage, le processus de facilitation d'internationalisation et le profil du facilitateur.

La sécurité des biens et des personnes est, de nos jours, une préoccupation première, en particulier lorsqu'elle concerne l'usage des explosifs. Afin de répondre à ces exigences de sécurité, il est nécessaire de pouvoir prédire le comportement des ondes de pression issues d'une explosion, que ce soit à l'intérieur ou à l'extérieur du bâtiment, et leur interaction avec leur environnement. Une importante quantité d'informations sur les ondes de choc se propageant en champ libre est disponible dans la littérature, de sorte que leur comportement est maintenant bien connu. Toutefois, il y a très peu de données disponibles en littérature ouverte sur les explosions en milieu confiné. Les travaux présentés dans ce mémoire de thèse s'inscrivent dans le cadre de l'étude du comportement des ondes de choc en milieu confiné multi-chambres et de l'effet de différents paramètres tels que le volume des cellules ou la largeur du couloir sur les profils de pression à l'intérieur d'un bâtiment. La propagation de l'onde de choc est analysée par l'évolution de certains paramètres du choc (temps d'arrivée, surpression maximale et impulsion positive).Plusieurs essais à échelle réduite ont été réalisés à l'aide d'une maquette modulable, représentative d'un bâtiment pyrotechnique de plein pied, composé de quatre pièces alignées et reliées entre elles par un couloir.