《大头托托奇遇记》是“郑渊洁七彩童话”系列之一