Outils mathématiques pour l'informatique et algorithmique.