utilisé des mines de charbon du petrole