Rudder

These changes are the merge of non-problematic commits from https://github.com/Normation/rudder/pull/5548

We are doing that in 8.1 only (not before) because there is some changes that are a bit more than just type ascription.
We are still doing them in 8.1 (and not only 8.2) because there's a lot of type-ascription-kind, and following merge between 8.1 and 8.2 will be hard, and 8.1 will still be maintained when 8.2 will come (hopefully with scala 3).

Compared to https://issues.rudder.io/issues/24395, this new iteration is due to the will to be able to cross-compile between scala 2.13 and scala 3, which brings new constraints.