Notizie biografiche su Giacomo Ferro, Giovanni d'Enrico e altri artisti valesiani