Le problème du cercle de Gauss consiste à compter le nombre de points entiers de longueur bornée dans le plan. Autrement dit, compter le nombre de géodésiques fermées de longueur bornée sur un tore plat bidimensionnel. De très nombreux problèmes de comptage en systèmes dynamiques se sont inspirés de ce problème. Depuis 30 ans, on cherche à comprendre l’asymptotique de géodésiques fermées dans les surfaces de translation. H. Masur a montré que ce nombre a une croissance quadratique. Calculer l’asymptotique quadratique (constante de Siegel–Veech) est un sujet de recherches très actif aujourd’hui. L’objet d’étude de cette thèse est le modèle de windtree, un modèle de billard non compact. Dans le cas classique, on place des obstacles rectangulaires identiques dans le plan en chaque point entier. On joue au billard sur le complémentaire. Nous montrons que le nombre de trajectoires périodiques a une croissance asymptotique quadratique et calculons la constante de Siegel–Veech pour le windtree classique ainsi que pour la généralisation de Delecroix– Zorich. Nous prouvons que, pour le windtree classique, cette constante ne dépend pas des tailles des obstacles (phénomène “non varying” analogue aux résultats de Chen–Möller). Enfin, lorsque la surface de translation compacte sous-jacente est une surface de Veech, nous donnons une version quantitative du comptage. / The Gauss circle problem consists in counting the number of integer points of bounded length in the plane. In other words, counting the number of closed geodesics of bounded length on a flat two dimensional torus. Many counting problems in dynamical systems have been inspired by this problem. For 30 years, the experts try to understand the asymptotic behavior of closed geodesics in translation surfaces. H. Masur proved that this number has quadratic growth rate. Compute the quadratic asymptotic (Siegel–Veech constant) is a very active research domain these days. The object of study in this thesis is the wind-tree model, a non-compact billiard model. In the classical setting, we place identical rectangular obstacles in the plane at each integer point. We play billiard on the complement. We show that the number of periodic trajectories has quadratic asymptotic growth rate and we compute the Siegel–Veech constant for the classical wind-tree model as well as for the Delecroix–Zorich variant. We prove that, for the classical wind-tree model, this constant does not depend on the dimensions of the obstacles (non-varying phenomenon, analogous to results of Chen–Möller). Finally, when the underlying compact translation surface is a Veech surface, we give a quantitative version of the counting.

Cette thèse s'inscrit dans le cadre de systèmes complexes appliqués aux systèmes économiques. Dans cette thèse, un modèle multi-agent a été proposé, qui modélise le cycle de production. Il est consitué d'entreprises, ouvirers/foyers, et une banque, et repecte la conservation de la monnaie. Son hypothèse centrale est que les entreprises se basent sur une marge espérée pour déterminer leur production. Un scénario simple de ce modèle, ou les marges espérées sont homogènes, a été analysé dans le cadre de models de croissance stochastique. Les résultats sont la distribution de tailles d'entreprises rassemblant des lois de puissance, et leur distribution du taux de croissance de forme 'tente', ainsi qu'une dépendence de taille de la variance de la croissance. Ces résultats sont proches aux faits stylisés issus d'études empiriques. Dans un scénario plus complet, le modèle contient des caractéristiques supplémentaires: des marges espérées hétérogèges, ainsi que des paiements d'intérêts, la possibilité de faire faillite. Cela ramène le modèle aux modèles macro-économiques multi-agents. Les extensions sont décrites de façon théorique par des équations de replicateur. Les résultats nouveaux sont la distribution d'age d'entreprises actives, la distribution de leur taux de profit, la distribution de dette, des statistiques sur les faillites, et des cycles de vie caractéristiques. Tout ces résultats sont qualitativement en accord avec des résultats d'études empiriques de plusieurs pays.Le modèle proposé génère des résultats prometteurs, en respectant le principe que des résultats qui apparaissent simultanément peuvent soit etre générés par un même processus, soit par plusieurs aui qui sont compatibles. / The thesis is in the field of complex systems, applied to an economic system. In this thesis, an agent-based model has been proposed to model the production cycle. It comprises firms, workers, and a bank, and respects stock-flow consistency. Its central assumption is that firms plan their production based on an expected profit margin. A simple scenario of the model, where the expected profit margin is the same for all firms, has been analyzed in the context of simple stochastic growth models. Results are a firms' size distribution close to a power law, and tent-shaped growth rate distribution, and a growth rate variance scaling with firm size. These results are close to empirically found stylized facts. In a more comprehensive version, the model contains additional features: heterogeneous profits margins, as well as interest payments and the possibility of bankruptcy. This relates the model to agent-based macroeconomic models. The extensions are described theoretically theoretically with replicator dynamics. New results are the age distribution of active firms, their profit rate distribution, debt distribution, bankruptcy statistics, as well as typical life cycles of firms, which are all qualitatively in agreement with studies of firms databases of various countries.The proposed model yields promising results by respecting the principle that jointly found results may be generated by the same process, or by several ones which are compatible.

