Administradores de la biblioteca Mazarino (luego convertidos en bibliotecarios)