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