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