Arrêté du 5 décembre 2017 fixant la liste des fonctions mentionnées à l'article 15-1 du décret n° 88-507 du 29 avril 1988, modifié, portant création et statut particulier du corps des ingénieurs de l'industrie et des mines