Domanialité. Travaux mixtes — France. Etat-major de l'armée de la marine