ll-lang : un langage fonctionnel typé conçu pour les modèles de langage