1 ressource : interprétation d'un langage logique avec variables