Revert "Merge branch 'revert-9aca93cc' into 'master'"

This reverts merge request !385 (merged)

Finally, use sirius 10G network interface.

assigned to @pijacquo

enabled an automatic merge when the pipeline for 8d33f6f4 succeeds

merged

mentioned in commit ab7ba3cc