*** english summary follows ***

une question sur caml-light:

pourquoi les relations < > <= etc.. sont-elles polymorphes et les operations
+ * etc.. ne le sont-elles pas?
caml accepte 5 > 6 et 5.0 > 6 mais refuse 3. + 2.; je comprend l'eventuelle
necessite de separer les types entier et reel mais pourquoi pas aussi pour
< >..


Hubert Fauque

in english:
I don't understand why caml accepts 5<6 and 5. < 6. but not 2+3 and 2.+3.