Mort de Robert Badinter : devant l'affluence, le recueil de condoléances ouvert jusqu'à mardi