Divisibilité et congruences