Intervention militaire