Ah le petit théorème de Fermat, il est pas vraiment au programme je crois, on peut juste le filer en exo.
C´est marrant la démonstration, ça ressemble parfois à une vraie dissertation.
Mais c´est marrant de voir à quel point un résultat relativement simple est si difficile à démontrer.