En sept ans, le budget des opérations extérieures de la France a doublé