surcharge d'un operateur de comparaison dans une priority_queue

Version imprimable