Par décret du Président de la République en date du 1er juin 1994, M. Louis Brun, ingénieur en chef des mines, est radié du corps des mines.