Synonyms for Pepin The Short (same or very similar meaning)
WordNet sense 1 (king of the Franks and father of Charlemagne who defended papal interests and founded the Carolingian dynasty in 751 (714-768)):
Pepin, Pepin IIIFrom the ODE community, based on WordNetadd/edit