https://123dok.net/document/q5m3ee5w-entier-naturel-dénit-fonction-ϕ.html