Halle-mairie, actuellement bibliothèque municipale - POP