Quel est la moitié de 7,5