Texte remanié de: Diss.--Indiana university, 1988. / Bibliogr. p. 279-295. Index.

Texte remanié de: Th. Ph. D.--Stanford University, 1987. / Contient en appendice des documents relatifs à la fondation du mouvement, en allemand avec trad. anglaise.

De nouveaux levers cartographiques et une étude pétrologique ont permis de redéfinir la lithologie de la région de Boumnyebel et sa signification sur la chaîne panafricaine d'Afrique centrale. Deux unités sont distinguées. Une première unité d’orthogneiss et amphibolites paléoprotérozoïques affleure au sud et sud-ouest de la région d’étude. Elle est recouverte par une seconde unité panafricaine (nappe) constituée vers la base de micaschistes à grenat, amphibolites, métagabbros, hornblendites et pyroxénites, et vers le haut de micaschistes à grenat-disthène localement associés à des marbres et amphibolites ; des talcschistes s'intercalent en niveaux discontinus (=30 m) entre ces deux ensembles panafricains. La nature des faciès de la partie inférieure de la nappe suggère l'existence d'une marge active à proximité d'une croûte continentale (environnement d'arc ou d'arrière-arc), ceux de la partie supérieure suggérant plutôt un apport de sédiments en provenance d'une croûte continentale soumise à l'érosion. Le métamorphisme des formations panafricaines, de faciès amphibolite, atteint la fusion (migmatites) au nord-est de la région étudiée. Le pic métamorphique (syn-D2) est estimé à ~ 650- 670°C / ~ 9.5 kbar vers 620 Ma (datation Th-U-Pb sur monazite) et les isogrades sont en position normale. Ceci suggère que le pic thermique est postérieur à la mise en place de la nappe. Soulignons, enfin, que l'abondance des roches mafiques et ultramafiques de nature tholéïtique dans la partie inférieure de la série repose la question de l'existence d'une marge active au Nord du craton du Congo durant le Néoprotérozoïque. / New field work and petrological studies in the Boumnyebel area has led us to redefine rock types and discuss their bearing on the evolution of the Pan-African fold belt of central Africa. Two units are distinguished. A Palaeoproterozoic unit consists of orthogneisses and amphibolites restricted to the south and southwest of the area studied. It is overlain by a Pan-African unit (nappe) comprised in its lower part of garnet micaschists associated with amphibolites, metagabbros, hornblendites and pyroxenites, and towards its top of garnet + kyanite micaschists locally associated with marble and amphibolites; talcschists occur as discontinuous =30 m thick layers mainly above the lower micaschists. The rock types in the lower part of this nappe suggest active margin environments with detrital input from a nearby continental crust (arc or back-arc context), whereas in the upper part they rather suggest detrital input from a nearby continental crust submitted to erosion. Metamorphism in the Pan-African formations corresponds to amphibolite facies conditions, reaching anatexis to the NW of the area studied (migmatites). The metamorphic peak (syn-D2) is estimated at ~ 650-670°C / ~ 9.5 kbar at ca. 620 Ma (monazite Th-U-Pb data), and the isograds are in normal positions. These data suggest that the thermal peak postdate nappe emplacement. We emphasize that the presence in significant proportions of mafic and ultramafic rocks of tholeiitic affinity in the lower part of the series suggests the existence of an active margin to the North of the Congo craton during the Neoproterozoic.

Soit G un groupe algébrique réel simple de rang réel au moins 2 et P un sous-groupe parabolique de G. On montre que tout sous-groupe discret de G intersectant le radical unipotent de P en un réseau est un réseau aritmétique de G, sauf éventuellement lorsque G = SO(2,4n+2) et P est le stabilisateur d'un 2-plan isotrope. Ceci répond partiellement à une conjecture de Margulis, déjà étudiée par Hee Oh. On étudie aussi le cas où G est le produit de plusieurs groupes de rang 1, généralisant des résultats de Selberg, Benoist et Oh. / Let G be a real algebraic group of real rank at least 2 and P a parabolic subgroup of G. We prove that any discrete subgroup of G that intersects the unipotent radical of P in a lattice is an arithmetic lattice of G, except maybe when G=SO(2,4n+2) and P is the stabilizer of an isotropic 2-plane. This provide a partial answer to a conjecture of Margulis that was already studied by Hee Oh. We also study the case where G is a product of several rank 1 groups, generalising results of Selberg, Benoist and Oh.

Dans les années 80, Shimomura a déterminé les groupes d'homotopie du spectre de Moore V(0) localisé par rapport à K(2) la deuxième K-théorie de Morava. Plus tard, avec les travaux de Devinatz et Hopkins est apparu une autre suite spectrale convergeant vers les précédents groupes d'homotopies. Lorsque le paramètre premier p de la théorie K(2) est supérieur ou égal à cinq, la précédente suite spectrale dégénère. Ainsi, déterminer ces groupes d'homotopie revient à calculer les groupes de cohomologie du groupe stabilisateur de Morava à coefficients dans l'anneau de Lubin-Tate modulo p. En 2007, Henn a démontré l'existence, lorsque p > 3, d'une résolution projective du groupe de Morava de longueur quatre. Dans cette thèse, nous précisons une telle résolution projective. On l'applique ensuite au calcul effectif des groupes de cohomologie à coefficients dans l'anneau de Lubin-Tate modulo p. Enfin, on donne une seconde application, en redémontrant un résultat de Hopkins non publié sur le groupe de Picard de la catégorie des spectres K(2)-locaux.

