Par décret du Président de la République en date du 17 octobre 1990, les ingénieurs en chef des mines désignés ci-après, inscrits au tableau d'avancement pour l'année 1990, sont nommés à l'emploi d'ingénieur général des mines et titularisés dans le grade correspondant: