On the localization theorem in equivariant cohomology

We present a simple proof of a precise version of the localization theorem in equivariant cohomology. As an application, we describe the cohomology algebra of any compact symplectic variety with a multiplicity-free action of a compact Lie group. This applies in particular to smooth, projective spherical varieties.