Quels sont les mécanismes qui contrôlent l'exhumation des roches métamorphiques de HP(UHP)-BT au niveau des différents types de zones de convergence? Quels sont les conditions indispensables à l'obtention de l'exhumation ? Ces mécanismes sont-ils différents selon la nature des roches impliquées ? Ces questions ont déjà fait l'objet de nombreuses études mais ne sont toujours pas complètement résolues.<br /><br /> Les modèles numériques constituent l'outil idéal pour une telle étude, permettant de réaliser des études paramétriques dont les résultats peuvent être évalués avec les données naturelles. L'étude des résultats P-T-t synthétiques obtenus à partir des pointeurs intégrés au code numérique thermomécanique PARA(O)VOZ, comparés aux données naturelles du métamorphisme pour les Alpes nous a ainsi permis d'étudier les processus d'exhumation lors de la convergence, à la fois en contexte de subduction océanique et continentale. Le cas particulier de l'obduction a été traité dans le cas de l'Oman, pour lequel des estimations P-T complémentaires de haute-résolution ont été spécifiquement réalisées.<br /><br /> Ce travail, par la réalisation de modélisations paramétriques, met en lumière l'influence de paramètres tels que la vitesse de convergence, le taux d'érosion ou encore la nature des lithosphères impliquées et la densité des sédiments sur les processus d'exhumation. Il montre que de bonnes corrélations existent entre les résultats des expériences numériques et les observations de terrain (topographie, morphologie, chemins P-T-t, vitesses d'exhumation).<br /> <br /> S'agissant des mécanismes d'exhumation, envisagés en fonction du contexte de convergence et du type de matériel mis en jeu, cette étude révèle l'importance des forces de volumes responsables des premiers stades rapides d'exhumation, tant au niveau du prisme d'accrétion qu'à l'échelle lithosphérique pour la croûte continentale. Elle confirme, en outre, que les processus d'érosion et de tectonique de surface contrôlent l'exhumation des stades finaux, plus lents. Enfin, elle permet de caractériser plus précisément les problèmes du mécanisme d'exhumation de la croûte océanique qui, une fois éclogitisée, ne peut être exhumée qu'avec l'aide de matériaux moins denses comme la serpentinite ou la croûte continentale.<br /><br /> Un bilan de l'exhumation du matériel sédimentaire, océanique et continental au niveau des zones de convergence est finalement proposé.

La tectonique intracontinentale de la chaîne hercynienne d'Europe est explorée en combinant géologie structurale, pétrologie métamorphique et géochronologie. Cette approche est appliquée à l'étude de différents niveaux de la croûte orogénique dans deux témoins hercyniens − le dôme d'Orlica-Śnieżnik (Sudètes) et les Vosges (NE France) − afin de reconstituer leur évolution paléozoïque. Au Dévonien, l'activité de zones de subduction peut localement aboutir à l'ouverture de bassins d'arrière-arc, mais génère essentiellement un épaississement crustal en domaine intracontinental. Dans les deux massifs, la croûte orogénique se forme alors par amalgamation de portions autochtones et allochtones. La collision dévono-carbonifère est ensuite responsable d'une évolution tectono-métamorphique polyphasée. Au début du Carbonifère inférieur, des transferts verticaux de matière s'opèrent grâce à un plissement d'échelle crustale et juxtaposent ainsi la croûte moyenne enfouie avec la croûte inférieure extrudée. Ce phénomène est remplacé par un aplatissement localisé conduisant à la formation d'une discontinuité intra-orogénique majeure au niveau de la croûte moyenne. Cette discontinuité va permettre un découplage total de la déformation entre croûte supérieure et croûte inférieure, et sa réactivation en régime extensif va favoriser l'exhumation de l'ensemble du système. A la fin du Carbonifère inférieur, l'exhumation est simultanément accommodée par un mécanisme d'amincissement ductile opérant en régime coaxial au coeur de l'orogène et par l'activité de systèmes de détachement fortement non-coaxiaux développés vers les bordures de la chaîne. Dans le cadre de l'orogenèse hercynienne, l'évolution des Sudètes paraît contrôlée par la fermeture du bassin saxothuringien situé au Nord. A l'inverse, le socle vosgien enregistre initialement l'influence des subductions quasi-orthogonales du bassin saxothuringien et de l'océan Paléotéthys avant de subir les effets de la fermeture du système rhénohercynien. Les processus reconnus dans ce travail suggèrent finalement que le caractère de la tectonique intracontinentale n'a que peu varié au cours du Phanérozoïque.

Pas de résumé

