The group of automorphisms of the function fields of the curve \(x^n+y^m+1=0\) Les groupes formels d'Artin-Mazur et les congruences d'Atkin-Swinnerton-Dyer. (The Artin-Mazur formal groups and the Atkin-Swinnerton-Dyer congruences.) 