[Observe-commits] 09/22: Ajout de Program.tripCount pour optimiser le chargement dans l'arbre de naigation