Un orage soudain, un randonneur touché à la tête : ce que l’on sait des deux jeunes foudroyés dans les Pyrénées