Rédaction n°179. Espaces vectoriels topologiques. Produit tensoriel topologique d'espaces vectoriels topologiques. . , R179_nbr082, accès le 22/07/2019, http://archives-bourbaki.ahp-numerique.fr/items/show/593