4. Cofix : seulement en Haskell

 5. Syntaxe Haskell

 7. Eta expansion pour contourner typage Caml

 8. Synchroniser Reset & les tables