Mathématiques approfondies, informatique — Matthias Gorny, Antoine Sihrener