The group of automorphisms of the function fields of the curve \(x^n+y^m+1=0\) Relative inequality between genera. Appendix by Michel Matignon and Taoufik Youssefi: Good reduction and surjective morphisms 