Implémentation du SMA

Ajout de l'appel correspondant dans Wator, ajout de 2 getters dans Env.