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