Mines de cuivre, de zinc, de plomb et de houille dans les Pyrénées — Jean Gourdon