Cette thèse présente une étude détaillée de la composition des fluides de haute température du champ hydrothermal de Lucky Strike (37°N, dorsale médio atlantique) s'appuyant sur 3 campagnes d'échantillonnage réalisées dans le cadre de l'observatoire fond de mer EMSO-Açores. Ce champ hydrothermal s'est développé autour d'un lac de lave fossile bordé au Nord-Ouest, Nord Est et Sud Est par des cônes volcaniques plus anciens. En 2013, la découverte du site hydrothermal de Capelinhos à l'Est, et présentant des compositions de fluides inédites à Lucky Strike (concentration faible en Cl et forte en Fe et Mn), nous permet de proposer un nouveau modèle de circulation hydrothermale basé sur l'application de géothermobaromètres (Si ; Si-Cl ; Fe-Mn) chimiques sur 13 évents hydrothermaux. Nous avons défini 5 groupes de sites selon leur chlorinité et leur position par rapport au lac de lave. Les fluides de Capelinhos, dominés par la phase vapeur, sont rapidement extraits de la zone de séparation de phase (estimée à 2600 m sous le plancher océanique). Les fluides à proximité du lac de lave, avec des chlorinités variables, suggèrent un rééquilibrage à des pressions et températures plus faibles qu'à Capelinhos, cohérent avec des processus de refroidissement conductif et/ou d'entrainement de saumures prenant place lors de la remontée des fluides jusqu'à la base de la couche 2A. La fluctuation de la chlorinité témoigne de la variabilité du temps de résidence du fluide dans la zone de remontée, et ses relations avec les caractéristiques physiques de la croûte océanique. Nous avons évalué la variabilité temporelle de la composition des fluides collectés au cours des campagnes effectuées entre 2009 et 2015. Deux échelles de temps sont mises en évidence. (1) l'échelle de l'échantillonnage, i.e. de l'heure, répond à des phénomènes de subsurface, et révèle qu'un fluide hydrothermal refroidi conductivement (T<150°C) est stocké dans la roche poreuse entourant le site de décharge. (2) l'échelle de temps pluri-annuelle montre une fluctuation des conditions de P et T apparentes de la zone de séparation de phase et du degré d'altération du substratum dans la zone de réaction. Les variations intersites du rapport Ca/Na (indicateur du degré d'albitisation) sont dues à la séparation de phase, à l'exception des sites du Sud-Est du lac de lave qui indiquent un degré d'altération plus élevé. La concentration en Li et sa composition isotopique indiquent que le basalte du substratum est relativement frais avec des rapports W/R proches de 1 pour tous les groupes, avec des d7Li du fluide identiques au substratum. Pour le Sr nous calculons des rapports W/R plus élevés, autour de 7-8, qui sont dus au Sr de l'eau de mer initiale qui est partiellement stocké et à la formation de minéraux secondaires(l'albite et l'anhydrite) lors des interactions eau-roche dans le faciès schiste vert. La faible teneur en métaux des fluides situés autour du lac de lave est probablement due à un piégeage en subsurface, équivalent à ~65% du Fe mobilisé dans la zone de réaction (basé sur les teneurs des fluides de Capelinhos). La variabilité de chlorinité des fluides de Lucky Strike offre l'opportunité d'étudier le comportement des terres rares à l'échelle d'un site hydrothermal. Ainsi, nous montrons l'effet de la séparation de phase sur les terres rares légères et lourdes ainsi que le lien entre l'Eu et le cycle géochimique du Sr. Les terres rares dissoutes dans le panache hydrothermal montrent une perte au cours du mélange ainsi que des phénomènes de redissolution visible via la signature isotopique en Nd. Cette modification des compositions isotopiques en Nd de l'eau de mer profonde est similaire au " boundary exchange " observé aux interfaces océan-plateforme continentale. Au vue de la répartition des champs hydrothermaux sur les dorsales océaniques, ce phénomène pourrait avoir un impact sur le bilan océanique du Nd et donner lieu à un phénomène de " ridge exchange ". / This thesis present a detailed study of the composition of high temperature fluid from the Lucky Strike hydrothermal field (37°N, Mid Ocean Ridge) collected during three sampling campaigns within the framework of the deep sea observatory EMSO-Azores. The hydrothermal field has developped around a fossil lava lake framed by three ancient volcanic cones. In 2013, the discovery of a new active site to the East of the system, and presenting an unprecedented fluid composition at Lucky Strike (low Cl concentration and high Fe and Mn concentration), lead to a new model of hydrothermal circulation based on chemical geothermobarometer (Si; Si-Cl) and geothermometer (Fe-Mn) applied to 13 venting sites. We defined 5 groups of sites based on their chlorinity and location around the lava lake. It appears that vapor-dominated Capelinhos fluids were extracted relatively fast from the phase separation zone (estimated at ~2600mbsf). Nevertheless, fluids in the vicinity of the lava lake, both vapor and brine dominated, display P and T conditions of equilibration lower than for Capelinhos fluids. This highlights on-going equilibration process through conductive cooling and/or brine entrainment in the upflow zone up to the layer 2A of the oceanic crust. Chlorinity variations highlight the varying residence time in the upflow of the fluids between vents which depends on physical characteristics of the crust. We studied the temporal variability of fluid composition collected between 2009 and 2015. Two time scales have been evidenced. The first is the sampling scale, i.e. ~1h, and corresponds to subsurface processes indicating that a hydrothermal fluid, conductively cooled (T<150°C), was stored in the porous substratum close to the discharge. The second is at the scale of the year. It shows fluctuations of P and T conditions in the phase separation and different degree of alteration of the substratum in the reaction zone. Intersites variations of Ca/Na ratios (proxies for albitisation) are related to phase separation expected the South Eastern sites that display a more altered substratum. To avoid this issue, we use Li and Sr isotopes which are not affected phase separation. Li concentration and isotopic composition indicates that basalt substratum is relatively fresh with W/R ratio close to 1 calculated for all groups with d7Li of fluid equivalent to substratum. Sr concentration and isotopic composition suggest higher W/R ratio (~7-8) because of seawater Sr partially removed in the recharge. Moreover, other parameters are at play such as secondary mineral formation (albite, anhydrite) during water rock interaction in the greenschist facies. Because the basalt is relatively fresh, the low metal content in the fluid around the lava lake is due to storage, in the subsurface, of approximately ~60-70% of Fe that is mobilized in the reaction zone compared to Fe-Mn rich Capelinhos fluids. Furthermore, the Cl variability from the fluids at Lucky Strike brings a unique opportunity to study the REE distribution from the reaction zone to the discharge into the deep ocean. We show that the LREE are preferentially concentrated into the brine phase. Furthermore, the Eu is linked to the Sr geochemical cycle. Dissolved REE from buoyant plume fluids highlight a scavenging effect. The Nd isotopic compositions indicate redissolution process. This Nd isotopes modification of the deep seawater is similar to the process of "boundary exchange" that occurs at the ocean/continents interface. Considering the global distribution of submarine hydrothermalism, the Nd modification at the ridge could have an impact on the global Nd cycle in the oceans and act as a "ridge exchange".

Projet de canonisation de Pie XII, caricatures de Mahomet, procès de l'Eglise de scientologie en octobre 2009, interdiction de la burqa, tous ces évènements récents soulèvent le problème des relations entre religions, pouvoirs publics, particuliers et droits fondamentaux, qui nourrissent la problématique de la thèse.La conception des droits fondamentaux selon l'Eglise catholique contredit-elle celle consacrée par l'ordre juridique national français, garanti par le juge constitutionnel ? Le phénomène religieux en France comme dans de nombreux Etats européens, n'a cessé d'évoluer à partir du tournant des XVIIIe - XIXe siècles. chaque pays, en raison de son substrat philosophique, aborde cette évolution de manière différente : Aufklärung, Lumières françaises notamment. A chaque renouveau religieux l'Eglise catholique, comme la société civile, a associé, voire érigé, des théologiens, Ozanam, Lacordaire, Joseph de Maistre, abbé de Lamennais, père Portal, abbé Alfred Loisy par exemple. Cette association - évolution de la pensée de la doxa/ des intellectuels/ des Eglises locales - a abouti concrètement à une évolution de la doctrine du Saint-siège. Celui-ci a ainsi progressivement reconnu les droits fondamentaux, précédemment condamnés au nom de la primauté de l'Eglise sur l'homme. Il s'agit donc d'étudier l'évolution des rapports entre droits fondamentaux et doctrine de l'Eglise catholique, alors que ces deux concepts ne sont pas figés. Le cadre historique et les termes du sujet nécessitent d'abord une exégèse des textes, nationaux, internationaux, canoniques et laïcs. Ce travail épistémologique oblige, dans un second temps, à s'interroger sur la nature des rapports entre Eglise catholique et droits fondamentaux, notamment sur leur conflictualité. A partir des discours officiels de l'Eglise catholique il est intéressant d'apprécier leur influence, à la fois au sein de l'Eglise catholique et à l'égard de la société civile. / It should demonstrate the originality of the papal position about human rights and focus on the following paradox: the creation and use of a specific concept by the Catholic Church "the rights" whereas it is built by borrowing tools including the secular law order. Indeed, it used the tools of Roman law, particularly its normative and territorial functioning. This contribution tries to identify the context in which human rights have emerged in catholic speech and in canon law. The factors and the issues contribute to understand the canon process of recognition by the Catholic Church. This work investigates three classic themes in public law: the scope of the rights involved, the persons, and finally the guaranties regime.

Cette thèse présente des résultats obtenus dans deux domaines : la théorie des langages, et la théorie des graphes. En théorie des langages, on s’intéresse à des problèmes de caractérisation de classes de langages réguliers. Le problème générique consiste à déterminer si un langage régulier donné peut être défini dans un certain formalisme. Les méthodes actuelles font intervenir un problème plus général appelé séparation. On présente ici deux types de contributions : une généralisation d’un résultat de décidabilité au cadre des langages de mots infinis, ainsi que des bornes inférieures pour la complexité du problème de séparation. En théorie des graphes, on considère le problème classique de coloration de graphes, où on cherche à attribuer des couleurs aux sommets d’un graphe de sorte que les sommets adjacents reçoivent des couleurs différentes, le but étant d’utiliser le moins de couleurs possible. Dans le cas des graphes peu denses, la méthode de déchargement est un atout majeur. Elle a notamment joué un rôle décisif dans la preuve du théorème des quatre couleurs. Cette méthode peut être vue comme une construction non conventionnelle d’un schéma de preuve par induction, spécifique à la classe de graphes et à la propriété considérées, et où la validité du schéma est rarement immédiate. On utilise des variantes de la méthode de déchargement pour étudier deux types de problèmes de coloration. / In this thesis, we present results obtained in two fields: formal language theory and graph theory. In formal language theory, we consider some problems of characterization of classes of regular languages. The generic problem consists in determining whether a given regular language can be defined in a fixed formalism. The current approaches use a more general problem called separation. We present here two types of contributions: a generalization of a decidability result to the setting of infinite words, together with lower bounds for the complexity of the separation problem. In graph theory, we consider the classical problem of graph coloring, where we assign colors to vertices of a graph in such a way that two adjacent vertices receive different colors. The goal is to use the fewest colors. When the graphs are sparse, a crucial tool for this is the discharging method. It is most notably decisive in the proof of the Four-Color Theorem. This method can be seen as an unconventional construction of an inductive proof scheme, specific to the considered problem and graph class, where arguing the validity of the scheme is rarely immediate. We use variants of the discharging method to study two types of coloring problems.

Dans le cadre du retraitement du combustible nucléaire français, l’axe 1 de la loi du 26 juin 2006 vise à « rechercher des solutions permettant la séparation et la transmutation des éléments radioactifs à vie longue dans les déchets ». Ces travaux de thèse s’inscrivent dans cette thématique avec comme objectif la séparation actinides(III) / lanthanides(III) par extraction liquide-liquide ou à l’aide de procédés membranaires. Les performances de ces deux techniques de séparation ont été comparées à l’aide de ligands organiques hydrosolubles commerciaux. De nouveaux ligands ont été synthétisés et évalués en extraction liquide-liquide pour la séparation américium(III) / lanthanides(III) ainsi qu’américium(III) / curium(III) après une mise au point au préalable des conditions opératoires optimum sur un mélange europium(III) / lanthane(III). Enfin, de nouvelles membranes inorganiques de nanofiltration ont été utilisées. Les différents paramètres opératoires ont été étudiés et la séparation europium(III) / lanthane(III) a pu être réalisée à l’aide de ligands hydrosolubles commerciaux. Les courbes de rétention en fonction du pH ont pu être corrélées au diagramme de spéciation des ions permettant ainsi d’envisager une possible séparation américium(III) / lanthanides(III) / In the french nuclear waste treatment strategy, actinides(III) / lanthanides(III) separation is one of the key step. This work is focused on the use of nanofiltration membranes and liquidliquid extraction processes to achieve this separation. These two techniques have been compared with hydrophilic organic compounds. New ligands have also been synthesized and evaluated on actinides(III) / lanthanides(III) separation by liquid-liquid extraction. Conditions have been optimized on an europium(III) / lanthanum(III) model. Finally, new inorganic membranes have studied for the europium(III) / lanthanum(III) separation. The different operating parameters have been studied such as pH, ionic strength and lanthanides concentration. Separation has been done by using commercially available hydrophilic organic ligands. Elements’ rejection versus pH have been correlated to their speciation in water. These results allow us to think that actinides(III) / lanthanides(III) separation is possible according to the pH

L'entrée à l'université représente une épreuve de séparation que nous pouvons appréhender selon deux axes : une épreuve sociale dans une perspective de changement de vie et de préparation à la vie active, mais aussi et surtout une épreuve psychique. Cette épreuve se caractérise par un ensemble de remaniements pulsionnels en lien avec l'investissement de nouveaux objets de Connaissance. Le rapport à la Connaissance Universitaire viendrait réactiver des fantasmes infantiles de la relation objectale, par une remise en scène fantasmatique du rapport pulsionnel au corps de la mère. Il importe alors pour le nouvel étudiant de créer en soi une aire interne de pare-excitation, espace de gestion des mouvements pulsionnels, qui conditionne sa capacité à faire face à la séparation, à assumer la solitude et son corollaire : la honte. Nous avons ainsi mis en évidence combien la honte est présente lorsque sont convoquées les assises narcissiques du sujet, lors d'une épreuve de séparation.

En France, alors qu'un quart des premières unions sont rompues dans les cinq années qui suivent leur formation, un nombre croissant de personnes vivent les conséquences sociales, familiales et économiques de la séparation. Ce travail porte sur les comportements familiaux après la séparation d'une première union cohabitante, et explicite les conséquences démographiques de la montée des ruptures. Nos résultats sont tirés d'analyses démographiques et statistiques effectuées à partir des données de l'enquête « Étude des relations intergénérationnelles » (Érfi, Ined-Insee, 2005), de l'«Enquête familles et employeurs » (EFE, Ined, 2004) et de l'enquête « Étude de l'histoire familiale » (EHF, Insee-Ined, 1999). Nous tirons trois grands enseignements de cette thèse. 1) La fréquence de remise en couple des femmes a augmenté au début des années 1980, au cours de la période de grands changements familiaux. Chez les hommes elle a légèrement baissé dans les dernières décennies, ce qui peut être lié à des changements d'ordre socio-économique. Les femmes séparées ayant des enfants se remettent moins souvent en couple, et celui-ci est alors plus fragile. 2) Les hommes et les femmes ont des comportements conjugaux différents, qui dépendent de leurs caractéristiques socioculturelles. Les personnes ayant vécu une première union plus engagée – par sa longueur, son statut ou même sa fécondité pour les hommes – paraissent plus attachées à la vie de couple en général. Notamment, les deuxièmes unions semblent plus stables lorsqu'elles suivent une première union engagée. 3) La hausse de la fréquence des ruptures serait à l'origine d'un retard et d'une baisse de la fécondité, car la séparation réduit la période de conception pour les femmes. La survenue d'une naissance dans une deuxième union dépend des caractéristiques combinées des deux conjoints : leur âge, et leurs enfants respectifs. Elle est particulièrement peu probable lorsque la femme atteint des âges moins fertiles ou si les deux conjoints ont déjà des enfants lors de la mise en couple.

