Cours : Définition de types