ajout d'un compteur pour compter le nombre de noeuds évalués
[tatoo.git] / configure
2014-01-07 Kim NguyễnAjout du script configure (et modification de .gitignor...