The theatre in Manoel de Oliveira's cinema