Grâce à un émirat, la bibliothèque de l'université de Coimbra va numériser 30 000 livres anciens