opération militaire française