L'Hypotypose, un essai de définition formelle