trêve militaire