è passato il puffo di LaTeX e ha sistemato un po' la formattazione