Supercalculateur « IA militaire » : l'Etat prêt à aider Atos à devenir compétitif