31 JUILLET 1954. - 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