Inutilité des efforts de Charlemagne en faveur des lettres