[Haskell-fr] Caractérisation des langages fonctionnels