Gruppo Utilizzatori Italiani di TeX
pensavo di aver risolto mettendo un `\selectlanguage{italian}` all’inizio del documento.
invece quello che mi stampa ora è mC/OS-II
