Mathématiques pour l'informatique — Skander Belhaj, Anis Ben Aïssa