distillation à la vapeur Synonym