Definition of "petra"

petra