gros changements dans la structure du solver (plus de UnassignedBucket, ...)