Pseudo-isotopies of manifolds