Cette thèse s'articule autour de problématiques liées au domaine récent de l'anatomie numérique dont l'objet est de fournir des cadres à la fois mathématiques et numériques pour estimer la variabilité statistique au sein de populations de formes géométriques. Dans ce travail, on s'intéresse dans un premier temps au cas d'ensemble de courbes, de surfaces ou sous-variétés avec pour premier objectif de définir une représentation et des termes d'attache aux données adéquats pour les problèmes de recalage par grande déformation (LDDMM). Les précédentes approches reposant sur le cadre des courants qui traite le cas d'objets orientés, nous proposons une extension pour des formes géométriques non-orientées via la représentation des varifolds issue de la théorie géométrique de la mesure. Dans un second temps, ce travail se penche sur l'étude d'objets géométrico-fonctionnels aussi baptisés 'formes fonctionnelles', c'est à dire de fonctions ou de signaux définis sur des supports géométriques variables entre les individus. On définit notamment la notion de métamorphoses géométrico-fonctionnelles pour généraliser celle de déformation à ce contexte ainsi que la notion de courant fonctionnel pour mesurer la dissimilarité entre deux formes fonctionnelles. Ceci débouche assez naturellement sur un tout nouveau cadre mathématique et algorithmique permettant d'étendre les outils usuels de recalage difféomorphique. Enfin, on s'intéresse à la situation plus générale de l'estimation et l'analyse d'atlas pour des ensembles de telles structures en proposant en particulier une formulation mathématique bien posée pour de tels problèmes ainsi qu'un algorithme d'estimation simultanée géométrie/fonction puis des outils pour l'analyse statistique et la classification. Ces méthodes sont illustrées sur quelques jeux de données synthétiques et d'autres issues de l'imagerie biomédicale. / This thesis addresses several questions related to the recent field of computational anatomy. Broadly speaking, computational anatomy intends to analyse shape variability among populations of anatomical structures. In this work, we are focused, in the first place, on the case of datasets of curves, surfaces and more generally submanifolds. Our goal is to provide a mathematical and numerical setting to build relevant data attachment terms between those objects in the purpose of embedding it into the large diffeomorphic metric mapping (LDDMM) model for shape registration. Previous approaches have been relying on the concept of currents that represents oriented submanifolds. We first propose an extension of these methods to the situation of non-oriented shapes by adapting the concept of varifolds from geometric measure theory. In the second place, we focus on the study of geometrico-functional structures we call 'functional shapes' (or fshapes), which combine varying geometries across individuals with signal functions defined on these shapes. We introduce the new notion of fshape metamorphosis to generalize the idea of deformation groups in the pure geometrical case. In addition, we define the extended setting of 'functional currents' to quantify dissimilarity between fshapes and thus perform geometrico-functional registration between such objects. Finally, in the last part of the thesis, we move on to the issue of analyzing entire groups of individuals (shapes or fshapes) together. In that perspective, we introduce an atlas estimation variational formulation that we prove to be mathematically well-posed and build algorithms to estimate templates and atlases from populations, as well as tools to perform statistical analysis and classification. All these methods are evaluated on several applications to synthetic datasets on the one hand and real datasets from biomedical imaging on the other.

