manipulation de symboles mathématiques