Règlement général sur le devoir des officiers de marine — France