Carte géologique du massif de la Sainte-Baume — Institut cartographique de Paris, J. Repelin