Ordonnance du roi, portant amnistie en faveur des déserteurs des troupes de la marine — France