Mots-clés – contraintes de logique symbolique