1: \begin{abstract}

2: %

3:   We establish \'Ecalle's mould calculus in an abstract Lie-theoretic

4:   setting and use it to solve a normalization problem, which covers

5:   several formal normal form problems in the theory of dynamical systems.

6: %

7:   The mould formalism allows us to reduce the Lie-theoretic problem to

8:   a mould equation, the solutions of which are remarkably explicit and

9:   can be fully described by means of a gauge transformation group.

10: 

11:   The dynamical applications include 

12: %

13:   the construction of Poincar\'e-Dulac formal normal forms for a

14:   vector field around an equilibrium point, 

15: %

16:   a formal infinite-order multiphase averaging procedure for vector

17:   fields with fast angular variables (Hamiltonian or not), 

18: %

19:   or the construction of Birkhoff normal forms both in classical and

20:   quantum situations.

21: %

22:   As a by-product we obtain, in the case of harmonic oscillators, the

23:   convergence of the quantum Birkhoff form to the classical one,

24:   without any Diophantine hypothesis on the frequencies of the

25:   unperturbed Hamiltonians.

26: %

27: \end{abstract}

28: