Ordonnance... portant amnistie générale en faveur des soldats déserteurs des troupes de la marine — France