ensemble de bornes doubles