Porto - Bayern, finale de la Ligue des Champions 1987 : l'exploit de Rabah Madjer