L'État islamique attaque une grande prison en Syrie et libère des jihadistes