Identification of more than 40 gravitationally magnified stars in a galaxy at redshift 0.725 | Publicación