Ordonnance... concernant le service de la compagnie d'infanterie levée en conséquence de l'ordonnance du 1er octobre 1721 — France