[Observe-commits] 01/07: Classement des marées dans l'arbre (fixes #8861)