Mathématiques pour l'informatique — Xavier Chanet, Patrick Vert