The Mahdia campaign of 1087 · Study