intervention militaire