pseudometrizable TVS