petra.

esse nome é a variante feminina do nome pedro, que vem do grego pétros, este a partir da palavra petra (uma tradução do aramaico cephas), que significa literalmente "pedra, rochedo".