D'où vient le nom du nouveau coronavirus ?