Les Institutions de prévoyance des ouvriers mineurs en France (loi du 29 juin 1894), par Pierre Butel, — Pierre Butel