$RED en combien pensez-vous que ce soit son maximum historique aujourd'hui de RED ?