Ordonnance du roi, du 13 mai, 1818 : portant règlement sur le service intérieur, la police et la discipline des troupes d'infanterie