Selecting top k items from a list efficiently in Java / Groovy

Très bon article sur la sélection partielle dans une grosse liste. Je ne pensais pas que l’utilisation naïve de TreeMap dans ce cas était aussi inefficace.