cravejamento, embutidura, embutimento, encastoamento, encrava, encravação, encravamento, encravo, incrustação