Manuel de mines — France. Etat-major de l'armée de terre