michel had kept the surname , laroche , that they had both adopted on their arrival in paris in 1701 , although in 1730 , he had adjusted his age when he had met and married marie gravoix and they had moved to her home town of lyon .