8 DECEMBRE 1951. - Arrêté royal modifiant certaines dispositions relatives à la pension des ouvriers mineurs, en application de l'arrêté-loi du 25 février 1947 coordonnant et modifiant les lois sur le régime de retraite des ouvriers mineurs et assimilés