la division euclidienne, c'est une opérations où les opérandes sont des entiers naturels. la congruence est une relation entre entiers relatifs
edit : (limite antiflood)
donc la fonction remainder, si elle est appliquée a des entiers relatifs, retourne (remainder a b) -> (* (signe a) (remainder (abs a) (abs b)), il me semble.
Message édité par Taz le 25-05-2005 à 22:30:10