Exercice 5, § 4

Donner un exemple d’espace localement convexe qui est un espace de Baire séparé et complet, mais non métrisable (cf. TG, IX, p. 114, exerc. 16).