Du petit théorème de Fermat à la notion de groupe