codice:
print preg_replace("#[ ]{1,}#", " ", "1 2  3                                 4");
funziona..... restituisce: "1 2 3 4"