dimension d'un sous-espace affine A est, par définition, la dimension de l'unique
sous-espace vectoriel parall`ele `a A si A est non vide, et zéro si A est vide. La
dimension de A est notée dim A. 1.4 Sous-ensembles convexes. Soient x et y
deux points de Rd. On appelle segment joignant x et y l'ensemble. [x, y] := {(1 ? ?)
x + ... 
