Armées : le budget dédié aux opérations extérieures va baisser en 2024