Cette thèse propose une extension de la logique de séparation pour les programmes parallèles et orientés-objets. La logique de séparation est un formalisme récent et prometteur pour vérifier les programmes impératifs. Cependant, jusqu'à présent, la logique de séparation a été appliquée à des programmes utilisant un opérateur parallèle irréaliste (||) et des verrous non-ré-entrants (contrairement au langage Java). Dans cette thèse, nous adaptons la logique de séparation aux opérateurs "fork" et "join" (utilisés par de nombreux langages: C, Java, etc...) et aux verrous ré-entrants (utilisés par le langage Java).<br /><br />Cette adaptation inclut un système de vérification pour des programmes similaires aux programmes Java. Ce système est constitué d'un ensemble de triplets de Hoare qui forment un algorithme de vérification. La preuve de correction de ce système a été effectuée et ce système a été évalué sur plusieurs exemples ambitieux (dont la classe Itérateur de la librairie Java et un algorithme de couplage de verrous).<br /><br />En plus de l'extension décrite ci-dessus, plusieurs analyses utilisant la logique de séparation ont été inventées.<br /><br />La première analyse consiste à spécifier les séquences d'appels de méthodes autorisées (appelés "protocoles") dans les classes. Cette analyse décrit finement des protocoles complexes (telle que celui de la classe Itérateur). En outre, nous avons proposé une nouvelle technique permettant de vérifier que les spécifications d'un programme sont correctes en utilisant les protocoles.<br /><br />La seconde analyse permet de montrer qu'une formule en logique de séparation n'implique pas une autre formule. Cela est utile dans les vérificateurs de programmes car ceux-ci doivent fréquemment démontrer des implications entre formules. L'intérêt de cette analyse est que sa complexité est basse : cela permet de l'utiliser souvent sans consommer beaucoup de ressources.<br /><br />La troisième analyse permet de paralléliser automatiquement des programmes. Cette analyse prend en entrée des programmes prouvés en logique de séparation et rend en sortie des programmes parallélisés, optimisés, et prouvés. Notre analyse utilise la sémantique de séparation de l'opérateur "*" pour détecter quand deux sous programmes accèdent à des parties disjointes du tas. Dans ce cas, la parallélisation est possible. L'algorithme de détection est implémenté par un système de réécriture.

