An Algorithm for Merging Heaps

Presentation d'un algorithme pour fusionner des files d'attente de priorite organisees en tas