Ajout des spécifications fonctionnelles