Mines de charbon en Allemagne : peut-il y avoir des effets sur la qualité de l'air en France ?