intervention militaire française