The Portixeddu Formation in the Punta Pedrona Section