Ajout de deux fichiers de test pour smt, et surtout : parsage des termes de smt codé. Puis ajout d'un README expliquand ce qui est fait et reste à faire dans les grandes lignes