Penedo Gordo: ¿se la conocía hace siglos también como "les pennes"?

¿se la conocía hace siglos también como "les pennes"?