Pulgarcito, amigo de Armando