pūmĭcātŏr, ōris, m., polisseur à la pierre ponce : Gloss.