https://123dok.net/document/qo5o7plj-typage-coercitif-présence-réductions-standards-système-types-dépendants.html