Singer:fauve
dans la derniere lecon
nous avons sinon etudie au moins definit
ce qu'on entend par relation d'ordre sur un ensemble"