Distillation de la houille — Marcel Mallet