MINES. "Opération par laquelle on purifie une matière en la dégageant de tout élément étranger, affinage"