Un précurseur français de Copernic, Nicole Oresme, 1377