Définition : Divisibilité dans ℤ