λαξευτήριον

λαξευτής

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