Source: https://www-fourier.ujf-grenoble.fr/~rjoly/Documents/Pedago/Situations-recherche/modulo.pdf