Comprendre les relations entre écohydrologie et structure fonctionnelle des communautés végétales est une problématique croissante en écologie. Cette thèse a pour objectif d'analyser les effets d'un gradient de ressource édaphique sur la structure et le fonctionnement de parcours herbacés dans le sud de la France, en intégrant les niveaux de l'écosystème à la plante. Par modélisation du bilan hydrique, les différences d'utilisation de l'eau au niveau de l'écosystème ont été quantifiées pour cinq années contrastées révélatrices de la variabilité des propriétés des sols et du fonctionnement végétal. Utilisation de l'eau et productivité des plantes sont proportionnelles à la réserve utile des sols et à son taux de remplissage, suggérant un équilibre fonctionnel entre les communautés végétales et la disponibilité de l'eau locale. Par une approche ‘traits', nous avons ensuite montré que le ratio entre surface foliaire et surface racinaire totales de la communauté est le facteur déterminant une relation 'allométrique' entre évapotranspiration potentielle et capacité de prélèvements hydriques. La coordination entre les compartiments racinaire et aérien de la végétation dépend d'une suite d'adaptations architecturales et morphologiques. Des modifications d'abondances relatives spécifiques et le turn-over d'espèces génèrent une variabilité de morphologie et de fonctionnement des communautés permettant leur adaptation à des ressources limitées. Au niveau plante, une expérimentation de transplantation a permis de quantifier l'importance relative de la disponibilité hydrique et des interactions entre plantes sur la productivité individuelle de trois espèces-cibles. L'importance de la compétition s'est révélée plus élevée sous fort niveau de ressource et dépendait plus des relations hiérarchiques entre traits que de la biomasse. La compétition entre plantes affecte les axes de niche fonctionnelle des espèces de façon indépendante, avec une convergence de la ‘teneur en matière sèche des feuilles' pour des faibles valeurs mais une plus forte divergence fonctionnelle pour la ‘hauteur des plantes'. Cette approche fonctionnelle a permis d'éclairer le rôle de la diversité végétale dans la réponse des systèmes écologiques à des ressources hydriques variables. De plus, ces résultats sur les propriétés écohydrologiques des communautés naturelles peuvent contribuer à la conception d'agro-écosytèmes complexes mieux adaptés aux sécheresses intenses prévues dans le contexte actuel de changement climatique. / Understanding the relationships between ecohydrology and functional structure of plant communities is a timely issue in plant ecology. From ecosystem to species levels, this works investigated the effects of a resource availability gradient on the structure and functioning of Mediterranean rangelands in Southern France. Using a water-balance modeling approach, differences in water-use at the ecosystem level were quantified across five contrasting years, accounting for the variability in both soil characteristics and vegetation functioning. Plant water-use and productivity scaled with soil water storage capacity and its filling rate, suggesting a functional equilibrium between plant communities and local water availability. Using a trait-based approach, we then showed that the ratio of total leaf area of the community on total root area determined an allometric relationship between potential evapotranspiration and water uptake capacity. The “coordination” between above- and belowground compartment of the vegetation was achieved by a suite of architectural and morphological adaptations. Modifications of species relative abundances and species turn-over explained morphological and functioning adaptations to cope with limiting resources. Finally at species level, a removal experiment allowed to quantify the relative importance of water limitations and effects of plant-plant interaction on individual plant productivity of three target species of graminoïds. The importance of competition increased with soil resource availability and depended more on trait-trait hierarchical distances among species than standing biomass. Competition among plants affects the axes of the functional niche of species independently, leading to the convergence of leaf dry matter content towards low values but to greater functional divergence for plant height. Overall, this functional approach provided an integrative understanding of the role of plant diversity in the response of ecological systems to changes in water availability. Furthermore, these results on ecohydrological properties of natural communities can contribute to the design of complex agro-ecosystem better adapted to intense droughts predicted under climate change.

