  In this paper we present the full details of the construction of a
Morse-Floer type homology related to the super-quadratic perturbation of the
Dirac-geodesic model. This homology is computed explicitly using a Leray-Serre
type spectral sequence and this computation leads us to several existence
results of Dirac-geodesics.
