taille limite d'une priority_queue

Version imprimable