Entre bibliothèque idéale et bibliothèque réelle : le cas de Marco Aurelio Severino