La phénologie et la défense affectent directement la croissance, la survie et la reproduction des plantes. Cependant, ces deux aspects sont rarement intégrés dans une description synthétique de leurs stratégies écologiques. Une grande attention a été portée aux dimensions de gestion des ressources, de reproduction ou encore de stature des végétaux, mais nous avons encore peu d'idées sur la façon dont s'articulent la phénologie et la défense par rapport à ces dimensions. Ainsi, les traits couramment mesurés (traits foliaires, hauteur, masse de graine, etc…) et des marqueurs fonctionnels de la phénologie et de la défense ont été utilisés pour caractériser l’espace phénotypique occupé par différentes espèces de la région méditerranéenne du sud de la France. Les travaux effectués combinent deux types d’approches :(a) une démarche de synthèse scientifique qui assemble et analyse des données issues de plusieurs expérimentations réalisées dans différents sites méditerranéens. Le jeu de données constitué est l’un des premiers à décrire la séquence temporelle des évènements reproductifs pour plus de 130 espèces représentant différentes formes de croissance et modes de pollinisation et de dispersion. Il nous a permis de montrer un fort effet de la saisonnalité du climat, en particulier de la disponibilité en eau, sur les patrons phénologiques, avec des variations selon les formes de croissance. Des corrélations entre les traits de la phénologie de la reproduction suggèrent l’existence d’un continuum lent-rapide décrivant les rythmes de développement chez les espèces considérées. Ces traits de phénologie reproductive ont été mis en relation avec plusieurs traits largement utilisés pour caractériser le phénotype en écologie comparative : la date de floraison dépend de la hauteur de la plante, la période de maturation d’une graine conditionne sa masse, et l’intensité de la sécheresse pendant la production de graines est corrélée à certains traits foliaires.(b) une démarche expérimentale fondée sur des mesures plus détaillées du phénotype d’un ensemble d’espèces plus restreint. Les données collectées ont permis de décrire en détail la dynamique de production de feuilles, fleurs et fruits au cours du temps chez 23 espèces et montrent leur degré coordination. Il révèle notamment des corrélations rarement testées entre la phénologie végétative et reproductive. Sur ces 23 espèces, la fonction de défense a été évaluée par la mesure de plusieurs caractéristiques biomécaniques, de traits morpho-anatomiques et de composition en fibre des feuilles. L’épaisseur des feuilles, leur système de nervation et leur teneur en fibres ont une influence significative sur les propriétés mécaniques des feuilles, mais l’importance relative de ces traits varie selon le test biomécanique réalisé. Enfin, nous avons montré que les traits biomécaniques permettaient de faire le lien entre les concepts du compromis croissance-défense et du syndrome d’économie foliaire.Nos travaux mettent en avant la pertinence d’utiliser des traits associés à la phénologie et à la défense comme axes de spécialisation des plantes dans les études comparatives, nous permettant de réévaluer leur importance dans la description des stratégies écologiques. / Phenology and defence are key for the evolutionary and ecological successes of plants, by affecting their growth, survival and reproduction. Surprisingly, these two aspects of plant functioning are rarely integrated into a synthetic description of plant ecological strategies. Much effort has been devoted to the description of plant resource acquisition and use, reproductive capacities and stature, but we lack knowledge about how these are connected to phenology and defence. Therefore, plant traits commonly used in comparative analyses (leaf traits, plant height, seed mass…) and functional markers of phenology and defence have been used to characterize the phenotypic space occupied by plant species found in the Mediterranean region of southern France. The work is based on two types of approaches:(a) The synthesis of trait data collected during several independent experiments conducted in different Mediterranean sites. This resulted in the constitution of one of the first dataset describing the temporal sequence of reproductive events and their covariations in a large number of species differing in life cycles, pollination and dispersal modes. We found a clear association between the temporality of these phases and the strong seasonality of climatic conditions in the Mediterranean, especially in relation to water availability, with some variations between groups of species. Correlations between traits of the reproductive phenology phases suggest that species can be distributed along a fast-slow continuum of reproductive events. We also found relationships between reproductive phenology and other traits commonly used for the description of plant phenotypes in comparative analyses: the flowering date depends on plant height, the seed maturation period affects the seed mass and the drought intensity during seed production correlates with several leaf traits.(b) An experimental approach based on a more detailed description of the plant phenotype on a restricted number of species. This dataset includes measurements of leaf production rate and describes the dynamics of flower and seed production for 23 species. We tested the level of coordination between phenological phases and revealed some rarely tested correlations between vegetative and reproductive phenology. On these 23 species, plant defence was characterized by several biomechanical properties, morphological traits and fibre content of leaves. The leaf thickness, venation network and fibre content have a significant influence on leaf mechanical properties but their relative effects depend on the biomechanical test performed. Finally, we showed that biomechanical properties could be used to understand the links between the concepts of the growth-defence trade-off and the leaf economics spectrum.This study confirms the value of using phenological and defence traits in comparative approaches, putting back these two fundamental dimensions into the broader context of plant ecological strategies.

