Sciences et technologies de l’information et de la communication – Spécialité algorithmique, calcul symbolique et optimisation numérique