(n.) One who paves; one who lays a pavement.