Pyrénées - le Pic du Midi fête 25 ans d'ouverture au grand public