Pollux (./110) :
(par contre l'exemple de pphd n'est pas bon parce qu'il marcherait aussi avec une sémantique de wrap-around : un meilleur exemple ce serait optimiser a-b>0 en a>b, chose qu'on ne pourrait pas faire si on n'avait pas la certitude que a-b ne fait pas d'overflow ^^)