outils et machines pour l extraction du charbon