Uncomputably large integral points on algebraic plane curves? Unicité des triangulations semi-algébriques: Validité sur un corps réel clos quelconque, et effectivité forte. (Uniqueness of semialgebraic triangulations: Validity on any real closed field, and strong effectiveness) 