Le Littré de la Grand’Côte/3e éd., 1903/Gravelin
GRAVELIN, s. m. — Homme gravé de petite vérole. C’est un gravelin, Ce gravelin que vous avez vu. Ce mot, signalé par Bréghot en 1829-1831, avec ces exemples, me parait tombé en désuétude. — Sur la formation du mot, comp. gravelle, graveleux.