Exercice 11, § 5

Si F est un espace tonnelé, tout ensemble séparément équicontinu d’applications bilinéaires de $E \times F$ dans un espace localement convexe G est $\mathscr{S}\text{-équihypocontinu}$ pour tout ensemble $\mathscr{S}$ de parties bornées de E.