  The goal of this paper it to prove existence theorems for one parameter
families (branches) of ejection-collision orbits in the planar circular
restricted three body problem (CRTBP), and to study some of their bifurcations.
The orbits considered are ejected from one primary body and collide with the
other (as opposed to more local ejections-collision orbits which involve only a
single body). We consider branches which are (i) parameterized by the Jacobi
integral (energy like quantity conserved by the CRTBP) and (ii) parameterized
by the two body mass ratio when energy is fixed. The method of proof is
constructive and computer assisted, hence can be applied in non perturbative
settings and (potentially) to other conservative systems of differential
equations. The main requirement is that the system should admit a change of
coordinates which regularizes the singularities (collisions). In the planar
CRTBP the necessary regularization is provided by the classical Levi-Civita
transformation.
