modification du style du code (numéros de ligne)