env.vctResult = new Vector<Hashtable<String, String> >(7, 2); // Creer le vecteur
// qui contiendra les resultats (des hashtables) de la resolution
if (analysisSucceeded) {
env.aResolution = new Resolution(env, false); // false; resolution sans interface
env.aResolution.start();
try {
env.aResolution.join(); // le processus courant ( et en particulier la methode courante