Joel Robuchon's best mashed potato recipe in the world: how to make it at home