Man hör ofta talas om biblioteket i Vatikanen;