complément sur les ensembles