Ordonnance du roi sur le service des armées en campagne du 3 mai 1832, modifiée par celles des 8 avril 1839 et 9 décembre 1840 — France