Ce travail porte principalement sur la dynamique et les méthodes de détection des exoplanètes coorbitales. Nous appelons "coorbitale" toute configuration pour laquelle deux planètes orbitent avec le même moyen mouvement moyen autour d'une même étoile. Dans un premier temps, nous revisitons les résultats du cas coplanaire circulaire. Nous rappelons également que les variétés des coorbitaux circulaires et celle des coorbitaux coplanaires sont toutes deux invariantes par le flot du Hamiltonien moyen. Nous nous intéressons donc à ces deux cas particuliers. L'accent est mis sur le cas coplanaire (excentrique), où nous étudions l'évolution de familles d'orbites quasi-périodiques de dimension non maximale en fonction de l'excentricité des planètes. Nous montrons que la géométrie des ces familles dépend fortement de l'excentricité, ce qui entraine des changements de topologie importants dans l'ensemble de l'espace des phases à mesure que celle-ci augmente. Un chapitre est dédié à la détection des exoplanètes coorbitales. On y rappelle les différentes méthodes de détection adaptées au cas coorbital. On développe particulièrement le cas des vitesses radiales, ainsi que leur combinaison avec des mesures de transit. Enfin, on décrit une méthode permettant d'étudier l'effet de perturbations orbitales sur les résonances spin-orbite d'un corps indéformable. Nous appliquons cette méthode dans deux cas: le cas coorbital excentrique, et le cas circumbinaire. / This work focuses on the dynamics and the detection methods of co-orbital exoplanets. We call "co-orbital" any configuration in which two planets orbit with the same mean mean-motion around the same star. First, we revisit the results of the circular coplanar case. We also recall that the manifold associated to the coplanar case and the manifold corresponding to the circular case are both invariant by the flow of the averaged Hamiltonian. We hence study these two particular cases. We focus mainly on the coplanar case (eccentric), where we study the evolution of families of non-maximal quasi-periodic orbits parametrized by the eccentricity of the planets. We show that the geometry of these families is highly dependent on the eccentricity, which causes significant topology changes across the space of phases as the latter increases. A chapter is dedicated to the detection of co-orbital exoplanets. We recall the different detection methods adapted to the co-orbital case. We focus on the radial velocity technique, and the combination of radial velocity and transit measurements. Finally, we describe a method to study the effect of orbital perturbations on the spin-orbit resonances for a rigid body. We apply this method in two cases: the eccentric co-orbital case and the circumbinary case.

On considère d'abord le problème de trois corps. En première approximation, il est étudié le cas d'une étoile binaire qui perturbe le mouvement d'une troisième étoile liée gravitationnellement au système, mais qui se trouve éloignée. Ces perturbations peuvent imiter le mouvement réflexe d'une étoile qui possède une planète provoquant une fausse détection planétaire par des méthodes astrométriques ou de vitesse radiale. Ensuite, on considère un problème de trois corps constitué par une étoile avec deux planètes; on étudie les perturbations produites dans ce type de systèmes et on examine leur influence dans la détection de planètes par la méthode de transits: les changements dans le temps d'arrivée du signal et dans la durée et la profondeur des transits. On étudie, du point de vue photométrique, la possibilité que des phénomènes d'activité stellaire tels que les taches puissent imiter la signature photométrique d'un transit. La forme et la taille de la diminution du flux stellaire produite par une tache est en général différente d'un transit, mais ils existent certaines configurations où les taches peuvent imiter la forme d'un transit rasant. De l'autre côté, on étudie la photométrie planétaire pour considérer non seulement la possibilité de mesurer la lumière réfléchie par une planète, sinon les phénomènes photométriques mutuels qui se produisent dans une système planète-compagnon: les éclipses et les ombres projetées sur les surfaces. Les méthodes mathématiques ainsi développés permettent d'étudier numériquement en détail la signature photométrique des transits. Finalement, une grande partie de la thèse a été dédiée à l'analyse de données fournies par la mission CoRoT consacrées à la recherche de planètes extra-solaires. Quatre fois par an, le satellite fournit dix mille courbes de lumière qu'il faut traiter pour éliminer le bruit instrumental ainsi que la variabilité stellaire. Ensuite, il faut fouiller les courbes à la recherche des transits planétaires et les caractériser pour pouvoir réaliser des observations photométriques et spectroscopiques depuis le sol et obtenir la masse de l'objet en transit. Dans les systèmes où il a été trouvé une planète, on étudie les possibles perturbations dans le temps d'arrivée du signal.

