L'ordinateur peut-il nous aider à résoudre des problèmes mathématiques ? Oui grâce au calcul formel !
