( 4029 ) ö . Gantier.