canción "Stock de Coque" del grupo de pop español del mismo nombre.(Homenaje a Tintín)