Le bassin d'Erlian localisé au NE de la Chine s'est développé au cours de l'extension continentale de la fin du Mésozoïque en Asie de l'Est. Le socle sur lequel il repose correspond à la partie orientale de la ceinture orogénique centre asiatique. Les granites indosiniens (236.8±5.8 Ma) étudiés, proviennent d'une série magmatique calco-alcaline fortement potassique dérivée de la fusion partielle d'un manteau enrichi (143Nd/144Ndi faible; epsilon Nd(t) négatif) et correspondent à des sources majeures d'U. Les systèmes fluviatiles en tresse qui dominent au cours de l'épisode post-rift du bassin, sont des environnements favorables au dépôt des sables réduits qui constituent les pièges pour les minéralisations U. Les sédiments post-rifts contiennent des concentrations syn-sédimentaires significatives en U, principalement adsorbé aux minéraux argileux. Celles-ci sont ensuite redistribuées quasi in situ au cours de l'évolution diagénétique des sédiments, s'exprimant sous forme de coffinite et de pechblende (e.g. Nuheting). La MO contenue dans ces sédiments est d'origine continentale et correspond à un kérogène de type IV immature. Enfin, le gisement roll front de Bayinwula se caractérise par un modèle biogénique. Dans la zone à pyrite, la MO est dégradée par des bactéries sulfato-réductrices. La production de H2S contribue à la dissolution des oxydes de fer/titane qui sont progressivement remplacés par la pyrite (de même que la MO), caractérisée par une signature delta 34S très négative. L'U porté par ces oxydes et la MO est libéré et peut alors être lessivé par les fluides oxydants. Le H2S produit favorise la réduction de l'U qui précipite au front sous forme de coffinite et de ningyoite / The Erlian Basin located in NE China developed during the late Mesozoic continental extension in eastern Asia. This basin lies on a basement corresponding to the eastern part of the Central Asia Orogenic Belt. Indosinian magmatism (236.8±5.8 Ma) is widely represented by high-K calcalkaline granites derived from an enriched mantle (low 143Nd/144Ndi; negative epsilon Nd(t)) and correspond to major U sources. Braided fluvial systems of post-rift sediments of the Erlian Basin correspond to favorable sedimentary conditions for the genesis of permeable and reduced sandstones. Post-rift sediments contain significant synsedimentary U concentrations, mainly adsorbed on clay minerals. These pre-concentrations are redistributed in situ, during the diagenetic evolution, and mineralized as coffinite and pitchblende replacing pyrite or pyritized OM (e.g. Nuheting). The OM occurring within these sediments is mainly terrigenous and corresponds to kerogens of type IV, thermally immature. Finally, the roll front-type Bayinwula deposit is characterized by a biogenic model involving reactions between OM, U-rich Fe/Ti oxides and sulfate-reducing bacteria. In the pyrite zone, the OM is degraded by bacteria and replaced by pyrite. H2S production contributes in the dissolution of Fe/Ti oxides that are progressively epigenized into pyrite, characterized by strongly negative values of delta 34S. U concentrations from Fe/Ti oxides and OM are liberated and can be leached by oxygenated groundwater. H2S creates a reducing barrier contributing in the reduction of uranium that precipitates at the redox front as coffinite and ningyoite

L'Amazonie, bien qu'elle soit essentiellement couverte par une forêt de basse altitude, possède quelques reliefs. Les travaux précédents ont montré que la Guyane en présentait deux types : les inselbergs et les sommets tabulaires sur roches basiques. Sur ces derniers, la végétation y est relativement uniforme entre les reliefs d'altitude et de nature géomorphologique comparables. Notre travail vise principalement à étudier la composition floristique le long d'un gradient altitudinal en s'appuyant sur plusieurs bioindicateurs. Pour ce faire, notre étude s'appuie sur l'utilisation de trois groupes de végétaux vasculaires : les Arecaceae, les Melastomataceae et les Ptéridophytes. L'étude confirme une variation de la composition à 500 mètres d'altitude mais également à des altitudes inférieures et supérieures en fonction des groupes étudiés.

