Den genom tidningarna allmänt kända » julirevolutionen »,