Bah du coup Paul faut que t'updates ta PR.

Pour rappel (il début sur git^^):
1. Tu fais la modif demandé par Arthur
2. Tu commit
3. Tu push
4. Tu viens mettre un commentaire ici, pour dire que c'est bon et que quelqu'un peut merger.