¿Qué obra de Antonio Buero Vallejo tiene el mismo nombre que un cuadro de Velázquez?