miner (mine + -er; verbalize)
Creuser par-dessous un terrain, un rocher pour provoquer un effondrement ou pour y placer une mine
Creuser, caver lentement
Défoncer un sol pierreux