Projet de calcul symbolique - l2info