Os vários pedidos de Pinto da Costa para o funeral: a lista de quem o ex-presidente quer (e não quer) na despedida