Les processus de subduction sont une étape clé de la formation des orogènes et induisent un métamorphisme de haute pression, localisé dans les faciès des schistes bleus et éclogites. Caractériser la durée et l’intensité de ce métamorphisme est ainsi une étape cruciale puisque amenant des contraintes quantitatives sur la géodynamique d’un orogène. Par une étude pétrologique et géochronologique, cette thèse a ainsi pour objectif de préciser les conditions et durées du métamorphisme de haute pression dans le sud du Massif Central Français (chaîne Varisque), à travers l’étude des massifs de Najac, de la Montagne Noire et du Lévézou. Cette thèse associe ainsi une géochronologie multiméthodes (U-Pb sur zircon, rutile et apatite, Lu-Hf et Sm-Nd sur grenat, 40Ar-39Ar sur biotite et muscovite) à des analyses pétrologiques impliquant des modélisations numériques d’équilibres de phases (Theriak-Domino et THERMOCALC). L’étude d’une éclogite du massif de Najac a ainsi permis de déterminer des conditions de 15 à 20 kbar et 560 à 630°C pour le métamorphisme de haute pression. Le début du faciès éclogite y est daté à ~383 Ma, tandis que le pic du métamorphisme éclogitique est atteint à 375.7 ± 1.2 Ma. La datation des éclogites de la Montagne Noire n’a pas permis de préciser un âge solide de l’évènement de haute pression. Néanmoins, les conditions de pression et température du faciès éclogite y sont estimées à ~ 21 kbar et ~ 750°C. L’étude des massifs de Najac et de la Montagne Noire a mis en évidence de potentiels découplages entre les systèmes de terres rares et le système isotopique U-Pb. Les protolithes des terrains éclogitiques du massif du Lévézou, tant mafiques que felsiques, se sont mis en place à ca. 470 Ma. Le métamorphisme éclogitique affectant les roches mafiques est estimé à 21-23 kbar pour 680- 800°C et atteint à ~358 Ma. L’exhumation, bien caractérisée, y est rapide : les terrains éclogitiques atteignent 8-9.5 kbar et ~600°C à ~352 Ma, impliquant une exhumation très rapide, suivie d’un refroidissement de plus de 50°C/Ma. Les granites du massif du Lévézou présentent des pseudomorphoses de cordiérite à disthène-grenat-muscovite-quartz, développées lors du métamorphisme de haute pression et équilibrées à ca. 15-17 kbar et ~670°C. La déformation majeure observée dans ces granites peut s’accompagner de fusion localisée, et semble se produire en différentes étapes, depuis ~352 Ma à ~340 Ma. Replacées dans un contexte général, ces données s’inscrivent pleinement dans les gammes d’âges de la haute pression décrites pour la chaîne varisque et permettent de reconsidérer la tectonique du Massif Central. / Subduction is one of the key stages of the mountain building processes. It leads to the development of high-pressure (HP) metamorphism in the rocks that typically equilibrate in the blueschist or eclogite-facies conditions. Dating the HP metamorphism and estimating its intensity is therefore a major challenge when reconstructing geodynamics through time. Through a petrological and geochronological study, this PhD dissertation aims to better constrain conditions, durations and timings of HP metamorphism in the southern French Massif Central (European Variscan Belt). The massifs of Najac, Montagne Noire and Lévézou were investigated by a multi-method geochronological approach (zircon, rutile and apatite U-Pb dating, garnet Lu-Hf and Sm-Nd dating, biotite and muscovite 40Ar-39Ar dating) associated with a petrological analysis including numerical modelling of phase equilibria (Theriak-Domino and THERMOCALC). The Najac eclogites reached 560-630 °C at 15-20 kbar and the prograde part of the highpressure metamorphic event lasted for ~ 7 Myr starting at ~ 383 and peaking at ~ 376 Ma. Eclogites hosted in sillimanite-bearing migmatites in the Montagne Noire dome (French Massif Central) reached c. 750°C, 21 kbar before significant decompression at high temperatures. However, none of the obtained geochronological dates could be associated with the HP event. The study of the Najac massif and the Montagne Noire Dome highlight potential decoupling between the REE and the U-Pb isotopic systems. The emplacement of the protoliths of felsic and mafic HP rocks in the Lévézou Massif was estimated at ca. 470 Ma. HP metamorphism peaked at 21-23 kbar and 680-800°C at ~358 Ma. The subsequent fast exhumation reached 8-9.5 kbar and ~600°C at ~352 Ma, highlighting a very fast exhumation followed by a cooling rate of 50°C/Ma. Granites from the Lévézou massif display kyanite-garnet-muscovite-quartz pseudomorphs after cordierite that equilibrated at ca. 15-17 kbar and ~670°C. The major deformation in these granites is associated with the exhumation stage, locally accompanied by partial melting, and seems to occur in different episodes, from ~352 Ma to ~340 Ma. On a larger scale, these results are fully in line with the HP ages described in the Variscan Belt and allow to reconsider the tectonics in the French Massif Central.

