Exercice 15, § 4

Soient E un espace tonnelé (resp. infratonnelé) séparé, $\hat{E}$ son complété. Montrer que tout sous-espace F de $\hat{E}$ contenant E est tonnelé (resp. infratonnelé) (cf. III, p. 24, cor. et IV, p. 52, exerc. 1).