Rôle du personnel pour l'amendement des détenus personnel Chapitre VII. Discipline et police intérieure police – discipline Séance du 16 novembre 1883 police – discipline § 1er. - Règles communes aux diverses catégories de détenus police – discipline Dispositions adoptées sur la remise aux gardiens des objets destinés aux détenus discipline / 338
