addition symbolique
addf("a","b")
chaînes de caractères
addf("a","b") renvoie la chaîne de caractères "a+b". Des simplifications triviales du type addf("0","a") ou addf("1","2") sont effectuées.
"a+b"
addf("0","a")
addf("1","2")
addf('0','1') addf('1','a') addf('1','2') 'a'+'b'