mine de charbon de l'extraction de l'ingénieur