Projet de Mathématiques pour l'informatique par Laurent Cazanove, Matteo Gulino, Julien Martin Saint Leon et Paul Maupas