dvixtotal definicion manual