ensemble dérivé d’un ensemble