Introduction -- The orbit space -- Global model -- Global model up to equivariant diffeomorphisms -- Classification: free case -- Orbifold homology and geometric mappings -- Classification -- The four-dimensional classification -- Appendix: (sometimes symplectic) orbifolds