Den förre krigsministern , general Borel,