https://123dok.net/document/4yr9w78y-le-systeme-perluette-et-les-preuves-de-representation-de-types-abstraits.html