The Herman conjecture.

In the nineties, Michel Herman conjectured the existence of invariant  tori at critical points of
Hamiltonian systems under very general  assumptions. I will explain the relations of the
conjecture with  problems in diophantine geometry and group actions on infinite dimensional spaces.