ingénieur en chef des mines, inscrit au tableau d'avancement principal pour l'année 2017

dans le grade d'ingénieur général des mines