, LSV, CNRS & ENS de Cachan, France