L'utilisation du constructeur Delay est obligatoire parce que la définition de type est récursive.