réécriture du constructeur de UnassignedBucket : plus besoin de pointeurs depuis SatProblem