books/bookvolbib add Le96a reference

\bibitem[Lecerf 96a]{Le96a} Lecerf, Gr\'egoire\\
``The Dynamic Real Closure implemented in Axiom''\\
\verb|lecerf.perso.math.cnrs.fr/software/drc/drc.ps|