Konung Karl VII bär ett lyckligt namn.