From Fermat's Little Theorem to the Notion of Group