Analyse fonctionnelle approfondie et calcul des variations, 4M025