什么是 foration？foration是boren什么是 boren？Action de forer des trous de mine en vue d'y placer des explosifs.--