Méthodes mathématiques pour l'informatique — Jacques Vélu