Informatique, génie de l’information et des systèmes – Spécialité informatique théorique et applications