miner (V) — mine (N)
miner : Creuser par-dessous un terrain, un rocher pour provoquer un effondrement ou pour y placer une mine.