Polir des surfaces en verre ou des lentilles d’instruments optiques à l’aide d’outils de rectification et de polissage tels que des outils diamants.