Bon par contre en caml je pense qu'il est vrai que float_of_int N + float_of_int N - float_of_int N et float_of_int (N + N - N) donnent toujours le même résultat (puisqu'on a droit à l'overflow et que la mantisse doit être suffisamment grande), mais ça n'est en revanche pas le cas de float_of_int (N + N) - float_of_int N et float_of_int (N + N - N), donc ça marche pas non plus