Une semaine dans les Pyrénées, à randonner à la journée, au pied du pic du Midi (Juillet 2020)