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

ギリシャ語で『岩』を意味するPetrosに由来。ラテン語のPetrusを経て、カタルーニャ語形となった。