inserito un pezzo dello pseudo codice