Salut;
Comment utiliser TPTP pour un exemple de test?
(installation, et utilisation dans eclipse)
Merci