Divisibilité dans ℤ et congruences