Ajout des specs fonctionnelles