Opérations géodésiques le long du douzième parallèle en Afrique — Institut géographique national. France