Franck Boyer, « Analyse Fonctionnelle TD 4 : Grands théorèmes de l’analyse fonctionnelle — Avec corrigés », 2016