Himiltrude was Charlemagne's first wife. She before him one son, Pippin of Italy.