  This is a survey on the equivariant cohomology of Lie group actions on
manifolds, from the point of view of de Rham theory. Emphasis is put on the
notion of equivariant formality, as well as on applications to ordinary
cohomology and to fixed points.
