codice:
$stringa = preg_replace('#[ ]{2,}#', ' ', $stringa);