[Observe-commits] 03/03: mettre a jour le cache de référentiel après la sauvegarde d'un element de ce référentiel (see #8148).