Sétif - hôtel de ville, mosquée et porte d'alger