Ordonnance du roi sur le service des maisons militaires centrales de détention, dites pénitenciers militaires — France