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