Kiosque de la Borde, Guimarães Pinto et Guimarães Pinto Machado