New issue from François Dumont about complexity of sort_heap