Marine nationale. Manuel du charpentier — France. Etat-major de l'armée de la marine