Octobre rose : un congé de prévention instauré à l'École nationale de la magistrature