https://123dok.net/document/y4w4w0o0-modèles-cumulatifs-de-la-théorie-des-types.html