Arrêté du 15 novembre 1985 relatif à l'ouverture anticipée du droit à pension de retraite pour certains agents des mines de fer de Lorraine