外国人名の呼び方、発音、意味や当て字

スペイン語で『高い岩』または『高い場所』を意味する地名に由来。ラテン語の『petra alta』（高い岩）から派生したと考えられる。