Complements d'analyse fonctionnelle