Les recherches sur l'apprentissage informel de l'anglais en ligne (AIAL) étudient la manière dont des locuteurs non natifs de l’anglais participent aux activités de loisir sur Internet en langue étrangère et les implications que ces interactions peuvent avoir pour le développement de la langue étrangère. Cette thèse a pour objectif d’examiner l’envergure de ces pratiques et d’analyser le développement langagier des apprenants en termes de complexité, précision, aisance à communiquer et chunks. 953 étudiants français et allemands ont renseigné un questionnaire d’environ 60 questions sur leurs pratiques informelles en ligne en anglais. Les résultats montrent des habitudes similaires entres les deux cohortes, une préférence pour les activités de compréhension plutôt que de production, des taux bas d’apprentissage explicite et des raisons de participer liées au contenu des activités plutôt qu’à la langue. Ensuite deux études de cas ont été réalisées sur 10 mois. Des données orales et écrites ont été analysées. Les résultats indiquent que chaque apprenant possède son propre profil AIAL et que les trajectoires de développement sont individuelles et non linéaires. / Preliminary research regarding the online informal learning of English has shown that L2 development can result from participation in informal activities online. The goal of this dissertation is to examine the range of these online practices and to analyse university students’ long-term L2 development through their participation in such activities.953 French and German university students responded to a questionnaire containing approximately 60 questions regarding their online informal activities in English. Results from this survey show many similar practices between the two cohorts, a preference for comprehension over production and interaction activities, low rates of active (explicit) learning and content-associated rather than language-associated reasons for participating. Case studies were subsequently carried out. Oral and written data were collected over 10 months and analysed for complexity, accuracy and fluency measures as well as the use of language chunks. Results show that each language user interacts with the activities in his/her own unique style and that the different L2 measures evolve non-linearly and in relation to one another.

