Donc je fais quoi de cette pull request? Je close? En fait j'ai l'impression qu'on a tous les deux fait des changements plus ou moins en même temps mais pas aux mêmes endroits, et que du coup nos deux documents ont fusionnés avec des trucs louches à certains endroits :d