The library is open:

April 30 and May 7 from 9:00 to 14:00.

May 3 from 9:00 to 15:00.

May 1–2, 8–10 are days off.

Editions reserved after 15:00 on April 29 will be available from May 4.

Editions reserved after 15:00 on May 6 will be available from May 11.

Use electronic resources.