L’évolution convergente des formes de croissance est un phénomène fondamental reliant l’écologie et l’évolution des plantes. Remarquablement illustré dans plusieurs systèmes insulaires, ce phénomène n’a jamais été identifié en Nouvelle-Calédonie, pourtant connue pour la richesse et l’originalité de sa flore. Par une approche combinant architecture des plantes, traits fonctionnels, taxonomie, phylogénie et données environnementales, cette thèse analyse l’histoire évolutive de la monocaulie, une forme de croissance mal connue, en Nouvelle-Calédonie. Les monocaules sont des plantes autoportantes ligneuses dont les fonctions majeures sont assurées par une seule tige apparente. En Nouvelle-Calédonie, elles sont représentées par 182 espèces dicotylédones appartenant à 41 genres et 30 familles et sont gravement menacées d’extinction. L’évolution répétée de la monocaulie en Nouvelle-Calédonie, issue d’au moins 31 événements d’apparition, est l’un des cas les plus remarquables de convergence en milieu insulaire. Dans le genre Atractocarpus, la monocaulie est apparue récemment deux à trois fois via diverses réductions des branches en inflorescences, montrant l’importance des processus hétérochroniques dans l’évolution des formes de croissance. La monocaulie est fortement corrélée à plusieurs traits démontrant des contraintes majeures dans la coordination fonctionnelle. L’évolution de la monocaulie est fortement associée aux forêts denses humides et au substrat ultramafique, et semble avoir contribué à la diversification des lignées par des phénomènes de partitionnement de niche. La remarquable convergence de la monocaulie en Nouvelle-Calédonie peut s’expliquer par quatre hypothèses majeures liées (i) à la structure particulière des forêts denses humides (en lien avec les cyclones) favorisant l’exploration unidirectionnelle de l’espace, (ii) aux contraintes édaphiques liées aux substrats ultramafiques favorisant la paupérisation architecturale, (iii) à l’absence historique de grands brouteurs, auxquels les monocaules sont particulièrement sensibles, et (iv) à la persistance des forêts denses humides lors des épisodes glaciaires (servant de refuges pour ces espèces sensibles) et leur expansion post-glaciaire (fournissant de nombreuses opportunités écologiques). / The convergent evolution in growth habit is a fundamental phenomenon linking plant ecology and evolution. Remarkably illustrated in island biotas, this phenomenon has never been identified in the original and megadiverse New Caledonian biodiversity hotspot. Through an approach combining plant architecture, functional traits, taxonomy, phylogeny and environmental data, this thesis analyses the evolutionary history of the scarcely known monocaulous growth habit in New Caledonia. Monocauls are self-supporting woody plants whose cardinal functions rely on a single visible stem. In New Caledonia, they are represented by 182 dicotyledonous species belonging to 41 genera and 30 families and are critically endangered. The repeated evolution of the monocaulie in New Caledonia, resulting from at least 31 independent events, is one of the most remarkable cases of convergence in insular environments. In the genus Atractocarpus (Rubiaceae), monocauly evolved recently two to three times through branch reductions into inflorescences, emphasizing the importance of heterochronic processes in the evolution of growth habit. Monocauly is strongly correlated with several traits illustrating major constraints in functional coordination. The evolution of monocauly is strongly associated with rainforests and ultramafic substrate, and seems to have contributed to the diversification of lineages by niche partitioning. The remarkable convergence toward monocauly in New Caledonia can be explained by four major hypotheses: (i) the structural features of rainforests (related to cyclone frequency and intensity) favoring unidirectional exploration of space, (ii) the edaphic constraints associated with ultramafic substrate favoring architectural pauperization, (iii) the historical absence of large native browsers to which monocauls are particularly sensitive, and (iv) the persistence of rainforest during – and spread-out after – glacial episodes that served as refugia and further provided ecological opportunities.

