rétablissement du merge oublié hier

J'ai juste fait un git pull de ton dossier ;)