Classification formelle et propriétés algébriquesNotons Diff(C, 0) le groupe pour la composition des "germes de difféomorphismes formels" fixant 0 ∈ C :Nous décrivons les propriétés algébriques de Diff(C, 0), ou plus généralement de Diff(C, 0). Nous donnons notamment une classification des éléments et sous-groupes résolubles de Diff(C, 0) à conjugaison près dans Diff(C, 0) (classification formelle). Nous terminerons par une description assez sommaire des sous-groupes non résolubles et aborderons quelques questions ouvertes dans ce domaine.2.1 Sous-algèbres de Lie de X (C, 0)On note X (C, 0) l'algèbre de Lie des germes de champs de vecteurs holomorphes en 0 ∈ C :Une sous-algèbre L de X (C, 0) est un sous-espace vectoriel complexe stable par crochet de Lie. On dit que L est transitive si l'un au moins de ses éléments ne s'annule pas en 0 ; on dira qu'elle est intransitive sinon.Commençons par rappeler le résultat classique de Sophus Lie sur la classification des géométries de la droite (voir [109])Remarque 2.4. Dans la suite, on notera X p,λ la forme normale obtenue dans le cas dégénéré(2.1)Notons que (z p+1 − λ 2iπ z 2p+1 )∂ z est conjugué à X p,λ (voir la démonstration précédente) et aurait tout aussi bien pu convenir comme forme normale. Cependant, X p,λ a l'avantage que sa forme duale ω p,λ = dz z p+1 + λ 2iπ dz z admet une primitive bien plus simple, à savoir :Cette transformation (multiforme) redresse X p,λ sur le champ constant ∂ z et sera maintes fois utilisée plus loin.