Synonymesopérateur de diffusion