Algorithmique - Correction du TD4

TD 4 : Grands théorèmes de l'analyse fonctionnelle. Avec corrigés ... Exercice 4 (Quelques applications classiques du théorème de Baire).