I nomi locali della Val del Biois - Pellegrini, Silvio (Dizionario toponomastico atesino, 1967)