La grammaticalité d'une phrase est habituellement conçue comme une notion binaire : une phrase est soit grammaticale, soit agrammaticale. Cependant, bon nombre de travaux se penchent de plus en plus sur l'étude de degrés d'acceptabilité intermédiaires, auxquels le terme de gradience fait parfois référence. À ce jour, la majorité de ces travaux s'est concentrée sur l'étude de l'évaluation humaine de la gradience syntaxique. Cette étude explore la possibilité de construire un modèle robuste qui s'accorde avec ces jugements humains.<br>Nous suggérons d'élargir au langage mal formé les concepts de Gradience Intersective et de Gradience Subsective, proposés par Aarts pour la modélisation de jugements graduels. Selon ce nouveau modèle, le problème que soulève la gradience concerne la classification d'un énoncé dans une catégorie particulière, selon des critères basés sur les caractéristiques syntaxiques de l'énoncé. Nous nous attachons à étendre la notion de Gradience Intersective (GI) afin qu'elle concerne le choix de la meilleure solution parmi un ensemble de candidats, et celle de Gradience Subsective (GS) pour qu'elle concerne le calcul du degré de typicité de cette structure au sein de sa catégorie. La GI est alors modélisée à l'aide d'un critère d'optimalité, tandis que la GS est modélisée par le calcul d'un degré d'acceptabilité grammaticale. Quant aux caractéristiques syntaxiques requises pour permettre de classer un énoncé, notre étude de différents cadres de représentation pour la syntaxe du langage naturel montre qu'elles peuvent aisément être représentées dans un cadre de syntaxe modèle-théorique (Model-Theoretic Syntax). Nous optons pour l'utilisation des Grammaires de Propriétés (GP), qui offrent, précisément, la possibilité de modéliser la caractérisation d'un énoncé. Nous présentons ici une solution entièrement automatisée pour la modélisation de la gradience syntaxique, qui procède de la caractérisation d'une phrase bien ou mal formée, de la génération d'un arbre syntaxique optimal, et du calcul d'un degré d'acceptabilité grammaticale pour l'énoncé.<br>À travers le développement de ce nouveau modèle, la contribution de ce travail comporte trois volets.<br>Premièrement, nous spécifions un système logique pour les GP qui permet la révision de sa formalisation sous l'angle de la théorie des modèles. Il s'attache notamment à formaliser les mécanismes de satisfaction et de relâche de contraintes mis en oeuvre dans les GP, ainsi que la façon dont ils permettent la projection d'une catégorie lors du processus d'analyse. Ce nouveau système introduit la notion de satisfaction relâchée, et une formulation en logique du premier ordre permettant de raisonner au sujet d'un énoncé.<br>Deuxièmement, nous présentons notre implantation du processus d'analyse syntaxique relâchée à base de contraintes (Loose Satisfaction Chart Parsing, ou LSCP), dont nous prouvons qu'elle génère toujours une analyse syntaxique complète et optimale. Cette approche est basée sur une technique de programmation dynamique (dynamic programming), ainsi que sur les mécanismes décrits ci-dessus. Bien que d'une complexité élevée, cette solution algorithmique présente des performances suffisantes pour nous permettre d'expérimenter notre modèle de gradience.<br>Et troisièmement, après avoir postulé que la prédiction de jugements humains d'acceptabilité peut se baser sur des facteurs dérivés de la LSCP, nous présentons un modèle numérique pour l'estimation du degré d'acceptabilité grammaticale d'un énoncé. Nous mesurons une bonne corrélation de ces scores avec des jugements humains d'acceptabilité grammaticale. Qui plus est, notre modèle s'avère obtenir de meilleures performances que celles obtenues par un modèle préexistant que nous utilisons comme référence, et qui, quant à lui, a été expérimenté à l'aide d'analyses syntaxiques générées manuellement.

Cette thèse se situe dans le contexte de la programmation par contraintes (CP). Plus précisément, nous nous sommes intéressés au problème de satisfaction de contraintes pondérées (WCSP). De nombreuses approches ont été proposées pour traiter ce problème d’optimisation. Les méthodes les plus efficaces utilisent des cohérences locales souples sophistiquées comme par exemple la cohérence d’arc directionnelle complète FDAC∗, la cohérence d’arc directionnelle existentielle EDAC∗, etc. Établies grâce à des opérations de transferts de coût préservant l’équivalence des réseaux, l’utilisation de ces cohérences permet généralement d’accélérer la résolution en réduisant l’espace de recherche via la suppression de valeurs et le calcul de bornes inférieures utiles en pratique. Cependant, l’utilisation de ces méthodes pose un problème lorsque l’arité des contraintes augmente de manière significative. L’efficacité des techniques du cadre du problème de satisfaction de contraintes (CSP) étant avérée, nous pensons que l’intégration de techniques CSP peut être très utile à la résolution d’instances WCSP. Dans cette thèse, nous proposons tout d’abord un algorithme de filtrage établissant la cohérence d’arc souple généralisée GAC∗ sur des contraintes tables souples de grande arité. Cette approche combine la technique de réduction tabulaire simple (STR), issue du cadre CSP, et le principe de transfert de coûts. Notre approche qui est polynomiale calcule efficacement pour chaque valeur les coûts minimaux dans les tuples explicites et implicites des contraintes tables souples. Ces coûts minimaux sont ensuite utilisés pour transférer les coûts afin d’établir GAC∗. Dans un second temps, nous proposons une approche alternative aux méthodes de résolution habituelles du problème WCSP. Elle consiste à résoudre une instance WCSP en résolvant une séquence d’instances CSP classiques obtenues depuis cette instance WCSP. À partir d’une instance CSP dans laquelle toutes les contraintes de l’instanceWCSP d’origine sont durcies au maximum, les instances CSP suivantes correspondent à un relâchement progressif de contraintes de l’instance WCSP déterminées par l’extraction de noyaux insatisfaisables minimaux (MUC) depuis les réseaux insatisfaisables de la séquence. Nos résultats expérimentaux montrent que notre première approche est compétitive avec l’état de l’art, tandis que la deuxième représente une approche alternative aux méthodes de résolutionhabituelles d’instances WCSP. / This thesis is in the context of constraint programming (CP). Specifically, we are interested in the Weighted Constraint Satisfaction Problem (WCSP). Many approaches have been proposed to handle this optimization problem. The most effective methods use sophisticated soft local consistencies such as, for example, full directional arc consistency FDAC∗, existential directional arc consistency EDAC∗, etc. Established by equivalence preserving transformations (cost transfer operations), the use of these consistencies generally allows both to accelerate the resolution by reducing the search space through the elimination of values and to compute lower bounds useful in practice. However, these methods reach theirlimits when the arity of constraints increases significantly. The techniques of the Constraint Satisfaction Problem framework (CSP) having proved efficienty, we believe that the integration of CSP techniques can be very useful for solving WCSP instances. In this thesis, we first propose a filtering algorithm to enforce a soft version of generalized arc consistency (GAC∗) on soft table constraints of large arity. This approach combines the techniques of simple tabular reduction (STR), from the CSP framework, with the techniques of cost transfer. Our approach, proved polynomial, efficiently calculates for each value the minimum cost of the explicit and implicit tuples from soft table constraints. The minimum costs are thenused to transfer costs to establish GAC∗. In a second step, we propose an alternative approach to the usual techniques to solve WCSP. The principle is to solve a WCSP instance by solving a sequence of classical CSP instances obtained from this WCSP instance. From a CSP instance containing all the constraints hardened to the maximum from the WCSP instance, the next CSP instances correspond to a progressive relaxation of constraints defined by extraction of minimal unsatisfiable cores (MUC) from unsatisfiable networks of the sequence. Our experimental results show that our first approach is competitive with the state-of-the-art, whereas the second one represents an alternative approach to the usual methods to solve WCSP instances.

