vitrifier (V) — dévitrifier (V)
dévitrifier : Enlever le produit qui avait servi à vitrifier.