mise en place de alpha

Mise en place de alpha afin de récupérer les FV. Modification du type de
retour de alpha pour être FV (qui contient une liste de variable libre
et qui est une extension de Term)