mise à jour de changments qui n'avaient pas été pris en compte par le dernier push