Notre recherche en Sciences de l’Education s’inscrit dans le champ de l’éducation métamorphique, à savoir visant la transformation du sujet par lui-même, en prenant appui sur l’analyse du dispositif de l’Experiment. Il s’agit, pour les étudiants ingénieurs de l’Institut Catholique des Arts et Métiers, de réaliser un projet de voyage d’une durée de quatre mois, en lien avec un désir personnel dont les formes peuvent varier. Nous restituons le contexte de ce dispositif dans un premier temps. L’Experiment relevant d’une pédagogie ignatienne, nous sommes amenés à examiner l’anthropologie d’Ignace de Loyola, en l’éclairant par des approches contemporaines pour engager la question de la métamorphose du sujet et la construction de son éthicité, dans un second temps. Enfin, nous montrons, par une double approche méthodologique, c'est-à-dire l’analyse structurale d’entretiens et la mise en place d’un atelier d’écriture, que la conjonction du voyage et de l’écriture peut faire de l’Experiment un exercice spirituel émancipatoire pour les étudiants. Nous questionnons donc l’articulation de la formation de soi et du rôle de l’institution, en vue de l’émancipation du sujet. / This research in the Education is part of the metamorphic education field which aims at the transformation of a subject by himself. It’s based on the analysis of the device of the “Experiment”. The student-engineers from the “Institut Catholique des Arts et Métiers” are to organise a 4-month travel project in relation with their personal yearnings. This project can take different forms. First of all, we will account for the context of this device. Then, we will examine the anthropology of Loyola since the “Experiment” is based on his pedagogy. Enlightening this anthropology by current approaches, the questions of the metamorphosis of the subject and the construction of his eticity will be considered. Finally, using a double methodology ie both a structural analysis of interviews and the setting of a writing workshop, we will show to what extend the mix between the writing and the travel leads the “Experiment” to a spiritual exercise of emancipation for the students. The articulation between self training and the role of the Institution - aiming at the emancipation of the subject - will be questioned

Les Transistors Bipolaires à Hétérojonction fonctionnent à hautes fréquences sous des tensions d'environ 5V, en particulier dans le système de matériaux InP/InGaAs. Il est souhaitable d'obtenir ces performances non pas sur InP mais sur GaAs, substrat plus robuste, disponible en taille supérieure et préféré en industrie. Un buffer métamorphique GaAs → InP est alors requis pour relaxer la contrainte due au désaccord de paramètre de maille. Cette thèse porte sur la croissance par Epitaxie par Jets Moléculaires de tels buffers et de TBH InP/InGaAs à base fortement dopée au béryllium. Les buffers sont évalués via un protocole expérimental dédié au TBH, associant des caractérisations «matériaux» (photoluminescence, Double Diffraction des rayons X, microscopies optique et à force atomique AFM) et électriques (diodes métamorphiques). Nous comparons ainsi les deux processus de relaxation possibles : avec introduction progressive de la contrainte sur buffer graduel In(Ga)AlAs, abrupte sur buffer uniforme InP. Le rôle de la cinétique des adatomes III en front de croissance sur le processus graduel est démontré. Les performances des TBH métamorphiques InP/InGaAs épitaxiés sur GaAs via un buffer graduel InGaAlAs sont au final proches de celles des TBH de référence sur InP.

