gravel pocket в энциклопедиях
n
гравийное гнездо, гнездовое включение зёрен заполнителей (дефект бетона)