machines modernes dans l extraction du charbon