Une combinaison phénotypique associée à une valeur maximale de taux de croissance démographique au niveau local définit une optimalité fonctionnelle locale. L’objectif de cette thèse est de comprendre le lien entre cette optimalité, les abondances et la coexistence des espèces au sein d’une communauté, à partir de données observées et d’approches de modélisation. Nous montrons en premier lieu que la moyenne fonctionnelle locale, pondérée par les abondances relatives des espèces, dépend de la distribution fonctionnelle régionale et dévie de l’optimalité fonctionnelle le long de gradients environnementaux, entrainant des biais possibles d’interprétation. Pour éviter de tels biais, nous proposons une approche d’inférence évaluant explicitement les paramètres du filtre environnemental avec un modèle mécaniste, et l’appliquons pour évaluer l’assemblage de communautés végétales le long d’une succession écologique. Nous étudions ensuite la signature de l’optimalité fonctionnelle à différentes échelles spatiales, à travers la structure de réseaux bipartis de communautés et d’espèces. La cohérence émergente des assemblages au sein du réseau permet de caractériser des ensembles fonctionnels, comme cela est illustré pour des prairies en France métropolitaine. La distribution d’occurrences des espèces entre ensembles régionaux définit une métrique nouvelle de spécialisation écologique. Nous montrons que la distance à l’optimalité fonctionnelle locale des espèces spécialistes et généralistes est fonction de leurs capacités de compétition et de tolérance à des stress physiologiques. Les espèces généralistes sont ainsi en moyenne de meilleures compétitrices éloignées de l’optimalité locale tandis que les spécialistes sont de meilleures tolérantes au stress. Nous évaluons enfin le lien entre abondances et distance à l’optimalité sous l’influence conjointe de dynamiques stochastiques, du filtre environnemental et des interactions compétitrices, en fonction des contributions des traits fonctionnels à ces mécanismes. La thèse formalise via différents modèles d’assemblage la notion d’optimalité et caractérise la signature de l’optimalité fonctionnelle à différentes échelles spatiales. Les applications à plusieurs types de communautés d'organismes illustrent le potentiel des approches mécanistes pour mieux évaluer les processus écologiques et biogéographiques générateurs des motifs de biodiversité. / A phenotypic combination linked to a maximal value of demographic rate at local scale defines a functional local optimality. The goal of this thesis is to understand the linkage between this optimality, the abundances and coexistence of species within communities, using both observational and modelling approaches. We first illustrate how community weighted means are influenced by the regional distribution of functional traits and deviates from the functional optimality along environmental gradients, leading to biases of interpretation. To avoid such biases, we propose a method to explicitly infer the parameters of the environmental filtering using a mechanistic model. We apply this method to plant communities distributed along a successional gradient with the objective to assess the community assembly parameters. We then study the signature of functional optimality across different spatial scales, through the structure of bipartite networks composed of communities and species. The emergent coherence of the assemblages within the network allows characterizing functional pools of species. This has been illustrated using a database of French grassland communities. The distribution of species’ occurrences between regional pools defines a novel metrics of ecological specialization. We show that the distance to functional optimality of specialist and generalist species is function of their competitive and stress-tolerance abilities. Generalist species are in average better competitors distant from the local optimality regarding their competitive traits while specialist species express greater stress-tolerance. Finally, we assess the link between abundances and distance to optimality under the joint influence of stochastic dynamics, environmental filtering and competitive interactions, as a function of the contribution of functional traits to these mechanisms. Thanks to the use of various assembly models, this thesis defines the notion of optimality and assesses its functional signature across spatial scales. Applications to distinct types of communities illustrate the potential of mechanistic approaches towards a better assessment of ecological and biogeographical drivers of biodiversity patterns.

L'intégration de systèmes multi-capteurs est la réponse la plus adaptée aux besoins croissants en matière de complexité et d'exactitude de mesures en métrologie par coordonnées. Cette thèse a pour objectif l'intégration de systèmes multi-capteurs en métrologie par coordonnées selon deux aspects: la modélisation des fonctions et des données; et le traitement de la géométrie discrète. La modélisation des fonctions et des données permet une meilleure compréhension des exigences des fonctions du système et des spécifications des données pour l'intégration de systèmes multi-capteurs. Des modèles hiérarchiques fonctionnels du système sont construits en utilisant la méthodologie IDEF0. Une démarche à base d'ontologies est utilisée pour modéliser les différentes données et de leurs relations par leur représentation structurée. Des méthodes efficaces et robustes pour le traitement de la géométrie discrète dans le cadre de l'intégration multi-capteurs sont l'objet principal de cette thèse à travers le développement de méthodes robustes. Une méthode basée sur le tenseur de courbure est utilisée pour l'estimation des courbures discrètes. Une analyse comparative montre que la méthode proposée fournit de meilleures performances par rapport à d'autres méthodes existantes. Le recalage est l'une des étapes les plus importantes de l'intégration multi-capteurs. Les algorithmes de recalage permettent de recaler les ensembles de points mesurés issus de différents capteurs ou de plusieurs vues. Une méthode de recalage sans correspondance connue est proposée dans cette thèse. Une combinaison de la courbure et de la distance euclidienne est utilisée pour améliorer les performances de l'algorithme classique de recalage ICP. Une nouvelle méthode basée sur l'indice de forme (shape index) et ll'intensité de courbure (curvedness) est développée pour la reconnaissance et la segmentation des formes discrètes. Le type de surface locale d'un sommet est reconnu par l'intermédiaire de son indice de forme. Les sommets sont ensuite groupés en fonction de leurs surfaces locales. Un algorithme de connexité par région est mis en œuvre pour produire les résultats de segmentation. Plusieurs exemples ont été testés et la méthode proposée fournit des résultats satisfaisants. Ces différentes méthodes de traitement géométriques ont été implémentés dans un nouveau système informatisé appelé DSP-COMS. Une étude de cas détaillée d'une pièce industrielle numérisée par laser scanning et par palpage est présentée dans cette thèse. Les points mesurés sont ensuite traités dans DSP-COMS. Les résultats obtenus montrent bien la robustesse des méthodes développés dans cette thèse.

