En relation avec le sujet du cours

Les types dépendants : tout un programme !