I have make a test and it seems that priority_queue.push doesn\'t call push_heap as stated at https://en.cppreference.com/w/cpp/container/priority_queue/push
I can\'t
