Light-cone averaging in cosmology: formalism and applications

We present a general gauge invariant formalism for defining cosmological averages that are relevant for observations based on light-like signals. Such averages involve either null hypersurfaces corresponding to a family of past light-cones or compact surfaces given by their intersection with timelike hypersurfaces. Generalized Buchert-Ehlers commutation rules for derivatives of these light-cone averages are given. After introducing some adapted "geodesic light-cone" coordinates, we give explicit expressions for averaging the redshift to luminosity-distance relation and the so-called "redshift drift" in a generic inhomogeneous Universe.