precondition automatique pour une liste ordonnee