Pierre-Jean Benghozi, Professeur, Ecole polytechnique, Directeur de recherche, CNRS