decret 71-999 du 7 décembre 1971 relatif au statut du personnel chercheur des écoles nationales supérieures des mines de Paris et de Saint-Etienne ;