Remplacer la fonction List.sort par les fonctions d'evaluations. La liste de fonction...
[tatoo.git] / configure
2014-01-07 Kim NguyễnAjout du script configure (et modification de .gitignor...