Ordonnance... pour donner aux capitaines des compagnies d'ouvriers du régiment Royal-Artillerie, le commandement des bataillons dudit régiment où se trouvent lesdites compagnies — France