Fix bug in the merge of the two queues (assumption of the merge: the two queues should be sorted) - adrien