λαξευτήριον

λαξευτής

λαξευτικός
λαξευτής, οῦ (ὁ) tailleur de pierres, Man. 1, 77.
Étym. λαξεύω.