Pollution à Ruffieux (73310) : les chiffres