Résumé

Nous montrons qu'étant donné un système hamiltonien analytique complexe, une condition nécessaire pour qu'il soit méromorphiquement intégrable, au sens de Liouville, est que la composante connexe de l'identité du groupe de Galois différentiel de toute équation variationnelle, d'ordre arbitraire, le long de toute courbe intégrale, soit commutative. Ceci avait été conjecturé par le premier auteur, à la suite d'une suggestion du troisième, motivée par des observations numériques et analytiques sur des équations variationnelles d'ordre supérieur. Le critère présenté dans cet article étend aux équations d'ordre supérieur le critère de Morales–Ramis, obtenu antérieurement par les deux premiers auteurs, qui n'utilisait que la première équation variationnelle. Utilisant le nouveau critère (aux ordres deux, trois ou plus), il est possible de résoudre d'importants problèmes d'intégrabilité pour lesquels le critère de Morales–Ramis ne permettait pas de conclure.