Quaternion certification - fixed!

In this version we have fixed a bug which caused that some quaternions were wrongly certified as ones which do not lead to bijective digitized rotations.

Acknowledgements:
Special thanks for Victor Ostromoukhov and David Cœurjolly of University of Lyon 1, LIRIS, France, for finding the bug.

0.1

typo