Procédé de fabrication de gaz de houille