Revert "Merge branch 'ilyessSept2020' into 'NicolasSept2020'"

Open Ilyess Rachedi requested to merge NicolasSept2020 into ilyessSept2020

This reverts commit 0c8aa389

Merge request reports