algorithmique / lib_2021_malaspinas / queue