Que faut-il faire dans les mines ?