clôture d’un ensemble