Détermination de l'existence de solutions aux équations de congruence