AVOGADRO: un codice di calcolo per la determinazione della composizione all'equilibrio ad alta temperatura delle specie chimiche presenti in un impianto nucleare ad acqua leggera a seguito della fusione del nocciolo