Version freeze : V0.9 as ordered on the 12 of June 2023.

Signed-off-by: Jean Alinei jean.alinei@laas.fr

added 2 commits

• 29852891 - 1 commit from branch main
• d271eeed - Merge branch 'main' into 'dev_jean'

Compare with previous version

merged

mentioned in commit bf0ecf7b