The infinitesimal generator of the Brox diffusion - Antoine Mouzard (2022)