@Francis " du temps qu’il faut pour en fournir la liste (des heures et des heures pour 10 disques). "Non, 10 disques, qq centièmes de secondes pour un pc, quelques dizaines de minutes pour un humain.