A characterization of the projective line

Let $X$ be a set (with at least three different points) and let $G$ be a group of bijections of $X$. If the action of $G$ on $X$ satisfies three natural conditions, then $X$ admits a canonical structure of a projective line over a commutative field, such that $G$ is the group of all projective transformations of $X$.