The groups of automorphisms of the Lie algebras of formally analytic vector fields with constant divergence

Soit Sn=K[[x1,…,xn]] lʼalgèbre des séries formelles sur un corps K de caractéristique zéro, Snc le groupe des automorphismes continus de Sn de jacobien constant et Divnc lʼalgèbre de Lie des dérivations de Sn à divergence constante. Nous montrons les identités AutLie(Divnc)=AutLie,c(Divnc)≃Snc.