Notice sur la législation des mines en France — Jules Del Marmol