H vad hade det blifvit af Juli-revolutionen,