[200~ Mots-clés - logique alternative et relationnelle – Iris