Les déclarations de type explicite pour les constructeurs doivent être sous la forme 'ty1 . tyN -> resTy'. Des parenthèses ...