Correction d'un bug lié à la saisie de l'étiquette d'une transition