  We introduce actions of a compact Lie group in two regularization processes:
in De Rham's approximation process of currents on a smooth manifold by smooth
currents, and in a smoothing operator of Riemannian metrics of metric spaces
with bounded curvature.
