Décret n° 2017-894 du 6 mai 2017 relatif à l'Ecole nationale de la magistrature