Hautes-Pyrénées : Jean Ravier, montagne du pyrénéisme, s'en est allé