Saint-Jean-Pied-de-Port, souvenirs historiques et religieux — Pierre Haristoy