Analyse fonctionnelle non linéaire