Malgré des réticences, le Sénat a voté le budget des Armées pour 2018