Commissariat de la marine — France. Ministère de la défense