Par décret du Président de la République en date du 23 janvier 1995, M.
Patrick Chocat, ingénieur en chef des mines, est radié du corps des mines.