Plan
Introduction
types de base
types produit
types somme
types récursifs
