À quel moment un dossier du Conseil de discipline devient-il public?