In this analytical research paper, the notions of second language acquisition and group dynamics are discussed in order to assess whether the latter is lacking in today’s Swedish upper-secondary schools’ French classes. In its theoretical section, this paper focuses on the foreign language didactics taught to students of foreign language education programs in Sweden and, most particularly, on their approach to the advantages and the benefits of group work and group dynamics. The didactic models of Lundahl (2012) and Tornberg (2015) are presented as well as the notions of primary and secondary groups found in Thornberg’s (2006) work. In its analytical section, this paper presents a written interview, built on Lundahl and Skärvad’s (1999) model, which was sent to ten upper-secondary school French teachers. This paper then provides an analysis of their answers based on Georgi’s model, as presented by Dimenäs (2007), and compares the main points to the theory. It emerges from the teacher’s answers that they tend to prefer middle sized groups, as they believe them to be best suited for a good work atmosphere and quality group dynamics. However, and contrary to the working hypothesis of this paper, most of the teachers seem not to think that small groups are an issue. In fact, it appears from their answers that they prefer to work with smaller rather than larger groups, which they find difficult to maneuver.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Les protocoles cryptographiques sont cruciaux pour sécuriser les transactions électroniques. La confiance en ces protocoles peut être augmentée par l'analyse formelle de leurs propriétés de sécurité. Bien que beaucoup de travaux aient été dédiés pour les protocoles classiques comme le protocole de Needham-Schroeder, très peu de travaux s'adressent à la classe des protocoles de groupe dont les caractéristiques principales sont : les propriétés de sécurité spécifiques qu'ils doivent satisfaire, et le nombre arbitraire des participants qu'ils impliquent. Cette thèse comprend deux contributions principales. La première traite la première caractéristique des protocoles de groupe. Pour cela, nous avons défini un modèle appelé modèle de services que nous avons utilisé pour proposer une stratégie de recherche d'attaques se basant sur la résolution de contraintes. L'approche proposée a permis de retrouver d'anciennes attaques et d'en découvrir de nouvelles sur quelques protocoles de groupe. Certaines attaques ont aussi pu être généralisées pour couvrir le cas de n participants. La deuxième contribution principale de cette thèse consiste à définir un modèle synchrone qui généralise les modèles standards de protocoles en permettant les listes non bornées à l'intérieur des messages. Ceci est assuré par l'introduction d'un nouvel opérateur appelé mpair qui représente une liste construite sur un même patron. Dans ce modèle étendu, nous avons proposé une procédure de décision pour une classe particulière des protocoles de groupe appelée classe de protocoles bien-tagués avec clefs autonomes, en présence d'un intrus actif et avec des clefs composées. / Cryptographic protocols are crucial for securing electronic transactions. The con?dence in these protocols can be increased by the formal analysis of their security properties. Although many works have been dedicated to standard protocols like Needham-Schroeder, very few address the class of group protocols whose main characteristics are : the speci?c security properties that they must satisfy, and the arbitrary number of participants they imply. This thesis provides two main contributions. The ?rst one deals with the ?rst characteristic of group protocols. For that, we de?ned a model called the services model which we used to propose a strategy for ?aws detection based on constraints solving. The suggested approach allows us to ?nd known attacks and new ones on some group protocols. Some attacks have been also generalized to cover the case of n participants. The second main contribution of this thesis consists in de?ning a synchronous model, that generalizes standard protocol models by permitting unbounded lists inside messages. This is ensured by the introduction of a new operator called mpair which represents a list built on the same pattern. In this extended model, we have proposed a decision procedure for a particular class of group protocols called the class of well-tagged protocols with autonomous keys, in presence of an active intruder and with composed keys.

Nous donnons une description de l'anneau du groupe symétrique ZS_n <br />en tant que sous-anneau d'un produit direct d'anneaux de matrices sur Z,<br />utilisant le plongement de Wedderburn. Des morphismes modulaires<br />donnent des conditions nécessaires à un tuple de telles matrices pour<br />être contenu dans l'image de ZS_n. <br /><br />Résultat 1: Construction d'un système de morphismes modulaires donnant<br />une condition nécessaire et suffisante à un tel tuple.<br /><br />Résultat 2 : Une formule pour un morphisme modulaire de type<br />"décalage d'une case", ainsi précisant une partie d'un résultat de Carter <br />et Payne.

Ce mémoire présente un point de vue issu de la théorie des groupes discrets sur les groupes de Kac-Moody. Sur les corps finis, ces groupes sont de type fini ; ils opèrent sur de nouveaux immeubles jouissant bien souvent de remarquables propriétés de courbure négative. On justifie que les groupes de Kac-Moody de type fini peuvent être vus comme des généralisations de certains groupes $S$-arithmétiques en caractéristique positive. On explique comment ils fournissent de nouveaux immeubles, et pourquoi on peut s'attendre à ce que les groupes eux-mêmes soient nouveaux. Nous considérons aussi des groupes totalement discontinus généralisant certains groupes semi-simples sur des corps locaux, comme en attestent leurs propriétés combinatoires fines et leur simplicité topologique. L'étude de leurs frontières de Furstenberg est évoquée. Nous résumons la preuve de la complète non linéarité de certains groupes de Kac-Moody. C'est ici que nous utilisons les propriétés des groupes topologiques précédents, en les combinant à un théorème de super-rigidité du commensurateur. En fait, on peut construire des groupes dont toutes les images linéaires sont finies, quel que soit le corps de base à l'arrivée. Enfin, nous conjecturons divers résultats sur les groupes précédemment définis, par exemple, la non linéarité (et peut-être la simplicité) d'une vaste classe de groupes de Kac-Moody de présentation finie. Nous conjecturons également la simplicité abstraite des groupes de Kac-Moody géométriquement complétés, et proposons un lien entre ces groupes et une autre définition des groupes de Kac-Moody (issue de l'étude des variétés de Schubert et de la théorie des représentations). Nous relions ces conjectures à des travaux en cours sur les compactifications d'immeubles de Bruhat-Tits.