correction de bugs sur le scheduler