Real algebraic numbers and polynomial systems of small degree ⋆