Au voisinage d'une résonance de Feshbach, les interactions entre atomes froids sont fortes car la longueur de diffusion diverge. De plus les interactions ont une portée faible, ce qui permet généralement de les modéliser par un pseudopotentiel de portée nulle. La limite d'une longueur de diffusion infinie et d'une portée nulle est appelée limite unitaire.<br /><br />Nous résolvons le problème à 3 corps à la limite unitaire dans un piège harmonique isotrope. Pour des particules bosoniques, nous obtenons deux types d'états propres: d'une part les états universels, qui ne dépendent que de la fréquence d'oscillation d'une particule dans le piège, de la masse des particules et de la constante de Planck; d'autre part les états efimoviens, qui dépendent aussi d'un paramètre à trois corps, de façon analogue aux états liés découverts par Efimov en l'absence de potentiel extérieur. Dans une expérience, nous prédisons que les états universels ont une longue durée de vie, ce qui est inhabituel pour des atomes bosoniques. Cette durée de vie est limitée par le couplage des états universels aux états efimoviens induit par la portée non nulle des interactions.<br /><br />Pour le problème à N corps, nous montrons que l'hyperrayon, un degré de liberté collectif décrivant la taille globale du gaz, est séparable. Nous déterminons ainsi la dépendance en l'hyperrayon des fonctions d'ondes à N corps. Nous déduisons une relation sur les fluctuations thermiques de la taille du gaz. Nos résultats se généralisent à certaines résonances à N corps.<br /><br />Dans un piège tournant à une vitesse suffisante, nous montrons dans le cadre de l'hydrodynamique superfluide que le gaz unitaire devient dynamiquement instable.<br /><br />Pour un piège et une dimension d'espace quelconques, nous obtenons de nouveaux théorèmes du viriel pour différents types d'interactions entre atomes. Dans le cas de la transition BEC-BCS dans un piège harmonique, nous déduisons que l'énergie potentielle de piégeage a un point d'inflexion à la limite unitaire si la longueur de diffusion est changée adiabatiquement.

Nous rappelons les propriétés de symétrie du problème Coulombien à trois corps. Combinées à un choix pertinent de variables d'espace et de fonctions de base, elles permettent d'écrire l'Hamiltonien effectif du problème sous la forme d'une matrice bande qui peut être diagonalisée numériquement avec efficacité. Nous avons appliqué ces calculs aux ions moléculaires H2+ et HD+, mais aussi aux ions moléculaires exotiques de type mupp. A partir des fonctions d'onde, nous avons calculé les spectres de photodissociation de H2+, étendu le calcul des taux de transition à deux photons au cas de HD+, et déterminer les durées de vie radiatives et Coulombiennes des résonances des ions exotiques.<br /> <br />Nous présentons l'expérience, actuellement en cours de construction, de spectroscopie à deux photons sans effet Doppler dans l'ion H2+. Nous piégeons et sélectionnons les ions dans le niveau fondamental. La transition vers le premier état excité est en cours de réalisation. Dans l'objectif de déterminer le rapport de la masse du proton à la masse de l'électron nous montrons que la spectroscopie de l'ion HD+ est plus favorable. Ce résultat sera expérimentalement valorisé à l'avenir.

