Mort de Jean-Pierre Michel, figure de la gauche et artisan du Pacs