Jeannine Laura Tyson (1945-2015)