L'ensemble des travaux menés au cours de cette thèse concerne l'étude de la résonance co-orbitale. Ce domaine de trajectoires particulières, où un astéroïde et une planète gravitent autour du Soleil avec la même période de révolution, possède une dynamique très riche liée aux célèbres configurations équilatérales de Lagrange, L4 et L5, ainsi qu'aux configurations alignées de Euler, L1, L2 et L3. Un exemple majeur dans le système solaire est donné par les astéroïdes « troyens » qui accompagnent Jupiter au voisinage des équilibres L4 et L5. Une deuxième configuration étonnante est donnée par les satellites Janus et Épiméthée qui gravitent autour de la planète Saturne ; suite à la forme décrite par la trajectoire d’un des satellites dans un repère tournant avec l’autre, la dynamique résultante est appelée « fer-à-cheval ». Un nouveau type de dynamique a été récemment misen évidence dans le contexte de la résonance coorbitale : les « quasi-satellites ». Il s’agit de configurations remarquables où, dans un repère tournant avec la planète, la trajectoire de l’astéroïde correspond à celle d’un satellite rétrograde. Des astéroïdes accompagnant les planètes Venus, Jupiter et la Terre ont notamment été observés dans ces configurations. La dynamique des quasi-satellites possède un grand intérêt, pas seulement parce qu’elle relie les différents domaines de la résonance co-orbitale (voir les travaux de Namouni, 1999) mais aussi parce qu’elle semble faire le pont entre les notions de satellisation et celles de trajectoires héliocentriques. Cependant, bien que le terme « quasi-satellite" soit devenu dominant dans la communauté de mécanique céleste, certains auteurs utilisent plutôt la terminologie « satellite rétrograde » révélant ainsi une ambiguïté sur la définition de ces trajectoires. Les récentes découvertes autour des exo-planètes ont motivé le développement de travaux concernant la résonance co-orbitale dans le problème des trois corps planétaire. Dans ce contexte Giuppone et al. (2010) ont mis en évidence (par une méthode numérique) les quasisatellites ainsi que des nouvelles familles de configurations remarquables : les orbites « anti-Lagrange ». La troisième partie de thèse présente alors une méthode analytique pour l'étude planétaire, permettant de révéler analytiquement les orbites anti-Lagrange ainsi qu'une esquisse d'étude des quasisatellites en adaptant à ce contexte plus général la méthode présentée dans la seconde partie. Pour ces raisons, la première partie de cette thèse a consisté à clarifier la définition de ces orbites en revisitant le cas circulaire-plan (trajectoires coplanaires avec la planète qui gravite sur une orbite circulaire) dans le cadre du problème moyen. Dans la deuxième partie de cette thèse, nous avons développé une méthode analytique apte à explorer le domaine des quasi-satellites dans le cadre du problème moyen. Nous avons réalisé cette exploration dans le cas circulaire-plan et proposé une extension aux cas excentrique-plan et circulaire-spatial. / This work of thesis focuses on the study of the coorbital resonance. This domain of particular trajectories, where an asteroid and a planet gravitate around the Sun with the same period possesses a very rich dynamics connected to the famous Lagrange’s equilateral configurations L4 and L5, as well as to the Eulerian’s configurations L1, L2 and L3. A major example in the solar system is given by the “Trojan” asteroids harboured by Jupiter in the neighborhood of L4 and L5. A second astonishing configuration is given by the system Saturn-Janus-Epimetheus; this peculiar dynamics is known as “horseshoe”. Recently, a new type of dynamics has been highlighted in the context of co-orbital resonance: the quasi-satellites. They correspond to remarkable configurations : in the rotating frame with the planet, the trajectory of the asteroid seems the one of a retrograde satellite. Some asteroids harboured by Venus, Jupiter and the Earth have been observed in this kind of configuration. The quasi-satellite dynamics possesses great interest not only because it connects the different domains of the co-orbital resonance (see works of Namouni, 1999), but also because it seems to bridge the gap between satellization and heliocentric trajectories. However, despite the term quasi-satellite has become dominant in the celestial mechanics community, some authors rather use the term “retrograde satellite”. This reveals an ambiguity on the definition of these trajectories. For these reasons, the first part of this thesis consisted in clarifying the definition of these orbits by revisiting the planar-circular case (planet on circular motion) in the framework of the averaged problem. In the second part of this thesis, we developed an analytic method to explore the quasi-satellite domain in the averaged problem. We realized this exploration in the planar-circular case and proposed an extension to the planar-eccentric and spatial-circular cases. The recent discoveries around the exo-planets motivated some works on the co-orbital resonance in the planetary Three-Body Problem. In this context, Giuppone et al. (2010) highlighted (numerically) the quasi-satellite as well as new families of remarkable configurations: the “anti-Lagrange”. Then the third part of this thesis presents an analytical method for the planetary problem that allows to reveal the anti-Lagrange orbits as well as a sketch of study of quasi-satellite trajectories.

