Inclusion correcte de l'analyse fonctionnelle