correzione ciclo while, esempio pag. 192