Par décret du Président de la République en date du 6 novembre 1990, sont nommés et titularisés en qualité d'astronomes, à compter du 1er octobre 1990:
Décret du 6 novembre 1990 portant nomination et titularisation (enseignements supérieurs)
NOR : MENN9002531D