Ce manuscrit est motivé par la possibilité d’explorer de nombreux régimes quantiques grâce aux atomes froids : l’utilisation de résonances de diffusion rend possible un contrôle très fin des effets des interactions et l’ajout de pièges extérieurs permet de s’approcher de régimes de dimension réduite. Nous étudions ici quelques propriétés d’atomes froids piégés dans des guides d’onde uni- ou bidimensionnels au voisinage de résonances de Feshbach. En jouant sur l’intensité du confinement, on peut étudier la transition entre un système tridimensionnel et un système en dimension réduite. Nous modélisons les interactions par un modèle à deux voies qui inclut le couplage cohérent entre atomes et molécules de Feshbach. Nous mettons en évidence l’existence d’un régime unidimensionnel, que l’on peut décrire par un modèle de contact, et dans lequel la portée effective est un paramètre essentiel. Nous examinons alors le problème à trois corps dans ce régime pour des bosons ainsi que dans le régime équivalent pour des fermions totalement polarisés, en particulier leurs propriétés d’intégrabilité. Enfin, nous étudions le développement du viriel d’un gaz d’atomes froids. Nous démontrons, grâce à une approche diagrammatique, une généralisation de la formule de Beth et Uhlenbeck qui prend en compte à la fois les molécules de Feshbach et l’existence d’un guide d’onde. / This manuscript is motivated by the possibility of exploring many quantum regimes using cold atoms: interactions can be tuned very precisely by using Feshbach resonances and low-dimensional regimes can be approached with external potentials. Here, we study some properties of cold atoms trapped into uni- or bidimensional waveguides in the vicinity of a Feshbach resonance. The transition from a tridimensionnal to a low-dimensional system can then be studied by varying the intensity of the confinement. Interactions are described with a two-channel model that includes the coherent coupling between atoms and Feshbach molecules. We highlight a unidimensional regime, that can be described with a contact model and in which the effective range parameter is essential. Thus we investigate the three-body problem in this regime for bosons and also in the equivalent regime for totally polarized fermions, in particular their integrability properties. Finally, we study the virial expansion of a gas of cold atoms. Using a diagrammatic approach, we derive a generalization of the Beth and Uhlenbeck formula, that takes into account both the Feshbach molecules and the existence of a waveguide.

