diamantine

Définitions

1. 1. Poudre fine de diamant, pour le polissage en horlogerie.
   ['Si je n’ai pas de poudre d’émail, je la remplace par de la diamantine.']
2. 2. Poudre de corindon utilisé pour le polissage.
   ["La diamantine, qui ne donne qu'un poli clair , a presque complètement remplacé le rouge anglais, excepté dans les cas où l'on demande le poli dit poli noir."]

Formes fléchies