La différence de deux nombres entiers naturels est un entier naturel? ​