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