destrucción de minas y el adiestramiento en dichas técnicas.