Source: https://www-fourier.ujf-grenoble.fr/~parisse/irem/terminale/spects.pdf