Traduzione del ciclo while