Les dômes métamorphiques portent les marques d'un hydrothermalisme intense concomitant de leur exhumation de long de grandes zones de cisaillement crustales. Sur l'exemple du détachement de l'île de Tinos (Cyclades, Grèce), nous proposons une approche qui combine géologie structurale et techniques analytiques de pointe, pour contraindre l'origine et les modalités de circulation des fluides responsables du métasomatisme. Une succession continue de veines métamorphiques, ouvertes durant l'évolution de la déformation depuis le domaine ductile jusqu'au domaine cassant, est identifiée dans le mur du détachement. Chaque stade d'ouverture occasionne la précipitation de quartz et de calcite. Le fractionnement isotopique de l'oxygène des couples quartz-calcite précipités à la transition fragile-ductile, mesuré à la sonde ionique, passe de 2 à 5 ‰ dans une frange de 50 m vers la faille, soit une chute de température de ~150 °C. Le ?18O de l'eau en équilibre avec ces couples passe de 15 à 0 ‰ dans cette même frange. Seules des circulations convectives de fluides surfaciques peuvent expliquer ces variations thermiques et isotopiques. Un profil isotopique réalisé dans l'ombre de pression d'une pyrite montre une chute brutale du ?18O de 3 ‰, entre deux maxima. Les inclusions fluides piégées dans des ombres de pression similaires, synchrones du cycle isotopique, montrent une forte fluctuation des isochores de stabilité. Les données isotopiques et microthermométriques, qui suggèrent une arrivée cyclique de fluides superficiels conjointe à des variations de la pression des fluides, concordent point à point avec les modèles de pompage sismique en domaine ductile initiés par la zone sismogénique sus-jacente. Enfin, une comparaison des spectres infrarouge d'inclusions fluides piégées en faciès schiste vert et schiste bleu permet d'évaluer les propriétés mouillantes des fluides métamorphiques. A 400 °C, le pic d'absorption des liaisons OH des fluides piégés dans les inclusions schiste bleu est situé à 3475 cm-1, tandis que celui des fluides schiste vert est à 3585 cm-1. Plus fort est le nombre d'onde, plus l'agencement des molécules d'eau est désordonné, occasionnant des tensions d'interface fluide-grain faibles. Les fluides du faciès schiste vert ont donc une capacité à connecter la faible porosité des roches métamorphiques très supérieure à celle des fluides schiste bleu, et peuvent infiltrer le mur du détachement en cours d'exhumation, auparavant en système clos. Ces interprétations permettent de proposer un modèle global de circulation à tous les étages d'un détachement, commandé –dans l'ordre de profondeur croissante- par la convection thermique, les cycles sismiques et la migration diffuse. Ce modèle synthétique résout le paradoxe qui consiste à introduire des fluides surfaciques -à pression hydrostatique- dans une croûte inférieure ductile à pression de pores lithostatique.

Les séries du Chavanon, de la Sioule et d'Ussel sont situées au coeur du massif central français et constituent donc un secteur clé pour la compréhension de cette zone interne de l'orogène varisque en Europe de l'ouest. Leur métamorphisme inverse est traditionnellement expliqué par un empilement de nappes au cours d'un évènement unique au Dévonien. Cet édifice est ensuite affecté par le jeu de grands décrochements régionaux. Ce mémoire établit une comparaison entre les différentes séries grâce notamment à de nombreuses nouvelles données de terrain et de nouvelles données géochronologiques. La succession des déformations telle qu'elle peut être mise en évidence est la suivante : 1) un stade D1, caractérisé par une foliation S1 anatectique fortement pentée, 2) un stade D2 au cours duquel la S1 est reprise par une S2 de faciès amphibolite subhorizontale, de plus en plus pénétrative vers la base des séries et 3) le bâti est affecté par de grands décrochements (cisaillement de la Courtine notamment). Les nouvelles données géochronologiques mettent en avant un polyphasage des métamorphismes et des déformations. L'intégration de ces données dans un modèle géodynamique plus global fait appel à une structure de type " extrusion par poinçonnement ". La discussion met en avant les problèmes du modèle de nappes qui prévalait jusqu'ici.

