quel minéral est utilisé pour graver le verre

quel minéral est utilisé pour graver le verre