essai sur l histoire des mines de charbon en inde