Arrêté du 31 mai 1985 relatif à l'ouverture anticipée du droit à la retraite pour certains personnels des houillères de bassin