[Observe-commits] 05/08: correction du decorateur de referencedto pour que le tri fonctionne (refs #7610)