petresano (adjetivo): Originario, relativo a, o propio de Petrs, España.