Mandryka, le père du Concombre masqué, est mort à 80 ans