La compañía de dibujos animados Disney llamó Fígaro al gato de Geppeto, el padre de Pinocho.