langage de programmation symbolique 4 lettres