Thèse : Mécanique céleste. Astronomie : Paris, Faculté des sciences : 1855. / Titre provenant de l'écran-titre.

Thèse : Astronomie : Faculté des Sciences de Paris : 1843. Thèse : Mécanique : Faculté des Sciences de Paris : 1843. / Titre provenant de l'écran-titre.

Cette thèse généralise au problème spatial dans le cas lunaire les études sur diverses familles de mouvements quasi-périodiques dans le problème plan des trois corps. En tronquant au premier ordre non trivial le développement en puissances du rapport des demi grands axes de la fonction perturbatrice moyennée sur les angles rapides, on obtient un système complètement intégrable qui peut servir de première approximation pour le système initial. C'est le système quadripolaire, découvert par Harrington. Dans un article classique, Lidov et Ziglin ont étudié la dynamique de ce système. Nous commençons par établir l'existence de solutions quasi-périodiques du problème spatial des trois corps en appliquant les théorèmes de KAM à ce système. Nous montrons ensuite l'existence de familles de solutions que nous appelons solutions quasi-périodiques de quasi-collision : ce sont des solutions le long desquelles deux des corps deviennent arbitrairement proches l'un de l'autre sans toutefois avoir de collision : la limite inférieure de leur distance est nulle alors que la limite supérieure est strictement positive. Ces solutions sont quasi-périodiques dans un système régularisé à un changement de temps près. Des solutions de ce type ont été mises en évidence tout d'abord dans le problème restreint plan circulaire par Chenciner et Llibre puis, dans le problème plan des trois corps par Féjoz. Nous prouvons l'existence d'une mesure positive de ces solutions dans le problème spatial des trois corps. L'existence de ce type de solutions avait été prédit par Marchal dont nous confirmons rigoureusement le résultat. La démonstration consiste en l'application d'un théorème KAM équivariant dans une régularisation du problème, ici celle de Kustaanheimo-Stiefel, et par la compréhension, suivant Féjoz, de la relation entre régularisation et moyennisation.