António Lobo Antunes (n.