Si es así, fue barrido en el año 781, cuando Carlomagno rebautizó a su hijo como Pipino.