Ordonnance... portant réduction et fixation du nombre des gardes de la marine et augmentation de places d'enseignes de vaisseau dans les brigades du corps royal de la marine — France