[Observe-commits] 04/05: deproxifier les proxy hibernante (refs #7589)