Ordonnance... portant amnistie en faveur des officiers-mariniers et matelots déserteurs — France