[O7.1.3_O7.1.7_O7.1.9] Update Why3 description