démo p9
pour p premier
Petit théorème de Fermat avec perles
https://lgarcin.github.io/2019-05-24-fermat-et-combinatoire/