Saint-Gervais : un patio au nom de Robert Badinter