Jean Pied de Port gått öfver till Frankrike,