[Formendacil]

As far as I can tell, there is no connection between the nickname of Peregrin Took, and the forefathers of Charlemagne. I've always understood (although I really have no sources to quote), that Pippin is just a sort of nickname that Tolkien devised, sounding like a rather bouncy, cheerful, not-all-that-careful type of person, such a Pippin (or as he tells Treebeard- even Pip!). I've always thought it was perhaps related to "pipsqueak".