Amélioration des retraites des anciens ouvriers mineurs — France. Ministère des travaux publics (1869-1906)