Cette thèse est consacrée à l’étude de la linéarisation géométrique locale des systèmes complètement intégrables dans la catégorie C1. Le sujet est la conjecture de linéarisation géométrique proposée (et établie dans le cadre analytique) par Nguyen Tien Zung. Nous commençons par les systèmes linéaires, puis introduisons la normalisation dans la catégorie formelle. Nous montrons qu’un système intégrable peut être décomposé en une partie hyperbolique et une partie elliptique. Nous établissons une bonne forme normale de Poincaré-Dulac pour les champs de vecteurs et discutons sa relation avec la linéarisation géométrique. Nous montrons que les systèmes intégrables faiblement hyperboliques sont géométriquement linéarisables en utilisant les outils de Chaperon. Nous étudions les systèmes intégrables sur les espaces de petite dimension : si celle-ci n’est pas plus grande que 4, alors la plupart des cas sont géométriquement linéarisables ; en particulier, la linéarisation géométrique est possible pour les systèmes intégrables de type de foyer-foyer. Enfin, nous généralisons la démonstration en grande dimension et proposons une condition sur les variétés fortement invariantes, sous laquelle nous linéarisons géométriquement les systèmes. Nous parvenons également à normaliser une action de R × T à plusieurs foyers en nous référant aux idées de Zung. / This thesis is devoted to the local geometric linearization of completely integrable systems in the C1 category. The subject is the geometric linearization conjecture proposed (and proved in the analytic case) by Nguyen Tien Zung. We start from linear systems and introduce normalization in the formal category. Wes how that an integrable system can be decomposed into a hyperbolic part and an elliptic part. We establish a good Poincaré-Dulac normal form for the vector fields and discuss its relation with geometric linearization. We prove that weakly hyperbolic integrable systems are geometrically linearizable byusing Chaperon’s tools. We then study integrable systems on small dimensional spaces: if the dimension is no more than 4, then most cases are geometrically linearizable; in particular,geometric linearization works for integrable system of focus-focus type. Finally, we generalize the proof to high dimensions and propose a condition about strongly invariant manifolds, under which we linearize the systems in the geometric sense. We also manage to normalize an R × T-action of several focuses by referring to the ideas of Zung.

Le présent mémoire porte sur l'étude des interféromètres à ondes de matière. Il comporte des développements théoriques et des parties plus pratiques (modélisations). En matière de modélisation, le résultat principal est l'obtention d'une expression analytique très générale du signal de franges, qui rend notamment compte de l'action simultanée de tous les champs inertiels et gravitationnels dont le potentiel représentatif est de degré au plus deux en position et impulsion (rotations, accélérations, gradients d'accélération, ondes gravitationnelles...), ainsi que de la structuration dispersive due aux séparatrices atomiques en présence de tels champs extérieurs (sélectivité en vitesse, dispersion anormale et effet Borrmann). Au plan théorique, ce mémoire développe de nouveaux outils d'optique atomique, concernant aussi bien la propagation d'ondes matérielles dans des champs inertiels et gravitationnels quelconques (généralisation du formalisme ABCD par la théorie des opérateurs intégrales premières), que l'étude des séparatrices laser en présence de certains de ces champs (schéma ttt généralisé, modélisations ttt champs forts , effet Borrmann généralisé...), ou encore la mise en évidence d'invariants symplectiques utiles à l'interprétation et à la simplification de l'expression des déphasages (notion de chemins homologues et théorème des quatre points finaux).