Karl VII utstötte en suck.