La première moitié de ce mémoire est consacrée à la théorie KAM et au théorème d'Arnold sur la stabilité des systèmes planétaires. Ce travail a fait l'objet d'un article en préparation et d'une publication~:\footnote{ \url{http://people.math.jussieu.fr/~fejoz/articles.html}} -- ''Twisted conjugacies and invariant tori theorems''~\cite{Fejoz:2010a}. Je redémontre une forme normale de champs de vecteurs due à Moser~\cite{Moser:1967}, pour les perturbations de champs de vecteurs admettant un tore invariant quasi-périodique diophantien. Cette forme normale, que j'appelle une \emph{conjugaison tordue} est une porte d'entrée pour démontrer des théorèmes de tores invariants dus à Kolmogorov, Arnold, Rüssmann et Herman, ainsi que d'autres théorèmes, par exemple pour des champs de vecteurs dissipatifs. J'introduis une notion de \emph{conjugaison hypothétique}, comme un intermédiaire commun aux théorèmes de tores invariants avec une condition de non-dégénérescence faible, améliore certaines estimations sur la dépendance fonctionnelle de la forme normale, et donne quelques applications nouvelles à la mécanique céleste. -- ''Démonstration du théorème d'Arnold sur la stabilité du système planétaire (d'après Herman)''~\cite{Fejoz:2004}. Cet article donne une démonstration du théorème d'Arnold pour $N$ planètes dans l'espace $\R^3$. La démonstration de~\cite{Fejoz:2010a} est une clarification et une amélioration de la partie abstraite de ~\cite{Fejoz:2004}. Arnold avait publié le résultat remarquable suivant~: dans le problème planétaire newtonien à $N$ planètes, si les masses des planètes sont assez petites, il existe dans l'espace des phases un sous-ensemble invariant de mesure de Lebesgue strictement positive, formé de tores invariants quasipériodiques de dimension $3N-1$~\cite{Arnold:1963}. La suggestion d'Arnold pour le démontrer en toute généralité était de fixer la direction du moment cinétique, pour se débarrasser de la dégénérescence due à l'invariance par rotation, puis d'appliquer sa version dégénérée du théorème de Kolmogorov pour trouver des tores lagrangiens invariants au voisinage de la singularité séculaire elliptique (mouvements képlériens elliptiques circulaires horizontaux). Cette stratégie de réduction partielle ne marche pas à cause d'une résonance mystérieuse, découverte par Herman, qui généralise à $N$ planètes une résonance déjà connue de Clairaut dans le problème de la lune. Cette résonance n'avait pas été remarquée dans le cas de $2$ planètes, où la réduction des noeuds de Jacobi permet de réduire complètement le problème par la symétrie de rotation, en coordonnées de Delaunay (je rappelle en appendice la définition de ces coordonnées, et propose une nouvelle démonstration de leur caractère symplectique). Ici, je démontre par récurrence sur le nombre de planètes, en suivant les idées d'Herman, que l'image locale de l'application fréquence (vue comme fonction des demi grands axes des planètes) est contenue dans un plan vectoriel de codimension deux, mais dans aucun plan vectoriel de codimension supérieure. Un argument de la théorie des intersections lagrangiennes permet alors d'appliquer un théorème de tores invariants qui ne requiert qu'une faible condition de non-dégénérescence. La seconde moitié de ce mémoire traite d'orbites périodiques et relativement périodiques (i.e. périodiques en repère tournant), dans le problème global des $N$ corps. Elle aussi est basée sur deux articles. -- ''The flow of the equal-mass spatial 3-body problem in the neighborhood of the equilateral relative equilibrium'' (avec A. Chenciner)~\cite{Chenciner:2008}. Nous démontrons qu'exactement deux familles de solutions relativement périodiques bifurquent de la solution d'équilibre relatif de Lagrange~: la famille homographique et la famille $\mathcal{P}_{12}$. De plus, en restriction à la variété centrale de dimension $4$ de l'équilibre relatif de Lagrange, la dynamique locale est une application twist d'un anneau de section, bordé par les deux familles. Un autre article montre que la famille $\mathcal{P}_{12}$ se termine, de l'autre côté, à la solution en Huit de Chenciner-Montgomery~\cite{Chenciner:2005a}. Entre ces deux extrémités, on sait que la famille $\mathcal{P}_{12}$ existe comme famille des minima de l'action lagrangienne parmi les lacets possédant sa classe de symétrie. Une telle famille pourrait a priori être non unique, ou discontinue, mais les expériences numériques ne laissent guère de doute (voir la figure dans la préface). -- ''Unchained polygons and the {$N$}-body problem'' (avec A. Chenciner)~\cite{Chenciner:2009}. L'équilibre relatif de Lagrange apparaît dans ce qui précède comme le centre organisateur du Huit. Nous montrons que le même phénomène se produit avec l'équilibre relatif du carré à quatre masses égales, qui apparaît comme centre organisateur de la famille du Hip-Hop. Plus généralement, beaucoup de classes de solutions récemment découvertes appartiennent aux familles de Lyapunov issues d'équilibres relatifs symétriques. Dans un repère tournant où elles deviennent périodiques, ces familles acquièrent des symétries remarquables. Nous étudions la possibilité de les prolonger globalement comme minima de l'action lagrangienne en un repère tournant, au sein de leur classe de symétrie. Une étape préliminaire est de déterminer les intervalles de la fréquence de rotation du repère sur lesquels un équilibre relatif est l'unique minimum absolu de l'action. Nous nous focalisons ensuite sur notre exemple principal, l'équilibre relatif du polygone régulier à $N$ sommets. L'existence locale de familles de Lyapunov verticales repose sur le fait que la restriction de la partie quadratique de l'énergie aux directions centrales est définie positive. Nous calculons les groupes de symétrie $G_{\frac rs}(N,k,\eta)$ des familles de Lyapunov verticales, et les utilisons pour prolonger les familles globalement. Les exemples paradigmatiques sont les familles de Huits pour un nombre impair de corps et les familles de Hip-Hops pour un nombre pair. Ce sont précisément les éléments de ces deux types de familles qui peuvent être des minima globaux. Dans les autres cas, des obstructions apparaissent, qui sont dues à des isomorphismes entre les groupes de symétrie de différentes famille~; c'est le cas des \emph{chaînes chorégraphiques}, dont les éléments sont seulement des minima locaux (sauf pour $N=3$). Une autre particularité intéressante de ces chaînes est le rôle décisif joué par la parité, en particulier à travers la valeur prise par le moment cinétique. Pour les familles de Lyapunov bifurquant d'un polygone à au plus $6$ sommets, nous vérifions en outre que la torsion locale est non dégénérée, ce qui justifie de prendre la rotation du repère comme paramètre. Cet article montre la fécondité des considérations de symétrie, comme technique de démonstration mais aussi comme guide heuristique dans la recherche de solutions remarquables. Le problème des $n$ corps, depuis longtemps à l'origine de nombreuses théories mathématiques, garde entier, de part la variété des techniques nécessaires à son étude, son pouvoir de fascination.

Le contexte de ce travail est la mécanique spatiale. Plus précisément, on se propose de réaliser des transferts 'a faible poussée dans le système Terre- Lune modélise par le problème des trois corps restreint circulaire. Le but est de calculer la commande optimale de l'engin spatial pour deux critères d'optimisation: temps de transfert minimal et consommation de carburant minimale. Les contributions de cette thèse sont de deux ordres. Géométrique, tout d'abord, puisqu'on étudie la contrôlabilité du système ainsi que la géométrie des transferts (structure de la commande) à l'aide d'outils de contrôle géométrique. Numérique, ensuite, différentes méthodes homotopiques sont développées. En effet, une continuation deux-trois corps est considérée pour calculer des trajectoires temps minimales et puis une continuation sur la poussée maximale de l'engin pour atteindre des poussées faibles. Le problème de consommation minimale -- minimisation de la norme L1 du contrôle -- est connecté par une continuation différentielle au problème de minimisation de la norme L2 du contrôle. Les solutions trouvées sont comparées à celles calculées 'a l'aide d'une p pénalisation par barrière logarithmique. Ces méthodes sont ensuite appliquées pour la mission SMART-1 de l'Agence Européenne Spatiale.

Arnold a démontré l'existence de solutions quasipériodiques dans le problème planétaire à trois corps plan, sous réserve que la masse de deux des corps, les planètes, soit petite par rapport à celle du troisième, le Soleil. Cette condition de petitesse dépend de façon cachée de la largeur d'analyticité de l'hamiltonien du problème, dans des coordonnées transcendantes. Hénon ex- plicita un rapport de masses minimal nécessaire à l'application du théorème de Arnold. L'objectif de cette thèse sera de donner une condition suffisante sur les rapports de masses. Une première partie de mon travail consiste à estimer cette largeur d'analyticité, ce qui passe par l'étude précise de l'équation de Kepler dans le complexe, ainsi que celle des singularités complexes de la fonction perturbatrice. Une deuxième partie consiste à mettre l'hamiltonien sous forme normale, dans l'optique d'une application du théorème KAM (du nom de Kolmogorov-Arnold-Moser). Il est nécessaire d'étudier le hamiltonien séculaire pour le mettre sous une forme normale adéquate. On peut alors quantifier la non-dégénérescence de l'hamiltonien séculaire, ainsi qu'estimer la perturbation. Enfin, il faut démontrer une version quantitative fine du théorème KAM, inspirée de Pöschel, avec des constantes explicites. A l'issue de ce travail, il est montré que le théorème KAM peut être appliqué pour des rapports de masses entre planètes et étoile de l'ordre de 10^(-85). / Arnold showed the existence of quasi-periodic solutions in the plane planetary three-body prob- lem, provided that the mass of two of the bodies, the planets, is small compared to the mass of the third one, the Sun. This smallness condition depends in a sensitive way on the analyticity widths of the Hamiltonian of the three-body problem, expressed with the help of some tran- scendental coordinates. Hénon gave a minimal ratio of masses necessary to the application of Arnold’s theorem. The main objective of this thesis is to determine a sufficient condition on this ratio. A first part of this work consists in estimating these analyticity widths, which requires a precise study of the complex Kepler equation, as well as the complex singularities of the disturb- ing function. A second part consists in reworking the Hamiltonian to put it under normal form, in order to apply the KAM theorem (KAM standing for Kolmogorov-Arnold-Moser). In this aim, it is essential to work with the secular Hamiltonian to put it under a suitable normal form. We can then quantify the non-degeneracy of the secular Hamiltonian, as well as estimate the perturbation. Finally, it is necessary to derive a quantitative version of the KAM theorem, in order to identify the hypotheses necessary for its application to the plane three-body problem. After this work, it is shown that the KAM theorem can be applied for a ratio of masses that is close to 10^(−85) between the planets and the star.

Cette thèse contient deux parties distinctes, reliées par le thème de l’étude géométrique du problème à trois corps. La première partie présente un point de vue sur les enjeux et les perspectives liés à la diffusion des mathématiques, et illustre ce point de vue à l’aide de deux projets de diffusion « grand public » : une exposition virtuelle autour de la mécanique céleste et du problème à trois corps, et un duo de contes mathématiques pour enfants, l’un sur la forme de la lune, et l’autre sur l’enlacement de courbes fermées. La présentation de ces projets est suivie d’une analyse a priori et d’une étude des observations recueillies lors de différentes expérimentations auprès de publics variés. La deuxième partie est consacrée à l’étude – théorique et numérique – de l’enlacement des trajectoires de quelques systèmes dynamiques sur la 3-sphère, et en particulier de certaines instances du problème à trois corps. On y présente d’abord le problème à trois corps restreint, plan, circulaire, en s’intéressant tout particulièrement au cas où une des deux primaires disparait. On se ramène ainsi à un flot sur la 3-shpère dont on connaît explicitement des sections de Birkhoff en disque ou en anneau, et on met en lumière des éléments qui tendent à montrer le caractère lévogyre de ce flot. On explore ensuite, à l’aide de simulations numériques, la possibilité que le système reste lévogyre sur un domaine assez éloigné de ce cas dégénéré. Enfin, on s’intéresse aux flots sur la 3-sphère qui admettent une section de Birkhoff en disque et on traduit la notion d’enlacement de mesures invariantes pour le flot en termes d’enroulement de mesures invariantes pour le difféomorphisme de premier retour. / This thesis contains two distinct parts, connected by the subject of the geometric study of the three body problem.The first part presents a point of view about the stakes and prospects of the popularization of mathematics, and it illustrates this point of view with two projects of popularization for a general public : a virtual exhibition about celestial mechanics and the three body problem, and a pair of mathematical tales for children, one about the shape of the moon, and the other about the linking number of two closed curves. The presentation of these projects is followed by an initial analysis and by a study of the observations collected during different experimentations towards various publics. The second part is devoted to the theoretical and computational study of the linking number of trajectories from a few dynamical systems on the 3-sphere, and in particular from some cases of the restricted three body problem. We first present the planar, circular, restricted three body problem, with a particular attention to the case where one of the two heavy bodies vanishes. We thus restrict ourselves to a flow on the 3-shpere for which disk-like or annular-like Birkhoff sections are explicitely known, and we bring to light evidences of the right-handedness of this flow. Then we investigate, with the help of computer simulations, the possibility for the system to stay right-handed over a domain rather distant from this degenerate case. Finally, we consider the flows on the 3-sphere which admit a disk-like Birkhoff section, and we translate the notion of linking for measures that are invariant by a flow into the notion of winding for measures that are invariant by the first return map on the disk.