[Tutti-commits] 04/05: Utilisation des caches de campagnes