Arrêté du 4 mai 2018 relatif à l'attribution du grade de master aux titulaires du diplôme de l'Ecole polytechnique délivré à titre international