Ma il Vallone delle Miniere si è sempre chiamato così?

L'unica traccia che ho trovato del nome usato prima dell'apertura delle miniere è il libro del Jervis:

William Paget Jervis;
I tesori sotterranei dell'Italia;
Pag 45

PROVINCIA   DI   TORINO
92. Prali. — Villaggio alpestre, collocato a 34 chilometri sopra Pinerolo.
Miniera di rame del Vallone. Concessione nel 1856 alla Società esploratrice, in Torino, poi proprietà Mancardi. Dessa è situata sopra il villaggio 9 chilometri, nella Comba di Boyacire presso la Germagnasca (ramo meridionale), nel sito detto Giovanni alla Contessa, poco prima di giungere al Col de Giulian.
RAME. — Calcopirite, in una roccia scistosa serpentinosa, alternante con micascisto ed associata a Malachite Erubescite, detta volgarmente Rame pavonazzo e Pirite; ivi.