Ordonnance portant réduction dans les 5 bataillons du régiment Royal-Artillerie et dans les compagnies de mineurs et d'ouvriers — France