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

ポルトガル語、オック語、ガリシア語で『石』を意味する。ラテン語のpetra（岩）に由来する。