Les variants du coronavirus changent de nom, et il était vraiment temps