Faut-il fermer les mines de charbon en Europe ? - commentaires