#18857 : tri alphabétique de la liste de "tous les vocabulaires".