Unable to answer "Are these opening hours still correct?" for https://osm.org/node/1978513805 via StreetComplete 47.0:

Oui, ce sont les bons horaires pour l'ouverture générale de la bibliothèque.

Pour plus de détails :
Bibliothèque de l’EPFL
Ouverture : 7/7, 7h-minuit
Services professionnels aux guichets : lun-ven, 8h-20h
Guichet virtuel : lun-ven, 9h-12h, 14h-17h