15 OCTOBRE 1947. - Arrêté ministériel pris en exécution des dispositions de l'article 25 de l'arrêté du Régent du 15 octobre 1947 concernant le régime de retraite des ouvriers mineurs