premières méthodes d'extraction du charbon