"Sinaï 2018" : opération militaire et politique