Dans ce mémoire, nous étudions les propriétés génériques satisfaites par des mesures invariantes par l’action du flot géodésique {∅t}t∈R sur des variétés M non compactes de courbure sectionnelle négative pincée. Nous nous intéressons dans un premier temps au cas des variétés hyperboliques. L’existence d’une représentation symbolique du flot géodésique pour les variétés hyperboliques convexes cocompactes ainsi que la propriété de mélange topologique du flot géodésique nous permet de démontrer que l’ensemble des mesures de probabilité ∅t−invariantes, faiblement mélangeantes est résiduel dans l’ensemble M1 des mesures de probabilité invariantes par l’action du flot géodésique. Si nous supposons que la courbure de M est variable, nous ignorons si le flot géodésique est topologiquement mélangeant. Ainsi les méthodes utilisées précédemment ne peuvent plus s’adapter à notre situation. Afin de généraliser le résultat précédent, nous faisons appel à des outils issus du formalisme thermodynamique développés récemment par F.Paulin, M.Pollicott et B.Schapira. Plus précisément, la démonstration de notre résultat repose sur la possibilité de construire, pour toute orbite périodique Op une suite de mesures de Gibbs mélangeantes, finies, convergeant faiblement vers la mesure de Dirac supportée sur Op. Nous montrons que ce fait est possible lorsque M est géométriquement finie. Dans le cas contraire, il n’existe pas d’exemple de variétés géométriquement infinies possédant une mesure de Gibbs finie. Cependant, nous conjecturons que ce fait est possible pour toute variété M. Afin de supporter cette affirmation, nous démontrons dans la dernière partie de ce manuscrit un critère de finitude pour les mesures de Gibbs. / In this work, we study the properties satisfied by the probability measures invariant by the geodesic flow {∅t}t∈R on non compact manifolds M with pinched negative sectional curvature. First, we restrict our study to hyperbolic manifolds. In this case, ∅t is topologically mixing in restriction to its non-wandering set. Moreover, if M is convex cocompact, there exists a symbolic representation of the geodesic flow which allows us to prove that the set of ∅t-invariant, weakly-mixing probability measures is a dense Gδ−set in the set M1 of probability measures invariant by the geodesic flow. The question of the topological mixing of the geodesic flow is still open when the curvature of M is non constant. So the methods used on hyperbolic manifolds do not apply on manifolds with variable curvature. To generalize the previous result, we use thermodynamics tools developed recently by F.Paulin, M.Pollicott et B.Schapira. More precisely, the proof of our result relies on our capacity of constructing, for all periodic orbits Op a sequence of mixing and finite Gibbs measures converging to the Dirac measure supported on Op. We will show that such a construction is possible when M is geometrically finite. If it is not, there are no examples of geometrically infinite manifolds with a finite Gibbs measure. We conjecture that it is always possible to construct a finite Gibbs measure on a pinched negatively curved manifold. To support this conjecture, we prove a finiteness criterion for Gibbs measures.

Depuis Ruelle, puis Rugh, Baladi, Tsujii, Liverani et d'autres, on sait que la fuite vers l'équilibre statistique dans de nombreux systèmes dynamiques chaotiques est gouvernée par le spectre de résonances de Ruelle de l'opérateur de transfert. A la suite de récents travaux de Faure, Sjöstrand et Roy, cette thèse propose une approche semiclassique de systèmes dynamiques chaotiques de type partiellement expansifs. Une partie du mémoire est consacrée aux extensions d'applications expansives vers des groupes de Lie compacts, en se reistreignant essentiellement aux extensions vers le groupe spécial unitaire SU(2). On se sert de la théorie des états cohérents pour les groupes de Lie, développée dans les années 70 par Perelomov et Gilmore, pour mettre en oeuvre les outils semiclassiques et la théorie des résonances de Helfer et Sjöstrand. On en déduira une estimation de Weyl et un gap spectral pour les résonances de Ruelle prouvant que la fuite vers l'équilibre statistique dans ces modèles est gouvernée par un opérateur de rang fini (en accord avec les résultats obtenus par Tsujii pour les semi-flots partiellement expansifs). On étend ensuite cette approche aux modèles "ouverts" pour lesquels la dynamique présente un ensemble captif de Cantor. On montrera l'existence d'un spectre discret de résonances de Ruelle et on prouve une loi de Weyl fractale, analogue classique du théorème de Lin-Guillopé-Zworski pour les résonances du laplacien hyperbolique sur les surfaces à courbure négative constante. On montre aussi un gap spectral asymptotique. On expliquera pourquoi ces modèles semblent être des objets d'étude adaptés pour approcher des questions importantes et difficiles du chaos classique ou quantique. On pense en particulier au problème de la minoration du nombre de résonances, étudié dans le contexte des applications quantiques par Nonnenmacher et Zworski. / Since the work of Ruelle, then Rugh, Baladi, Tsujii, Liverani and others, it is kown that the convergence towards statistical equilibrium in many chaotic dynamical systems is gouverned by the Ruelle spectrum of resonances of the so-called transfer operator. Following recent works from Faure, Sjöstrand and Roy, this thesis gives a semiclassical approach for partially expanding chaotic dynamical systems. The first part of the thesis is devoted to compact Lie groups extenstions of expanding maps, essentially restricting to SU(2) extensions. Using Perlomov's coherent state theory for Lie groups, we apply the semiclassical theory of resonances of Helfer and Sjöstrand. We deduce Weyl type estimations and a spectral gap for the Ruelle resonances, showing that the convergence towards equilibrium is controled by a finite rank operator (as Tsujii already showed for partially expanding semi-flows). We then extend this approach to "open" models, for which the dynamics exhibits a fractal invariant reppeler. We show the existence of a discrete spectrum of resonances and we prove a fractal Weyl law, the classical analogue of Lin-Guillopé-Zworski's theorem on resonances of non-compact hyperbolic surfaces. We also show an asymptotic spectral gap. Finally we breifly explain why these models are interseting "toy models" to explore important questions of classical and quantum chaos. In particular, we have in mind the problem of proving lower bounds on the number of resonances, studied in the context of open quantum maps by Nonnenmacher and Zworski.

