Pollution à Rochetrejoux (85510) : les chiffres