  We define a subcategory of the category of diffeological spaces, which
contains smooth manifolds, the diffeomorphism subgroups and its coadjoint
orbits. In these spaces we construct a tangent bundle, vector fields and a de
Rham cohomology.
