Applications de la géométrie non euclidienne dans les systèmes de navigation