Tintin Capitán Haddock fue uno de los nuevos nombres registrados. ARCHIVO