
Multiplication by 0 in ineq: non-equivalence.

language and translation.

Analyse de parcour.

