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)