https://123dok.net/document/ozl6x9oz-modeles-de-la-theorie-des-types-donnes-par-traduction-de-programme.html