2017 armée française opération France info