Arrêté du 22 septembre 2022 modifiant l'arrêté du 10 août 2020 portant organisation des élections des représentants des personnels et des usagers au conseil d'administration de l'Ecole nationale supérieure des mines de Paris (Mines Paris)