Il y a plusieurs sortes d’érudition. On pourrait distinguer, par exemple, l’érudition qui amuse et l’érudition qui ennuie. De fort honnêtes gens, aujourd’hui, semblent avoir vers la seconde une propension fâcheuse. Mais ce ne serait là qu’une plaisanterie, j’en sais de plus mauvaises ; j’accorde sans peine aux érudits qu’il y en ait de meilleures. Et, de fait, l’érudition, non plus que la science, n’est vraiment tenue d’être amusante.