void valider() {
	//1 - chaque op à la meme parité
	//2 - chaque op à un op et un résultat

	for(int i = 0; i < (int)bdc.size(); i++){
		if (bdc.at(i).getIds().size() < 2) {
			throw "Erreur : Une clause doit avoir au moin un opérateur et un résultat \n";
		}
	}
	map<string, int> uniq_ops;
	ensOperateur(uniq_ops);

	for(map<string, int>::iterator iter = uniq_ops.begin(); iter != uniq_ops.end(); iter++){
		int arite = (*iter).second();
		for(int j = 0; j < (int)bdc.size(); j++){
			if((*iter).first() == bdc.at(j).getOp()) {
				if(arite != bdc.at(j).getArite()) {
					throw "Erreur : Une clause doit avoir le même nombre d'arité \n";
				}
			}
		}
	}
}