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