Doc : update after Assertions refactoring / forAll