Code encore

La GUI de GitHub est parfois un peu chiante.