Analyser les spécifications fonctionnelles