Numérotation des lignes dans le navigateur