High-resolution RAMSES simulation of the formation of a galaxy disk