Manifolds in formal differential geometry