revue internationale de geologie du charbon