Pour se faire un petit plaisir la dernière question de l'énoncé de l'exercice d'enseignement de spécialité du Bac de Maths (avec autant de génitifs ça ne peut pas être un bac de Français)

Soient a et b, deux nombres entiers naturels inférieurs ou égaux à 9 avec a différent de 0.
On considère le nombre N = a*10^3+b. En base 10 ce nombre s'écrit sous la forme a00b.

Déterminer parmi les nombres entiers naturels N ceux qui sont divisibles par 7.

Spoiler : Indice 10^3 est congru à -1 modulo 7