(Résumé en français) "Exercices de style" est-elle une oeuvre simplement comique et acrobatique ? Sa réception positive mais plutôt superficielle auprès du public semble avoir dissimulé ses aspects plus profonds et plus problématiques. A nos yeux, en revanche, les 99 "Exercices" d'écriture sont tout à fait aptes à éclairer les problèmes essentiels de la création littéraire et de la transmission de l'énoncé qu'est la communication verbale. La structure multi-dimensionnelle du livre, où les "Exercices" s'enchaînent, se complètent et se répondent, nous rend sensibles non seulement aux réseaux intratextuels qu'entretiennent les "Exercices", mais également aux liens intertextuels qui lient cetains d'entre eux et les discours littéraires et non littéraires préexistants. D'autres "Exercices" témoignent du regard autoréflexif de l'écrivain, ceux qui peuvent être considérés comme autoparodie. Par ailleurs, la virtuosité des variations stylistiques exige parfois du lecteur une attention particulière - face à quelques variations hermétiques et presque inintelligibles, on devra recourir à d'autres composants du livre qui serviront de "traductions". La terme "traduction" devra être compris non seulement dans le sens de la transmission de messages entre différentes langues, mais aussi dans le sens de la transposition d'un signifiant dans d'autres signifiants, ou bien de la "réécriture" d'un énoncé, tout en restant dans la même langue. Si le principe des "Exercices de style" est de renouveler à l'infini des exercices d'écrire, ou plutôt de réécrire LE texte original - "qui est d'ailleurs inexistant" -, nous pouvons poser, semble-t-il, que la Littérature est basée sur le même procédé de tâtonnements,auquel le lecteur est enctraîné à participer. (Abstract in English) Is "Exercises in style" just a comic and acrobatic book ? The fact that the readers welcomed it so favourably - but rather superficially - seems to have overshadowed its more serious and problematic aspects. In our opinion indeed, Queneau's ninety-nine writing "Exercises" can clearly shed light on the essential problems of literary creation and utterance transmission, i.e. verbal communication. The book presents an intricate structure:the "Exercises" are linked together, echo each other and complement one another. Through this multidimensional structure, we can see the intratextual networks between the "Exercises" as well as their intertextual relations with pre-existent literary and non-literary discourses. Other "Exercises" show the author's autoreflective, autoparodic attitude. Furthermore, the virtuosity of the stylistic variations sometimes requires particular attention from the reader. To understand some abstruse, sometimes almost unintelligible "Exercises", the reader has to resort to other parts of the book, which will serve as "translation" for these enigmatic passages. The word "translation" here means not only transmission of messages from a language to another, but also transposition of a signifier to other signifiers - in other words, "rewriting" of an utterance in the same language. If the principle of "Exercices in style" is to practice writing endlessly, or rather rewriting of THE original text - "which actually does not exist" - , we can reasonably deduce that Literature is based on the same trial and error process the reader will inevitably take part in.