Fondements de la théorie des congruences et applications de l'arithmétique modulaire