option pour trier les éléments terminaux