Robert Redeker quitte l'enseignement et va travailler au CNRS