diamantine (N) — diamant (N)
diamantine : Poudre fine de diamant, pour le polissage en horlogerie.