Cours (super, noframes) [man]
[doc] [type-index] Exercices
  1. Modules de base
  2. Signatures
  3. Restriction de signature
  4. Compilation séparée
  5. Foncteurs
  6. Exemple avancé
  1. Abstraction tardive... (**)
  2. Utilisation des librairies (*)
  3. Création d'une librairie (*)
  4. Polynômes (***)