Discipline générale — France. Direction du personnel militaire de la marine