petidomo.log petidomo.aux petidomo.dvi petidomo.ps petidomo.toc