L'entrée à l'université représente une épreuve de séparation que nous pouvons appréhender selon deux axes : une épreuve sociale dans une perspective de changement de vie et de préparation à la vie active, mais aussi et surtout une épreuve psychique. Cette épreuve se caractérise par un ensemble de remaniements pulsionnels en lien avec l'investissement de nouveaux objets de Connaissance. Le rapport à la Connaissance Universitaire viendrait réactiver des fantasmes infantiles de la relation objectale, par une remise en scène fantasmatique du rapport pulsionnel au corps de la mère. Il importe alors pour le nouvel étudiant de créer en soi une aire interne de pare-excitation, espace de gestion des mouvements pulsionnels, qui conditionne sa capacité à faire face à la séparation, à assumer la solitude et son corollaire : la honte. Nous avons ainsi mis en évidence combien la honte est présente lorsque sont convoquées les assises narcissiques du sujet, lors d'une épreuve de séparation.

Les travaux de thèse présentés dans ce mémoire ont permis le développement d'imageurs à courants de Foucault (ICF) intégrés et innovateurs utilisant un procédé magnéto-optique pour la mesure directe haute résolution de champ magnétique. Les ICF sont destinés à l'évaluation non-destructive des joints rivetés sur des structures aéronautiques et permettront la caractérisation avancée de ces structures. Les images fournies par l'ICF de laboratoire utilisé durant cette thèse et appliqué à l'inspection de rivets fissurés présentent des informations utiles pour la caractérisation des rivets. Ces images nécessitent des traitements par des algorithmes d'amélioration de la visualisation des fissures afin de mener à bien ces caractérisations. Ces algorithmes basés sur des analyses en composantes principales (ACP) ont été développés et leurs performances quantifiées. A partir de ces données traitées, des processus de caractérisation de rivets, c'est à dire la détection de fissures et leur classification en termes de longueur et profondeur, ont été proposés. Ces traitements donnent de bons résultats et permettent de localiser assez précisément des fissures enfouies dans les plaques de métal rivetées. Cette étude est particulièrement encourageante car elle permettra par la suite d'appliquer des algorithmes d'inversion afin de reconstruire les défauts détectés.

Une nouvelle stratégie de calcul multiéchelle est développée pour l'analyse de structures hétérogènes. Elle inclut une procédure d'homogénéisation automatique en temps et en espace et devrait se substituer aux stratégies d'homogénéisation standards dans certains domaines d'application. L'étude de points clés conditionnant les performances de la stratégie a également conduit à l'élaboration de nouveaux outils. Il est proposé une méthode de discrétisation saine des quantités d'interface pour les méthodes de décomposition de domaine mixtes. Une technique d'approximation du problème homogénéisé basée sur l'introduction d'une troisième échelle est également introduite. Enfin, il est proposé une méthode d'approximation robuste d'équations d'évolution linéaires, basée sur le concept d'approximation radiale (décomposition en variables séparées), qui permet la construction a priori d'une base réduite pertinente de fonctions spatiales. Ces améliorations permettent d'envisager l'analyse de structures composites à grand nombre de cellules.