Gladys West, mathématicienne pionnière du GPS, s'est éteinte à 95 ans