utilisé des mines de charbon du pétrole