Meaning of pepin the short

(noun) king of the Franks and father of Charlemagne who defended papal interests and founded the Carolingian dynasty in 751 (714-768)