Faut-il raser Aïn El Hammam ?