Logique des opérations mixtes - Défis