Porsche entre en bourse : opération réussie, des actions à 82,50 euros