Un antioxydant dérivé des champignons