¿Y si Tintín se hubiera llamado Pepito?