Title: Les travaux géodésiques et cartographiques de l'Institut géographique militaire, 1878-1931