Тех, кто делает тоннели внутри стен, называют минёрами, а сам такой тоннель — миной. Какое слово мы сократили вдвое?