tintin coke en stock 1958.