L'été des années 80 : la révolution à toute vitesse du premier TGV