Projet de Calcul Symbolique sur les grand nombres