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

オック語で『石』を意味する。ラテン語のPetrus（ペトロ）に由来する。