Dans cette thèse, on présente un cadre théorique général d'analyse statique pour l'inférence de propriétés `structurelles' ou d'`usage' des programmes. Le terme `structurel', emprunté à la théorie de la démonstration, suggère un rapport étroit avec la logique linéaire, où les règles structurelles de contraction et affaiblissement jouent un rôle important. Le problème de l'analyse statique consiste à trouver une traduction d'un langage source dans le style de PCF vers un langage comportant des annotations structurelles. On montre que l'on peut characteriser l'ensemble de traductions possibles comme des solutions d'un ensemble d'inequations appropriées. Plus particulièrement, on s'intéresse à la plus petite solution, qui correspond à la traduction la plus précise ou optimale. La plus grande partie de ce manuscrit de thèse est dédié à un seul cas d'étude, l'analyse linéaire, dont l'objectif est de déterminer les valeurs qui sont utilisées une seule fois. On decrit d'abord une version de l'analyse linéaire très simplifiée, en suite on introduise des extensions qui comportent des notions de sous-typage et du polymorphisme d'annotations, ce étant clé dans la pratique, car il permet à l'analyse de garder son pouvoir expressif en présence de modules compilés séparément.

Ce manuscrit d'HDR regroupe dans une première partie certains de mes travaux sur la /mise en œuvre, la structure et la fonctionnalité à l'échelle nano de/macromolécules, colloïdes et nanoparticules aux surfaces et interfaces. Dans une deuxième partie, j'expose brièvement les directions que j'explore actuellement autours des surfaces fonctionnelles à partir de l'assemblage contrôlé de briques élémentaires organiques et/ou inorganiques et de texturation de surface à diverses échelles.

Le contrôle de l'érosion et la rétention de sédiments comptent parmi les services les plus importants rendus par la végétation, mais ces fonctions sont de moins en moins bien remplies dans de nombreux milieux. Dans les Alpes du Sud françaises, de vastes affleurements marneux sont soumis à une érosion hydrique intense qui provoque chaque année la perte de quantités considérables de sol et menace les biens et les personnes en aval des bassins versants. Face à la dégradation des milieux, de nombreuses opérations de restauration écologique sont menées afin de rétablir les fonctions des écosystèmes et d'assurer un contrôle durable de l'érosion. Depuis une dizaine d'années, le rôle des traits fonctionnels dans le fonctionnement des écosystèmes fait l'objet d'un questionnement important en écologie et motive de nombreuses recherches. Les traits fonctionnels déterminent à la fois la réponse des espèces végétales aux contraintes environnementales et leur effet sur les processus des écosystèmes. Ils permettent également la généralisation et la modélisation des résultats pour une plus grande valeur opérationnelle. Ce travail de thèse s'inscrit dans ce contexte. Il a pour objectif de mieux comprendre les relations entre les traits fonctionnels des plantes et, d'une part leur réponse aux contraintes érosives, d'autre part, leur effet de protection contre l'érosion. La résistance des espèces végétales au déracinement et à l'ensevelissement lors d'épisodes érosifs intenses ainsi que leurs fonctions de stabilisation des sols et de piégeage des sédiments ont ainsi été étudiées sur des espèces herbacées et ligneuses dans leurs premiers stades de développement. Les résultats obtenus ont permis de mettre en évidence les traits fonctionnels principaux qui influencent la réponse et l'effet des espèces à/sur l'érosion. Ainsi, des traits décrivant la morphologie du système racinaire, tels que le pourcentage de racines fines, ont pu être reliés à la résistance au déracinement et à la fixation des sols, alors que la forme de croissance et des traits décrivant la morphologie aérienne sont apparus déterminants respectivement dans la résistance à l'ensevelissement sous des sédiments et leur piégeage. Ce travail contribue à approfondir les connaissances en écologie de la restauration appliquée aux milieux érodés de montagne et à améliorer les outils de gestion. En particulier, les résultats peuvent être utilisés pour le diagnostic de la vulnérabilité des milieux à l'érosion ou pour prévoir le succès des opérations de restauration.

