Prince, on l'appelait Charles. Il devint roi sous le nom de Charles le Grand : en latin, Carolus Magnus. Pour toujours et pour tous, il est devenu l'empereur Charlemagne.