Est ce que 0,75 est plus petit que 0,701 ?