Cinco, dice el saber popular, son las grandes extinciones que ha habido en la historia de la vida. Desde luego, eso no es verdad: sólo tenemos información detallada de los últimos 700 millones de años, y a qué llamemos “gran extinción” depende un poco de cómo hagamos las cuentas. Pero hey, ha habido al menos cinco momentos en que la cosa se ha puesto decididamente difícil para los seres vivos. El más famoso es sin duda la extinción de los dinosaurios. El más grave, la extinción del Pérmico.