Nous nous intéressons à l'étude de la dynamique des réseaux composés d'une multitude d'agents. Les motivations de ce travail trouvent leurs sources dans de nombreux domaines et notamment la biologie avec l'étude de l'émergence de comportements collectifs cohérents chez les animaux (vol en formation d'oiseaux migrateurs). Considérons un certain nombre d’agents (animaux) dont le comportement dynamique individuel peut être modélisé par une équation différentielle. Les agents communiquent : les liens sont représentés sous la forme d’un graphe dont les sommets sont les agents du système. Chaque agent a la connaissance de l’état des agents auxquels il est connecté et ajuste sa dynamique à l’aide de cette information. Des comportements collectifs peuvent alors émerger comme par exemple le phénomène de flocking (tous les agents se déplacent dans la même direction). Plusieurs modèles d'interaction ont été proposés, les plus connus étant le modèle de Viscek (1995) ou le modèle de Cucker-Smale (2007). L'étude de ces modèles repose généralement sur des méthodes d'analyse de stabilité des systèmes dynamiques ou des systèmes hybrides, lorsque le graphe de communication évolue dans le temps. Nous souhaitons dans cette thèse évaluer la robustesse de l'émergence de ces comportements collectifs en étudiant l'influence de divers facteurs: paramètres du modèle, topologie du graphe, nombre d'agents, présences de perturbations. Nous nous intéresserons notamment au phénomène de scission du groupe d'agents en plusieurs groupes d'agents coordonnés. / This thesis presents a study on multi-agent systems. Such systems find numerous applications such as multi-vehicle control in robotics, the design of smart distributed energy networks and the modeling of opinion dynamics. In a first part, we present new results regarding consensus theory which extend the recent work from Hendrickx and Tsitsiklis on cut-balanced consensus. Then, we apply the consensus system to the control of a fleet of vehicles. We present several results regarding velocity alignment (flocking). This study is based upon a graph robustness analysis in order to preserve the connectivity of the interaction network. This concept is of main importance in this study. In the last part, we state results froma collaborative work with a sociologist regarding the social network linked to the controversy concerning o-road motorized leisure in France. We study the link between the national and local scenes. To do so, we use large graph visualization tools and actor centrality measures.

