Arrêté du 8 juin 1842 sur la justice disciplinaire justice – prétoires – directeurs de maisons centrales – justice disciplinaire – discipline / 508