divisibilité dans Z