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