-L'auditoire Royal, autrefois bibliothèque