Ensembles ordonnés finis : concepts, résultats et usages