ἀραρινοί Save DGE ἀραρινοί -ῶν, οἱ prob. ajustadoras de piedrecillas utilizadas para tapar grietas, Hsch.