2. Inductifs singletons

 3. Axiomes : vérifier les flexibles sortant d'une constante

 4. Cofix : seulement en Haskell

 5. Syntaxe Haskell