barrueco (sustantivo masculino): Peñasco de granito.