Bonsoir,
J'ai confirmation que cela devait être effectivement une erreur.
Dans une version qui me semble plus récente du document (ENS versus M1), la phrase "On se convainc à coup de majorations grossières que les seules solutions sont (b; a) = (1; 0) ou (-1;-1)," est devenue "On peut montrer que les seules solutions sont (b,a) = (1,0) ou (−1,−1),".
Dans tous les cas, je ne voyais pas très bien comment avec des majorations on pouvait arriver à prouver ce résultat.
Désolée pour le dérangement et bonne soirée.