Le Parc National de Kahuzi-Biega (PNKB) se localise dans l’Est de la R.D. Congo, à une trentaine des kilomètres au Nord de la ville de Bukavu, (province du Sud-Kivu). Ce parc couvre une superficie de 6.000 km² dont 5.400 km² situés en basse altitude (600-1200 m d’altitude) et 600 km² constituent le secteur de haute altitude occupée par les forêts de montagne (1800-3308 m). Depuis environ une décennie, la liane indigène Sericostachys scandens Gilg & Lopr. (Amarantaceae) se répand rapidement dans les forêts de montagne au PNKB. L’extension de cette liane, et ses conséquences supposées sur la biodiversité et la régénération de la forêt inquiètent les gestionnaires du Parc. Le travail a examiné trois aspects de l’écologie de l’invasion par S. scandens dans le Parc. Premièrement, on a examiné les traits fonctionnels susceptibles d’expliquer une aptitude élevée à l’invasion chez S. scandens. Une approche comparative avec trois espèces de lianes non envahissantes coexistant dans le même habitat montre que S. scandens présente une allocation de biomasse aux diaspores significativement plus élevée. En plus, elle combine une reproduction sexuée intense et une capacité de reproduction végétative. Cette liane se distingue également des trois autres par un taux de ramification plus élevé. Par contre, les traits foliaires ne sont pas systématiquement différents. De même, le taux de germination des graines de S. scandens ne diffère pas significativement de ceux des autres lianes étudiées. Cependant, il est significativement plus élevé en canopée ouverte qu’en canopée fermée, et en forêt ombrophile qu’en forêt de bambous. L’ensemble des traits qui caractérisent S. scandens peut contribuer à expliquer sa plus grande capacité d’invasion, comparativement aux trois autres lianes. Deuxièmement, on a examiné les attributs des écosystèmes susceptibles de les rendre vulnérables à l’invasion. Les résultats suggèrent que les perturbations favorisent les invasions dans les écosystèmes. Les perturbations (coupes, feu, …) qui ont accompagné les conflits dans la zone du Parc sont, très probablement, le facteur ayant déclenché l’invasion. Enfin, le travail a examiné les impacts de l’invasion sur la biodiversité et la régénération des forêts. Les résultats montrent que, effectivement, S. scandens a un impact négatif, et que cet impact pourrait contribuer à renforcer le succès invasif de S. scandens (feed-back positif). Le travail aboutit à des recommandations pour la gestion du Parc. La gestion doit avant tout être préventive, c’est-à-dire i) empêcher de nouveaux déboisements et ii) éliminer S. scandens au tout début de son installation dans un site perturbé.

Cette thèse porte sur l'étude théorique et pratique d'un système de typage appliqué à la preuve de programmes de style fonctionnels. Le système de base est le système ST créé par C.Raffalli; il comporte, outre le polymorphisme, du sous-typage et de l'omission de contenu non-algorithmique. Nous étudions tout d'abord les modèles de la théorie définie par le système de types, en construisant une axiomatique basée sur les treillis permettant de modéliser le calcul et la logique. Nous étudions sur cette base le système de types, montrons la réduction du sujet, et la possibilité de définir en interne la normalisabilité et la réductibilité des programmes. Dans la suite de la thèse, plus appliquée, nous étudions des codages de types de données riches inspirés des langages fonctionnels - y incluant notamment un système de modules du premier ordre- dans le Lambda-Calcul, et montrons qu'ils s'intègrent harmonieusement dans le système; la méthodologie développée dans cette partie permet d'étendre le langage de types et le langage de programmation en conservant un critère de consistance assurant la sûreté du code typé.