France’s military campaign against Islamists