Ordonnance du roi, qui déroge à plusieurs dispositions de celle du 16 novembre 1759, portant peine contre les gens de mer désobéissans & déserteurs — France