Topological vector spaces. - Grothendieck A (1973)