Pinto da Costa: "Benfica-F. C. Porto à porta fechada? Foi apenas um fait diver"