Agence Internationale De L'énergie. [Paris.] Groupe d'étude sur l'utilisation du charbon dans l'industrie.