Par décret du Président de la République en date du 18 décembre 2001, M. Alain Thomas, ingénieur en chef des mines, inscrit au tableau d'avancement pour l'année 2001, est nommé à l'emploi d'ingénieur général des mines et titularisé dans le grade correspondant à compter du 31 décembre 2001.