Chapitre 1- logique ensembles et applications