Definvest, le fonds du ministère des Armées, mise sur Kalray, pionnier des processeurs pour systèmes « intelligents »