[1674] petrēnsis, e (petra), an od. in Felsen od. Steinen befindlich, Cael. Aur. de morb. chron. 2, 1, 26.