Arrêté du 30 octobre 2019 portant nomination du directeur de l’enseignement et de la recherche de l’Ecole polytechnique