Trier les 5 premiers éléments d’une collection en ordre décroissant avec l’algorithme ‘partial_sort()’ et la fonction ‘greater()’