Problème de logique parallèle réglé