[sophia][esterel4] Add to production queue

added 26 commits

• 2561d199...2859720b - 25 commits from branch master
• 9d8714a6 - [sophia][esterel4] Add to production queue

Compare with previous version

requested review from @niperrin

approved this merge request

added 5 commits

• 9d8714a6...027c7cff - 4 commits from branch master
• f453c449 - [sophia][esterel4] Add to production queue

Compare with previous version

merged

mentioned in commit aaeeb234