Ajout d'un modele pour les specifications fonctionelles