La tsavorite, grossulaire vert à V-Cr-Mn, est contenue dans des gneiss et roches calco-silicatées graphiteux, souvent associés à des marbres dolomitiques, et appartenant à la ceinture métamorphique néoprotérozoïque mozambicaine. La tsavorite se trouve soit dans des nodules ou des veines de quartz (gisements primaires), soit dans des placers (gisements secondaires). L'étude minéralogique des tsavorites propose un nouveau protocole de certification de leur origine géographique, à partir du rapport V/Cr, de la teneur en Mn et du [delta]18 O. L'étude des gisements de Lemshuku et Namalulu en Tanzanie montre que le métamorphisme des protolithes sédimentaires riches en matière organique et évaporites s'est effectué à P = 7,0 ± 0,4 kbar et T = 677 ± 14°C, à 634 ± 22 Ma (datation U-Th-Pb sur monazite). Le bâti métamorphique s'est refroidi vers 500 Ma (datation 40Ar-39Ar sur muscovite). Deux stades de métasomatose sont reliés à la formation de la tsavorite : (i) une métasomatose de diffusion formant les nodules à P = 5,0-7,4 kbar et T = 580-691°C; (ii) une métasomatose calcique d'infiltration contemporaine de la formation des veines de quartz à P = 3,6-4,9 kbar et T = 505-587°C. Ces dernières sont datées in situ par la méthode Sm-Nd à 606 ± 36 Ma. Les évaporites continentales, déposées dans une sabkha de côte marine avec des sédiments silico-calcaires, sont transformées en tsavorite dans le cas des nodules, alors que les sels fondus sont associés à la formation des veines de quartz. Les minéralisations sont contrôlées par la lithostratigraphie et la tectonique / Tsavorite, a (V, Cr, Mn)-bearing green grossular, is hosted by graphitic gneisses or calc-silicates, often asssociated with dolomitic marbles, and belonging to the Metamorphic Neoproterozoic Mozambique Belt. Tsavorite is found either as nodules or in quartz veins (primary deposits), or in placers (secondary deposits). The mineralogical study of tsavorites suggests a new protocol to certificate their geographical origin, based on the V/Cr ratio, Mn content and delta18O. The study of the Lemshuku and Namalulu deposits in Tanzania has shown that the metamorphism of organic matter-rich and evaporites-rich sedimentary protoliths occurred at P = 7.0 ± 0.4 kbar and T = 677 ± 14°C, at 634 ± 22 Ma (U-Th-Pb dating on monazite). The metamorphic series cooled down at around 500 Ma (40Ar-39Ar dating on muscovite). Two metasomatic stages are linked to the formation of tsavorite : (i) diffusion metasomatism forming nodules at P = 5.0-7.4 kbar and T = 580-691°C; (ii) calcitic infiltration metasomatism forming quartz veins at P = 3.6-4.9 kbar and T = 505-587°C. These last have been dated in situ with Sm-Nd dating at 606 ± 36 Ma. Continental evaporites, deposited in a coastal marine sabkha with (Si, Ca)-bearing sediments, transformed into tsavorite in the case of the nodules, while the molten salts are associated with the formation of the quartz veins. The mineralisations are controlled by lithostratigraphy and structure

Les outils de programmation sont des programmes informatiques qui aident les humains à programmer des ordinateurs. Les outils sont de toutes formes et tailles, par exemple les éditeurs, les compilateurs, les débogueurs et les profileurs. Chacun de ces outils facilite une tâche principale dans le flux de travail de programmation qui consomme des ressources cognitives lorsqu’il est effectué manuellement. Dans cette thèse, nous explorons plusieurs outils qui facilitent le processus de construction de systèmes intelligents et qui réduisent l’effort cognitif requis pour concevoir, développer, tester et déployer des systèmes logiciels intelligents. Tout d’abord, nous introduisons un environnement de développement intégré (EDI) pour la programmation d’applications Robot Operating System (ROS), appelé Hatchery (Chapter 2). Deuxièmement, nous décrivons Kotlin∇, un système de langage et de type pour la programmation différenciable, un paradigme émergent dans l’apprentissage automatique (Chapter 3). Troisièmement, nous proposons un nouvel algorithme pour tester automatiquement les programmes différenciables, en nous inspirant des techniques de tests contradictoires et métamorphiques (Chapter 4), et démontrons son efficacité empirique dans le cadre de la régression. Quatrièmement, nous explorons une infrastructure de conteneurs basée sur Docker, qui permet un déploiement reproductible des applications ROS sur la plateforme Duckietown (Chapter 5). Enfin, nous réfléchissons à l’état actuel des outils de programmation pour ces applications et spéculons à quoi pourrait ressembler la programmation de systèmes intelligents à l’avenir (Chapter 6). / Programming tools are computer programs which help humans program computers. Tools come in all shapes and forms, from editors and compilers to debuggers and profilers. Each of these tools facilitates a core task in the programming workflow which consumes cognitive resources when performed manually. In this thesis, we explore several tools that facilitate the process of building intelligent systems, and which reduce the cognitive effort required to design, develop, test and deploy intelligent software systems. First, we introduce an integrated development environment (IDE) for programming Robot Operating System (ROS) applications, called Hatchery (Chapter 2). Second, we describe Kotlin∇, a language and type system for differentiable programming, an emerging paradigm in machine learning (Chapter 3). Third, we propose a new algorithm for automatically testing differentiable programs, drawing inspiration from techniques in adversarial and metamorphic testing (Chapter 4), and demonstrate its empirical efficiency in the regression setting. Fourth, we explore a container infrastructure based on Docker, which enables reproducible deployment of ROS applications on the Duckietown platform (Chapter 5). Finally, we reflect on the current state of programming tools for these applications and speculate what intelligent systems programming might look like in the future (Chapter 6).