Carte Hôtel du Pic d'Anie : La pierre saint-martin