The town hall of Ziguinchor, the main city of the Casamance today.