Manifolds in which the Poincaré conjecture is true