opérations logiques sur les équations