ESI Group: Third quarter 2020 revenue