https://123dok.net/document/nq7mdkq6-congruences-par-analyse-adique-et-le-calcul-symbolique.html