Text this: Duplication of the petrosphenoidal ligament: Report of a rare case with comments on clinical implications