Ordonnance du roy, portant réduction dans les cinq bataillons du régiment Royal-Artillerie, & dans les compagnies de mineurs & d'ouvriers — France