Soit $a$ et $b$ deux nombres entiers

$a=bq+r$ est la division euclidienne de $a$ par $b$ avec $q$ le quotient et $r$ le reste. $r$ vérifie la condition $0 \leq r< b$