Ordonnance... portant création de 8 régimens, sous la dénomination de Corps royal de marine — France