L'industrie charbonnière dans le monde — Bureau international du travail