Informatique – Spécialité algorithmes et méthodes formelles