"Quantas vezes é que Pinto da Costa sofreu quatro golos do Benfica?", questiona Francisco J. Marques