[Tests] Ajout de tests dans evaluation.c + débug fonctions etats_accessibles et delta_star