Where does “pedrão” come from?

pedrão (Portuguese) comes from Portuguese pedra, from Old Portuguese pedra, from Latin petra, from Ancient Greek πέτρα — rock formation: cliff, ledge, cave, ridge; stone.