* Introduce a cache to avoid processing several time
  the same propagations