[Wao-commits] [wao] 01/02: Simplification d'une expression booléenne