rocha—Pedra grande e dura, xeralmente parte dun penedo ou dun cantil.
Attested since the 14th century. From Old French roche, from Early Medieval Latin rocca, of uncertain origin. Doublet of roca.