Loi du 9 juin 1894 sur les caisses de retraites et de secours des ouvriers mineurs, par Marius Ollive, — Marius Ollive