histoire de la distillation