ajout d'un compteur pour compter le nombre de noeuds évalués