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