Page moved: https://origemdosnomes.com.br/glossario/petra-origem-e-significado-do-nome/