rétablissement du merge oublié hier

J'ai juste fait un git pull de ton dossier ;)
Je fais le TODO cet aprem ;)