Un cours sur la logique et la théorie des ensembles