La lista dei possibili OS da lanciare con GRUB parte da 0 la prima menuentry ( set default =0) e poi si conteggiano solo le menuentry principali o anche le menuentry dei submenu ? -- Filippo