La Frontière hispano-française des Pyrénées — Jean Sermet