[200~ Mots-clés - contraintes de logique symbolique – Iris