Wat was de officiele naam van Karel de Grote?

In de tijd waarin Karel de Grote werd geboren, waren achternamen nog niet zo gebruikelijk. Waarschijnlijk zal hij gewoon alleen Charles zijn genoemd, zoon van Pépin le Bref (Pepijn de Korte) en Berthe de Laon (Bertrada van Laon).

Pas tijdens zijn leven kreeg hij de bijnaam De Grote, waardoor zijn naam Charlemagne werd.