CloudWorld 2022 : Alloy, atout souverain pour Oracle ?