divisibilité dans N