De tous les paramètres du métamorphisme, la pression est celui dont l'influence sur les microstructures cristallines est la plus mal connue. Pour mettre en évidence ce rôle de la pression de formation, une étude de la séquence d'empilement des phyllosilicates a été entreprise en microscopie électronique (HRTEM). Les phyllosilicates présentent la particularité d'avoir des structures bidimensionnelles dont l'adaptation à des variations de leur environnement se fait préférentiellement selon l'axe C d'empilement des feuillets. Pour souligner une influence de la pression, les échantillons ont été choisis les plus proches possibles de pôles purs et ils proviennent de domaines très variés de pression, entre 1 et 30 kbar, mais de . températures similaires autour de 300-400°C, exceptionnellement 750°C. L'essentiel : de ce travail de thèse a concerné tout d'abord la cookéite, qui est une chlorite di- . trioctaédrique lithinifère, avant d'être étendu aux autres phyllosilicates non micacés du métamorphisme, sudoïte, c1inochlore, pyrophyllite et talc. L'augmentation de pression entraîne une mise en ordre remarquable des séquences qui se dépouillent * progressivement de leurs fautes d'empilement. Cette mise en ordre s'accompagne d'une augmentation considérable des périodes d'empilement et un grand nombre de polytypes complexes ont pu être décrits. Le cas du talc est spectaculaire. Des empilements multipériodiques ont été obseNés à 38, 45, 50 couches, comportant des sous-périodes complexes à 7, 10, 12 couches. La pression conditionne la formation de l'interstratifié 1 cookéite/1 paragonite (sali otite) et permet l'apparition exceptionnelle d'un interstratifié à très longue-période 1 :30. Outre la mise en évidence de l'influence de la pression sur le polytypisme et l'interstratification, cette thèse décrit, pour la première fois en grand nombre, des polytypes à longue-période dans les chlorites et le talc. Le métamorphisme apparaît comme une succession d'étapes de dissolution-recristallisation. Les périodes des polytypes complexes et des interstratifiés, ainsi que la fréquence et la répartition des macles dans les structures phyllosilicatées sont probablement liées à l'état des contraintes élastiques agissant localement dans le cristal

Dans cette thèse on a étudié par diffraction des rayons X des polytypes à longue période de micas, qui sont des cristaux naturels formés en condition hors équilibre dans un système magmatique. Leur séquence d'empilement peut être considérée comme une combinaison plus ou moins complexe de trois polytypes à courte période 1M, 2M1 et 3T, appelés « structures de base ». L'objectif est d'obtenir les premiers affinements structuraux des ces polytypes avec attention particulière à la distribution des cations dans chaque feuillet, car, d'après la littérature, il existe vraisemblablement une relation entre cette distribution et le mécanisme de formation de ces polytypes. Plus de 120 cristaux ont été analysés, parmi lesquels deux polytypes, dont la période est formée respectivement par 4 et 5 feuillets (indiqués comme 4M3 et 5M3 respectivement en notation de Ramsdell), ont été sélectionnés. Grâce aux résultats de l'affinement, deux interprétations de formation sont possible pour le polytype 4M3, qui prennent en considération le fait que la séquence d'empilement peut-être formée par l'inter-croissance de deux sous-structures : une 3T avec une 1M ou deux sous-structures 2M1 ; dans le dernier cas il s'agit d'un exemple de « cell-twin ». Les résultats de l'affinement structural du polytype 5M3 ont permis de prouver pour la première fois la coexistence des feuillets de type M1 et M2, qui diffèrent pour la distribution cationique dans la couche octaédrique, dans le même polytype. La formation de ces polytype peut-être due à la combinaison de deux sous-structures de base et plusieurs interprétations sont possibles : 3T+1M, 3T+2M1, 1M+2M1, ou deux 1M. Une étude géologique a été effectuée pour reconstruire l'histoire de la rhyodacite contenant les polytypes à longue période. Cette roche s'est formée suite à un mélange de magma, comme indiqué par la présence de textures de déséquilibre de plusieurs minéraux, phénomène qui semble avoir un rôle important dans la formation des ces polytypes, en incrémentant l'activation et les interactions des spirales de croissance, mais aussi les interactions spirale-cristal et cristal-cristal. / We have studied by X-ray diffraction long period polytypes of micas, that are natural crystals formed far from the equilibrium condition in a magmatic system. Their stacking sequence can be considered as a more or less complex combination of three short polytypes 1M, 2M1 and 3T, called "basic structures". The aim was to obtain the first structural refinements of these polytypes, with special attention to the cationic distribution in the octahedral sheet, because, according to the literature, there seems to be a relation between this distribution and the formation of these polytypes. More than 120 crystals have been analysed, and two polytypes have been chosen, whose period is formed respectively by 4 and 5 layers (indicated as 4M3 and 5M3 respectively in Ramsdell notation). The refinement results suggest two interpretations for the formation of the 4M3 polytype, both indicating that the stacking sequence can be formed by the inter-growth of two sub-structures: a 3T with a 1M or two 2M1 sub-structures; the last case is an example of "cell twin". The results of the structural refinement of the 5M3 polytype show for the first time the coexistence of M1 and M2 types of layer, which differ for the cation distribution in the octahedral sheet, in the same polytype. The formation of this polytype can be due to the combination of two basic sub-structures and several interpretations are possible: 3T+1M, 3T+2M1, 1M+2M1, or two1M. A geological study has been done to reconstruct the history of the rhyodacite containing the long period polytypes. This rock is formed after a magma mixing, as showed by the presence of the disequilibrium textures of several minerals; this phenomenon seems to play a fundamental role for the formation of these polytypes, increasing the spiral?s activation and interactions, but also the spiral-crystal and crystal-crystal interactions.

Ces travaux s'inscrivent dans le projet MGS qui étudie l'apport de notions topologique dans les langages de programmation. Nous étudions et développons les notions de collection topologique (un ensemble de valeurs muni d'une relation de voisinage) et de transformation (une fonction définie par des règles de réécriture utilisant la notion de voisinage). Ces notions apportent un point de vue unifié sur les structures de données, une extension de la définition des fonction par cas et un cadre alternatif à la notion de polytypisme, sans se limiter aux types de données algébriques. Dans cette thèse, nous développons : -un algorithme générique de filtrage ; -un schéma d'évaluation d'ordre supérieur ; -un système de types traitant les collections hétérogènes, les transformations polytypiques et doté d'inférence automatique ; -l'utilisation du typage pour la compilation ; -de nombreux exemples validant la pertinence des choix effectués.