Diamètre d’une partie non vide bornée de R

Correction: