Imprimer à la BU : on le fait !

Maintenant, on peut imprimer des documents à la bibliothèque.
Ce service n'était plus disponible depuis un moment, mais maintenant on peut.