L'Algérie entérine un budget militaire de 25 milliards de dollars, le plus élevé de son histoire