Figure du trotskisme à la française, Alain Krivine est mort samedi à 80 ans