Plan
Introduction au typage
Quelques exemples
Notations
Le typage de CAML
Modularité
traits impératifs
L'unification
