codage des nombres réels