  Given a covering of the projective line with ramifications defined over a
number field, we define a plain model of the algebraic curve realizing the
Riemann existence theorem for this covering, and bound explicitly the defining
equation of this curve and its definition field.
