Ce module introduit les grands théorèmes de l’analyse fonctionnelle.