si ma aux->next è vuoto mi pare, o sbaglio?