https://123dok.net/document/y6ep9w0g-formalisation-de-preuves-de-sécurité-concrète.html