Da traduttori professionisti, imprese, pagine web e archivi di traduzione disponibili gratuitamente al pubblico.
=== règle de l'itération ===:formula_15où "p" est l'invariant.
===consequence rule===this rule allows to strengthen the precondition and/or to weaken the postcondition.