Le problème du transport optimal, originellement introduit par Monge au 18ème siècle, consiste à minimiser l'énergie nécessaire au déplacement d'une masse dont la répartition est donnée vers une autre masse dont la répartition est elle aussi donnée; mathématiquement, cela se traduit par : trouver le minimiseur de l'intégrale de c(x,T(x)) (où c est le coût de transport de x vers T(x)) parmi toutes les applications T à mesure image prescrite.Cette thèse est consacrée à l'étude de problèmes variationnels similaires où l'on fait intervenir la matrice jacobienne de la fonction de transport, c'est-à-dire que le coût dépend de trois variables c(x,T(x),DT(x)) ; il s'agit typiquement de rajouter l'intégale de |DT(x)|^2 à la fonctionnelle afin d'obtenir une pénalisation Sobolev. Ce type de problème trouve ses motivations en mécanique des milieux continus, élasticité incompressible ou en analyse de forme et appelle d'un point de vue mathématique une approche totalement différente de celle du problème de transport usuel.Les questions suivantes sont envisagées :- bonne définition du problème, notamment de l'énergie de Dirichlet, via les espaces de Sobolev par rapport à une mesure, et résultats d'existence de minimiseurs ;- caractérisation de ces minimiseurs : optimalité du transport croissant sur la droite réelle, et approche du type équation d'Euler-Lagrange en dimension quelconque ;- sélection d'un minimiseur via une procédure de pénalisation du type Gamma-convergence (l'énergie de Dirichlet est mutipliée par un petit paramètre) lorsque le coût de transport est le coût de Monge donné par la distance, pour lequel l'application de transport optimale n'est pas unique ;- autres approches du problème et perspectives : formulation dynamique du type Benamou-Brenier, et formulation duale similaire à celle de Kantorovitch dans le cas du problème du transport optimal usuel. / The optimal transportation problem was originally introduced by Monge in the 18th century; it consists in minimizing the total energy of the displacement of a given repartition of mass onto another given repartition of mass. This is mathematically expressed by: find the minimizer of the integral of c(x,T(x)) (where c(x,T(x)) is the cost to send x onto T(x)) among the maps T with prescribed image measure.This thesis is devoted to similar variational problems, which involve the Jacobian matrix of the transport map, meaning that the cost depends on three variables c(x,T(x),DT(x)); we typically add the Dirichlet energy to the transport functional in view to obtain a Sobolev-type penalization. This kind of constraints finds its motivations in continuum mechanics, incompressible elasticity or shape analysis, and a quite different mathematical approach than in the usual theory of optimal transportation is needed.We consider the following questions:- proper definition of the problem, in particular of the Dirichlet energy, thanks to the theory of Sobolev spaces with respect to a measure, and existence results;- characterizations of these minimizers: optimality of the monotone transport map on the real line, and Euler-Lagrange-like approach in any dimension;- selection of a minimizer via a Gamma-convergence-like penalization procedure (we multiply the Dirihlet energy with a vanishing positive parameter) where the transport cost is the Monge cost given by the distance (for which the optimal transport map is not unique);- other related problems and perspectives: dynamic Benamou-Brenier-like formulation, and dual Kantorovich-like formulation.

On étudie dans cette thèse certains aspects de la régularité de l'ensemble singulier d'un minimiseur pour la fonctionnelle de Mumford-Shah. On se place principalement en dimension 3 même si certains résultats fonctionnent encore en dimension supérieure. Dans une première partie on étudie les minimiseurs globaux dans R^N et on montre que si (u;K) est un minimiseur global et que si K est un cône assez régulier, alors u (modulo les constantes) est une fonction homogène de degré 1/2 dans R^N\K. Ceci nous permet de lier l'existence d'un minimiseur global et le spectre du laplacien sphérique dans la sphère unité privée de K. Une conséquence est qu'un secteur angulaire stricte ne peut pas être l'ensemble singulier d'un minimiseur global de Mumford-Shah dans R^3. Dans la deuxième partie on montre un théorème de régularité au voisinage des cônes minimaux P, Y et T. On montre que si K est proche (en distance) d'un Y ou d'un T dans une certaine boule, alors K est l'image C^1,alpha d'un P, Y ou d'un T dans une boule légèrement plus petite, ce qui généralise un théorème de L. Ambrosio, N. Fusco et D. Pallara [AFP07]. Les techniques employées ne sont pas exclusives à la dimension 3 et devraient permettre de démontrer des résultats analogues en toute dimension pour un minimiseur de Mumford-Shah, dès lors qu'un résultat de régularité sur les ensembles presque minimaux existerait.

Les travaux présentés dans ce mémoire portent sur l'analyse mathématique de modèles dissipatifs en mécanique des milieux continus. Une attention est portée sur des modèles variationnels de mécanique de la rupture, d'endommagement et de plasticité. Par un souci d'unité, nous avons sélectionné le sous-ensemble maximal de nos travaux liés à ces sujets, en mettant ostensiblement de côté les articles \cite{BBDJ9,BBDJ10,BBDJ11,BBDJ13,BBDJ15} dont les domaines d'application diffèrent peu ou prou de ceux présentés ici. En particulier, les articles \cite{BBDJ10,BBDJ11} en collaboration avec V. Millot qui portent sur l'homogénéisation de fonctionnelles intégrales avec contrainte dans une variété relèvent plutôt de modèles de micromagnétisme. L'article \cite{BBDJ13} en collaboration avec E. Bonnetier et F. Triki traite de la diffraction d'ondes électromagnétiques sur des surfaces rugueuses par des méthodes d'équations intégrales et d'analyse spectrale. Enfin les articles \cite{BBDJ9} avec E. Zappale et H. Zorgati, et \cite{BBDJ15} avec F. Prinari et E. Zappale ont trait à l'étude de problèmes de réduction de dimension pour des énergies à croissance critique. Le cas d'énergies à croissance linéaire dans \cite{BBDJ9} relève d'une analyse dans l'espace des fonctions à variation bornée. Le cas d'énergies à croissance infinie dans \cite{BBDJ15} donne lieu à l'étude de fonctionnelles suprémales, liées au Laplacien infini, et est motivé par des modèles de rupture diélectrique. Dans le chapitre 1, il nous a semblé approprié de rappeler les notions de thermomécanique des milieux continus pour aboutir à la modélisation de milieux dissipatifs. Nous insistons plus particulièrement sur les milieux standards généralisés et les processus indépendants des vitesses. Ce chapitre est le dénominateur commun de la plupart des modèles d'élasticité, d'endommagement, de visco-plasticité, d'élasto-plasticité et de fracture évoqués dans la suite de ce mémoire. Le chapitre 2 est consacré à l'étude d'un modèle de mécanique de la rupture initialement introduit par Griffith et reformulé variationnellement par Francfort et Marigo. Nous présentons tout d'abord un résultat d'existence de solutions fortes dans le cas 2D antiplan. Nous nous concentrons ensuite sur l'étude d'une classe de matériaux particuliers que sont les films minces. Dans un premier temps, nous montrons comment divers modèles de membranes hétérogènes peuvent être obtenus à l'aide d'une analyse asymptotique par Gamma-convergence. Ensuite, nous nous intéressons à la croissance quasi-statique des fissures dans les films minces et établissons que les fissures sont asymptotiquement invariantes dans la direction de l'épaisseur. Enfin, nous étudions le décollement et la délamination de couches minces dont la modélisation repose soit sur la présence de défauts internes au milieu, soit sur un choix approprié de lois d'échelles sur la rigidité et la ténacité du milieu. Le chapitre 3 concerne l'étude de modèles d'endommagement. Une première partie est consacrée à la théorie de l'homogénéisation de fonctionnelles intégrales sur laquelle repose la compréhension de certains de ces modèles. A cet effet, nous rappelons les résultats classiques et exposons une approche par mesures de Young multi-échelles. Nous nous consacrons ensuite à l'étude des matériaux composites ainsi qu'à une propriété de localité pour cette classe de milieux homogénéisés. Dans une seconde partie, nous présentons un modèle d'évolution quasi-statique en endommagement brutal introduit par Francfort et Marigo, ainsi qu'un modèle de couplage entre l'endommagement et la rupture introduit par Fonseca et Francfort. Tels quels, ces modèles s'avèrent être mal posés, ce qui nécessite de définir une notion de solutions relaxées. A cet effet, nous établissons des résultats d'existence d'évolutions quasi-statiques homogénéisées. Dans une troisième partie, nous étudions une évolution par flot gradient d'un modèle d'endommagement non local. L'existence d'un flot gradient unilatéral pour la fonctionnelle d'Ambrosio-Tortorelli est démontrée à l'aide de la méthode des mouvements minimisants et la convergence vers les mouvements minimisants unilatéraux de la fonctionnelle de Mumford-Shah est établie. Le quatrième et dernier chapitre traite de modèles d'élasto-plasticité. Après avoir rappelé des résultats classiques sur la plasticité des métaux et des alliages, nous nous concentrons sur la plasticité des matériaux granulaires en mécanique des sols. Nous étudions tout d'abord un modèle de plasticité associée avec cap et une loi d'écrouissage sur celui-ci. En régime dynamique, nous montrons le caractère bien posé de ce modèle ainsi que la convergence vers un modèle de plasticité parfaite lorsque l'on fait tendre le cap à l'infini. En régime quasi-statique, nous établissons un résultat d'existence où le principe de travail maximal de Hill est remplacé par une identité d'énergie. Enfin nous étudions un modèle d'élasto-plasticité non-associée avec cap, pour lequel la loi de normalité n'est plus valable, en régime quasi-statique. Comme les solutions semblent présenter des discontinuités temporelles, nous établissons un résultat d'existence pour des temps convenablement remis à l'échelle. En annexe, nous regroupons l'ensemble des notations utilisées dans ce mémoire. Nous rappelons également un certain nombre de résultats classiques concernant notamment les fonctions à dérivées mesures et la Gamma-convergence.

Le problème du transport optimal, originellement introduit par Monge au 18ème siècle, consiste à minimiser l'énergie nécessaire au déplacement d'une masse dont la répartition est donnée vers une autre masse dont la répartition est elle aussi donnée; mathématiquement, cela se traduit par : trouver le minimiseur de l'intégrale de c(x,T(x)) (où c est le coût de transport de x vers T(x)) parmi toutes les applications T à mesure image prescrite.Cette thèse est consacrée à l'étude de problèmes variationnels similaires où l'on fait intervenir la matrice jacobienne de la fonction de transport, c'est-à-dire que le coût dépend de trois variables c(x,T(x),DT(x)) ; il s'agit typiquement de rajouter l'intégale de |DT(x)|^2 à la fonctionnelle afin d'obtenir une pénalisation Sobolev. Ce type de problème trouve ses motivations en mécanique des milieux continus, élasticité incompressible ou en analyse de forme et appelle d'un point de vue mathématique une approche totalement différente de celle du problème de transport usuel.Les questions suivantes sont envisagées :- bonne définition du problème, notamment de l'énergie de Dirichlet, via les espaces de Sobolev par rapport à une mesure, et résultats d'existence de minimiseurs ;- caractérisation de ces minimiseurs : optimalité du transport croissant sur la droite réelle, et approche du type équation d'Euler-Lagrange en dimension quelconque ;- sélection d'un minimiseur via une procédure de pénalisation du type Gamma-convergence (l'énergie de Dirichlet est mutipliée par un petit paramètre) lorsque le coût de transport est le coût de Monge donné par la distance, pour lequel l'application de transport optimale n'est pas unique ;- autres approches du problème et perspectives : formulation dynamique du type Benamou-Brenier, et formulation duale similaire à celle de Kantorovitch dans le cas du problème du transport optimal usuel.

Soit G le groupe SO°(1, n) (n ≥ 3) ou PU(1, n) (n ≥ 2) et fixons une décomposition d'Iwasawa G = KAN. Soit ɼ un sous-groupe discret de G, que nous supposons Zariski-dense et de mesure de Bowen-Margulis-Sullivan finie. Lorsque G = SO°(1, n), nous étudions la géométrie de la mesure de Bowen-Margulis-Sullivan le long des sous-groupes fermés connexes de N, en lien avec la dichotomie de Mohammadi-Oh. Nous établissons des résultats déterministes sur la dimension des projections de la mesure de Patterson- Sullivan. Lorsque G = PU(1, n), nous relions la géométrie de la mesure de Bowen- Margulis-Sullivan le long du centre du groupe de Heisenberg au problème du calcul de la dimension de Hausdorff de l'ensemble limite relativement à la distance sphérique au bord. Nous calculons cette dimension pour certains groupes de Schottky. / Let G be the group SO° (1,n) (n ≥ 3) or PU(1, n) (n ≥ 2) and fix some Iwasawa decomposition G = KAN. Let ɼ be a discrete subgroup of G.We assume that ɼ is Zariski-dense with finite Bowen-Margulis-Sullivan measure. When G = SO°(1,n), we investigate the geometry of the Bowen-Margulis-Sullivan measure elong connected closed subgroups of N. This is related to the Mohammadi-Oh dichotomy. We then prove deterministic results on the dimension of projections of Patterson-Sullivan measure. When G = PU(1,n), we relate the geometry of Bowen-Margulis-Sullivan measure along the center of Heisenberg group to the problem of computing the Hausdorff dimension of the limit set with respect to the spherical metric on the boudary. We construct some Schottky subgroups for wich we are able to compute this dimension.

Cette thèse est consacrée à l’étude du transport branché, de problèmes variationnels qui y sont liés et de structures fractales qui peuvent y apparaître. Le problème du transport branché consiste à connecter deux mesures de même masse par le biais d’un réseau en minimisant un certain coût, qui sera pour notre étude proportionnel à mLα afin de déplacer une masse m sur une distance L. Plusieurs modèles continus ont été proposés pour formuler le problème, et on s’intéresse plus particulièrement aux deux grands types de modèles statiques : le modèle Lagrangien et le modèle Eulérien, avec une emphase sur le premier. Après avoir posé proprement les bases de ces modèles, on établit rigoureusement leur équivalence en utilisant une décomposition de Smirnov des mesures vectorielles à divergence mesure. On s’intéresse par la suite à un problème d’optimisation de forme lié au transport branché qui consiste à déterminer les ensembles de volume 1 les plus proches de l’origine au sens du transport branché. On démontre l’existence d’une solution, décrite comme un ensemble de sous-niveau de la fonction paysage, désormais standard en transport branché. La régularité Hölder de la fonction paysage, obtenue ici sans hypothèse de régularité a priori sur la solution considérée, permet d’obtenir une borne supérieure sur la dimension de Minkowski de son bord, qui est non-entière et dont on conjecture qu’elle en est la dimension exacte. Des simulations numériques, basées sur une approximation variationnelle à la Modica-Mortola de la fonctionnelle du transport branché, ont été effectuées dans le but d’étayer cette conjecture. Une dernière partie de la thèse se concentre sur la fonction paysage, essentielle à l’étude de problèmes variationnels faisant intervenir le transport branché en ce sens qu’elle apparaît comme une variation première du coût d’irrigation. Le but est d’étendre sa définition et ses propriétés fondamentales au cas d’une source étendue, ce à quoi l’on parvient dans le cas d’un réseau possédant un système fini de racines, par exemple pour des mesures à supports disjoints. On donne une définition satisfaisante de la fonction paysage dans ce cas, qui vérifie en particulier la propriété de variation première et on démontre sa régularité Hölder sous des hypothèses raisonnables sur les mesures à connecter. / This thesis is devoted to the study of branched transport, related variational problems and fractal structures that are likely to arise. The branched transport problem consists in connecting two measures of same mass through a network minimizing a certain cost, which in our study will be proportional to mLα in order to move a mass m over a distance L. Several continuous models have been proposed to formulate this problem, and we focus on the two main static models : the Lagrangian and the Eulerian ones, with an emphasis on the first one. After setting properly the bases for these models, we establish rigorously their equivalence using a Smirnov decomposition of vector measures whose divergence is a measure. Secondly, we study a shape optimization problem related to branched transport which consists in finding the sets of unit volume which are closest to the origin in the sense of branched transport. We prove existence of a solution, described as a sublevel set of the landscape function, now standard in branched transport. The Hölder regularity of the landscape function, obtained here without a priori hypotheses on the considered solution, allows us to obtain an upper bound on the Minkowski dimension of its boundary, which is non-integer and which we conjecture to be its exact dimension. Numerical simulations, based on a variational approximation a la Modica-Mortola of the branched transport functional, have been made to support this conjecture. The last part of the thesis focuses on the landscape function, which is essential to the study of variational problems involving branched transport as it appears as a first variation of the irrigation cost. The goal is to extend its definition and fundamental properties to the case of an extended source, which we achieve in the case of networks with finite root systems, for instance if the measures have disjoint supports. We give a satisfying definition of the landscape function in that case, which satisfies the first variation property and we prove its Hölder regularity under reasonable assumptions on the measures we want to connect.

Le problème isopérimétrique consiste, dans un espace métrique mesuré, à trouver les ensembles qui, à volume fixé, ont la plus petite mesure de surface. Il peut être formulé dans de nombreux cadres (espaces métriques mesurés généraux, variétés riemanniennes à poids, parties de l'espace euclidien...). Deux questions se dégagent de ce problème : - Quels sont les ensembles solutions, c'est-à-dire ayant la plus petite mesure de surface ? (Il faut noter que ces ensembles n'existent pas toujours). - Que vaut la plus petite mesure de surface ? La solution à la deuxième question peut être formulée sous la forme d'une fonction, appelée profil isopérimétrique, qui, à une valeur de volume (pondéré) donnée, associe la plus petite mesure de surface correspondante. La notion de mesure de surface, quant à elle, peut être définie de plusieurs manières (contenu de Minkowski, périmètre géométrique...), toutes dépendant étroitement à la fois de la distance et de la mesure ambiantes. L'objet principal de cette thèse est l'étude du problème isopérimétrique dans des espaces produits, que ce soit pour transférer des inégalités isopérimétriques d'espaces facteurs vers ces produits, ou pour comparer le profil isopérimétrique de l'espace produit à ceux des facteurs. La thèse se découpe en quatre parties : - Étude de l'opération de symétrisation (pour les ensembles) et de réarrangement (pour les fonctions), notions analogues, du point de vue de la théorie de la mesure géométrique et des fonctions à variations bornée. Ces opérations agissent de sorte à ce que n'augmente pas la mesure de surface (pour les ensembles), ou la variation (pour les fonctions). Nous introduisons notamment une nouvelle classe d'espaces modèles, pour lesquels nous obtenons des résultats qualitativement similaires à ceux obtenus pour les espaces modèles classiques : inégalités isopérimétriques transférées aux produits, comparaison d'énergies (pour des fonctionnelles convexes). - Détail d'un argument de minoration du profil isopérimétrique d'un espace métrique produit XxY par une fonction dépendant des profils de X et Y, pour une large classe de distances produits sur XxY. L'étude de ce problème est faite via la minimisation d'une fonctionnelle sur la classe des mesures de Radon. - Étude du problème isopérimétrique dans un espace métrique mesuré produit (le produit d'ordre quelconque du même espace métrique mesuré), muni de la combinaison uniforme de sa distance (élargissement uniforme). Nous donnons un critère pour que tous les profils isopérimétriques (quel que soit l'ordre d'itération du produit) soient minorés par un multiple du minorant du profil isopérimétrique de l'espace originel. Ceci est fait en utilisant notamment des méthodes ayant trait aux inégalités fonctionnelles. Nous appliquons ensuite les résultats aux influences géométriques. - Étude d'inégalités fonctionnelles dites isopérimétriques, permettant d'appréhender le comportement isopérimétrique dans l'espace produit correspondant d'ordre quelconque. Nous résumons l'état des connaissances à propos des inégalités de ce type et proposons une autre méthode qui pourrait aboutir à prouver une telle inégalité dans le cas de mesures réelles particulières, pour lesquelles le problème est ouvert. / The isoperimetric problem in a metric measured space consists in finding the sets having minimal boundary measure, with prescribed volume. It can be formulated in various settings (general metric measured spaces, Riemannian manifolds, submanifolds of the Euclidean space, ...). At this point, two questions arise : - What are the optimal sets, namely the sets having smallest boundary measure (it has to be said that they do not always exist) ? - What is the smallest boundary measure ? The solution to the second answer can be expressed by a function called the isoperimetric profile. This function maps a value of (prescribed) measure onto the corresponding smallest boundary measure. As for the precise notion of boundary measure, it can be defined in different ways (Minkowski content, geometric perimeter, ...), all of them closely linked to the ambient distance and measure. The main object of this thesis is the study of the isoperimetric problem in product spaces, in order to transfer isoperimetric inequalities from factor spaces to the product spaces, or to compare their isoperimetric profiles. The thesis is divided into four parts : - Study of the symmetrization operation (for sets) and the rearrangement operation (for functions), analogous notions, from the point of view of Geometric Measure Theory and Bounded Variation functions. These operations cause the boundary measure to decrease (for sets), or the variation (for functions). We introduce a new class of model spaces, for which we obtain similar results to those concerning classic model spaces : transfer of isoperimetric inequalities to the product spaces, energy comparison (for convex functionals). - Detailed proof of an argument of minorization of the isoperimetric profile of a metric measured product space XxY by a function depending on the profiles of X and Y, for a wide class of product distances over XxY. The study of this problem uses the minimization of a functional defined on Radon measures class. - Study of the isoperimetric problem in a metric measured space (n times the same space) equipped with the uniform combination of its distance (uniform enlargement). We give a condition under which every isoperimetric profile (whatever the order of iteration might be) is bounded from below by a quantity which is proportional to the isoperimetric profile of the underlying space. We then apply the result to geometric influences. - Study of isoperimetric functional inequalities, which give information about the isoperimetric behavior of the product spaces. We give an overview of the results about this kind of inequalities, and suggest a method to prove such an inequality in a particular case of real measures for which the problem reamins open.

Nous étudions les relations qui existent entre des aspects de la géométrie sous-riemannienne et une diversité de singularités typiques dans ce contexte.Avec les théorèmes de Whitney sous-riemanniens, nous conditionnons l’existence de prolongements globaux de courbes horizontales définies sur des fermés à des hypothèses de non-singularité de l’application point-final dans l’approximation nilpotente de la variété.Nous appliquons des méthodes perturbatives pour obtenir des asymptotiques sur la longueur de courbes localement minimisantes perdant leur optimalité proche de leur point de départ dans le cas des variétés sous-riemanniennes de contact de dimension arbitraire. Nous décrivons la géométrie du lieu singulier et prouvons sa stabilité dans le cas des variétés de dimension 5.Nous introduisons une construction permettant de définir des champs de directions à l’aide de couples de champs de vecteurs. Ceci fournit une topologie naturelle pour analyser la stabilité des singularités de champs de directions sur des surfaces. / We investigate the relationship between features of of sub-Riemannian geometry and an array of singularities that typically arise in this context.With sub-Riemannian Whitney theorems, we ensure the existence of global extensions of horizontal curves defined on closed set by requiring a non-singularity hypothesis on the endpoint-map of the nilpotent approximation of the manifold to be satisfied.We apply perturbative methods to obtain asymptotics on the length of short locally-length-minimizing curves losing optimality in contact sub-Riemannian manifolds of arbitrary dimension. We describe the geometry of the singular set and prove its stability in the case of manifolds of dimension 5.We propose a construction to define line fields using pairs of vector fields. This provides a natural topology to study the stability of singularities of line fields on surfaces.