a a ? b b ? m b n 1 WHILE LTE m a EQ m a a est un multiple de b , c'est n * b m 1 m b n 1 NEQ m ADD a 1 MINUS 1 n 1 * b = MULTIPLY 1 MINUS 1 n 1 1 b est le plus grand multiple de b inférieur à a