https://123dok.net/document/y8gp898w-calcul-frobenius-divisé-modulo-cohomologie-cristalline-revêtements-projective.html