general Borel , krigs,