correction généralités ensembles et continuation Rel d'ordre
fin Rel d'ordre