une priority_queue de pixels

Version imprimable