Interprétation : variables et quantificateurs