Ajout d'outils de numérotation des labels.