to fix : loadFromBdd