Qui pour succéder à Philippe Martinez à la tête d'une CGT revigorée mais divisée ?