Ajout de la creation de contexte, evalStateT defini