mettre à la disposition du personnel enseignant des ouvrages et des documents d'ordre pédagogique et culturel.