[rubenv]

Ladeuze is the name of the library (and square where it's located).

Leuven indeed.