  We discuss Lie-Tresse theorem for the pseudogroup of diffeomorphisms acting
on the space of (pseudo-)Riemannian metrics, and relate this to existence of
Killing vector fields. Then we discuss the impact of symmetry in the general
case.
