On cherche à savoir quelles sont les conditions nécessaires et suffisantes pour qu'une algèbre de Lie G sur un anneau commutatif avec unité A vérifie le théorème de Birkhoff-Witt.

§ 1. Noether ou pas Noether ? § 2. Structure des anneaux locaux complets. § 3. Produits tensoriels complétés d'anneaux semi-locaux. § 4. Propriétés des multiplicités. § 5. Noyaux.