Abstract
If x denotes a totally real algebraic integer with minimal polynomial P over Q of degree n and with conjugates x(I), x(2),..., x(n) satisfying \x(1)\ greater than or equal to \x(2)\ greater than or equal to ... greater than or equal to \x(n)\, we give a lower bound of the quantity \x(1)(n-1) x(2)(R-2) ... x(n-1)\ depending on the degree n and on the discriminant of P.