histoire de l’analyse fonctionnelle