ingénieur en chef des mines, en disponibilité pour convenances personnelles

du corps des mines