code symbolique