« Le double de cette année » : avec 14 milliards d’euros, le budget XXL de la Corée du Sud dans l’IA, pour concurrencer Chine et États-Unis