L'opération modulo est une opération binaire qui associe à deux entiers naturels le reste de la division euclidienne du premier par le second:

a,b E N et b <> 0
a mod b = 

Selon les langages, le résultat de l'opération modulo appliquée aux entiers relatifs n'est pas identique. Python respecte la définition mathématique de l'opération:

x mod y = x - y * E(x/y)

Avec E(x) également noté ⌊x⌋ le plus grand entier inférieur ou égal à x.

-8 % 3 = -8 -3 * ⌊-8/3⌋
       = -8 -3 * -3
       = -8 + 9
       = 1

• https://fr.wikipedia.org/wiki/Modulo_(op%C3%A9ration)