Where does “petricus” come from?

petricus (Latin) comes from Latin petra, from Ancient Greek πέτρα — rock formation: cliff, ledge, cave, ridge; stone.