https://123dok.net/document/zp00o6rq-représentations-galoisiennes-et-phi-modules-aspects-algorithmiques.html