Ensembles, applications, relations d'équivalence, lois de composition (groupes), logique élémentaire — Daniel Alibert