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