Pour tout entier naturel n, 4 – 1 – 3n est divisible par 9