professeur agrégé — credited professor (France)