Par décret du Président de la République en date du 29 juin 1995, M. Jacques Biot, ingénieur en chef des mines, est radié du corps des mines.