Un aguador de corral de comedias: El Aguador de Sevilla, de Velázquez | Publicación