La ville portuaire de Palma est tombée aux mains des djihadistes