Robert Badinter au Panthéon : "C'est un homme de courage", se souvient le Vauclusien Jean Gatel