Real algebraic numbers and algebraic angles