Cette thèse est divisée en trois parties. Dans une première partie, on donne une description nouvelle des points récurrents par chaînes d'un système dynamique comme ensemble d'Aubry projeté d'une barrière ultramétrique. Cette approche permet de munir l'ensemble des composantes transitives par chaînes d'une structure d'espace ultramétrique expliquant leur topologie totalement discontinue, et de retrouver un théorème célèbre de Charles Conley concernant l'existence de fonctions de Lyapunov décroissant strictement le long des orbites non-récurrentes par chaînes. Dans une deuxième partie, on développe une théorie d'Aubry-Mather pour les homéomorphismes d'un espace métrique compact. On introduit dans ce cadre un ensemble d'Aubry métrique, puis topologique, ainsi qu'un ensemble de Mañé. Ces notions, plus fines que la récurrence par chaînes, permettent de mieux comprendre les fonctions de Lyapunov d'un tel système dynamique. Dans une dernière partie, on montre un résultat général de densité de certains contre-exemples au théorème de Sard pour lesquels l'ensemble des points critiques est un arc topologique et on donne des applications dynamiques de ce résultat. Celles-ci sont liées à des problèmes d'unicité, à constantes près, des solutions KAM faibles (ou solutions de viscosité) de certaines équations d'Hamilton-Jacobi. / This thesis is divided into three parts. In the first part, we give a new description of chain-recurrence using an ultrametric barrier. This barrier allows to endow the space of chain-transitive components with an ultrametric structure, explaining its topology and leading to the famous result of Charles Conley about Lyapunov function decreasing along non chain-recurrent orbits. Most of the results, first given in the setting of a continuous map on a compact metric space are then generalised to multivalued map on arbitrary separable metric spaces. In the second part, we develop an Aubry-Mather theory for a homeomorphism on a compact metric space. In this setting, we introduce metric and topological Aubry set and Mañé set, allowing a better understanding of Lyapunov functions arising in such a dynamical system. In the last part, we prove a general density result for some counterexamples of Sard's theorem for which the set of critical points is a topological arc and we give applications to dynamics.

Cette thèse comporte deux parties, axées sur des aspects différents de la géométrie lorentzienne. La première partie porte sur les groupes d’isométries de surfaces lorentziennes globalement hyperboliques spatialement compactes, particulièrement lorsque le groupe exhibe une dynamique non triviale (action non propre). Le groupe d'isométries agit naturellement sur le cercle par difféomorphismes, et les résultats principaux portent sur la classification de ces représentations. Sous une hypothèse sur le bord conforme, on obtient une conjugaison par homéomorphisme avec l'action projective d'un sous-groupe de PSL(2,R) ou de l'un de ses revêtements finis. La différentiabilité de la conjuguante est étudiée, avec des résultats qui garantissent une conjugaison dans le groupe de difféomorphismes du cercle dans certains cas. On donne également des contre-exemples à l'existence d'une conjugaison différentiable, y compris pour des groupes ayant une dynamique riche. Ces constructions s'appuient sur l'étude de flots hyperboliques en dimension trois. Sans l'hypothèse sur le bord conforme, on obtient une semi conjugaison et un isomorphisme de groupes. On construit également des exemples pour lesquels il n'existe pas de conjugaison topologique. La seconde partie de cette thèse étudie un espace-temps vu comme un système dynamique multi-valuée : à un point on associe sont futur causal. Cette approche, déjà présente dans les travaux de Fathi et Siconolfi, permet de concrétiser le lien entre fonctions de Lyapunov en systèmes dynamiques et fonctions temps. Le résultat principal est une version lorentzienne du Théorème de Conley : on peut définir l'ensemble récurrent par chaînes d'un espace-temps, et il existe une fonction continue croissante le long de toute courbe causale orientée vers le futur, strictement croissante si le point de départ de la courbe n'est pas dans l'ensemble récurrent par chaînes. Ces techniques s'adaptent aussi dans un espace-temps stablement causal, ce qui permet de donner une nouvelle preuve d'une partie du Théorème d'Hawking. / This thesis is divided into two parts, dealing with two different aspects of Lorentzian geometry. The first part deals with isometry groups of globally hyperbolic spatially compact Lorentz surfaces, especially when it has a non trivial dynamical behavior (non proper action). The isometry group acts on circle by diffeomorphisms, and the main results of this part concern the classification of these actions. Under a hypothesis on the conformal boundary, we show that they are topologically conjugate to the projective action of a subgroup of PSL(2,R), or one of its finite covers. The differentiability of the conjugacy is studied, with some results giving a differentiable conjugacy under additional hypotheses. We also give counter examples to such a differentiable conjugacy, even for groups with rich dynamics. These constructions use hyperbolic flows on three manifolds. Without the hypothesis on the conformal boundary, we obtain a semi conjugacy and a group isomorphism. We also give examples where a topological conjugacy cannot exist. In the second part of this thesis, we see a spacetime as a multi valued dynamical system: we map a point to its causal future. This point of view was already adopted by Fathi and Siconolfi, and it gives a concrete meaning to the link between Lyapunov functions in dynamical systems and time functions. The main result is a Lorentzian version of Conley's Theorem: we define the chain recurrent set of a spacetime, and construct a continuous function that increases along future directed causal curves outside the chain recurrent set, and that is non decreasing along other future curves. These techniques also apply to the stably causal setting, and we obtain a new proof of a part of Hawking's Theorem.

