WhileBooleanViolation et WhileViolationBoolOrBreak non testés mais implémentés.