reste inter, minus et egal, compile bien