Petite correction dans l'eval de Appli + gestion du type dans l aplication d'abstraction