An introduction to riemannian geometry : With applications to mechanics and relativity.