Gontijo, PetrĂ´nio