logique combinatoire symbole