vitrificateur

vitrificateur

n.m.
Substance utilisée pour vitrifier un sol.