Retour au même algo de collecte des variables manquantes: même si la condition est non résolue (il manque une variable), on collecte quand même les variables manquantes de sa conséquence. Ajout d'un test