Describir: Topological vector spaces, distributions and kernels /