Mathématiques par l'informatique individuelle — Daniel Jakubowicz, Hervé Lehning