Copier le contenu trié d’un conteneur dans un autre avec ‘partial_sort_copy()’