Ajout de lignes avec l'éditeur de github.com