Mathématiques pour l'informatique — Bernard Verlant, Marie Tignon, Nathalie Rodriguez