Randonneurs grièvement blessés dans les Pyrénées : comment se protéger en cas de gros orages