Les sous-décalages sont des ensembles de coloriages d'un groupe définis en excluant certains motifs, et munis d'une action de décalage. Ces objets apparaissent naturellement comme discrétisations de systèmes dynamiques : à partir d'une partition de l'espace, on associe à chaque point de ce-dernier la suite des partitions visitées sous l'action du système.Plusieurs résultats récents ont mis en évidence la riche interaction entre la dynamique des sous-décalages et leur propriétés algorithmiques. Un exemple remarquable est la classification des entropies des sous-décalages multidimensionnels de type fini comme l'ensemble des nombres récursivement énumérables à droite. Cette thèse s'intéresse aux sous-décalages avec une approche double : d'un côté on s'intéresse à leurs propriétés dynamiques et de l'autre on les étudie comme des modèles de calcul.Cette thèse contient plusieurs résultats : une condition combinatoire suffisante prouvant qu'un sous-décalage dans un groupe dénombrable est non-vide, un théorème de simulation qui réalise une action effective d'un groupe de type fini comme un facteur d'une sous-action d'un sous-décalage de type fini, une caractérisation de l'effectivité à l'aide de machines de Turing généralisées et l'indécidabilité du problème de torsion pour deux groupes, qui sont invariants de systèmes dynamiques.Comme corollaires de nos résultats, nous obtenons d'abord une preuve courte de l'existence de sous-décalages fortement apériodiques sur tout groupe dénombrable. Puis, dans le cas d'un produit semi-direct de la grille bidimensionnelle avec un groupe de type fini avec problème du mot décidable, nous montrons que le sous-décalage obtenu est de type fini. / Shift spaces are sets of colorings of a group which avoid a set of forbidden patterns and are endowed with a shift action. These spaces appear naturally as discrete versions of dynamical systems: they are obtained by partitioning the phase space and mapping each element into the sequence of partitions visited by its orbit.Severa! breakthroughs in this domain have pointed out the intricate relationship between dynamics of shift spaces and their computability properties. One remarkable example is the classification of the entropies of multidimensional subshifts of finite type as the set of right recursively enumerable numbers. This work explores shift spaces with a dual approach: on the one hand we are interested in their dynamical properties and on the ether hand we studythese abjects as computational models.Four salient results have been obtained as a result of this approach: (1) a combinatorial condition ensuring non-emptiness of subshifts on arbitrary countable groups; (2) a simulation theorem which realizes effective actions of finitely generated groups as factors of a subaction of a subshift of finite type; (3) a characterization of effectiveness with oracles using generalized Turing machines and (4) the undecidability of the torsion problem for two group invariants of shift spaces.As byproducts of these results we obtain a simple proof of the existence of strongly aperiodic subshifts in countable groups. Furthermore, we realize them as subshifts of finite type in the case of a semidirect product of a d-dimensional integer lattice with a finitely generated group with decida ble word problem whenever d> 1.

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.