Encravador

---

Cravo ou pino metálico que servia para inutilizar uma peça de artilharia.