Il s’agit spécifiquement des profs de lycée, non pas du salaire moyen du corps enseignant. Si on considère que l’ancienneté moyenne est 20 ans, pour des agrégés le brut est 3500 euros. Il existe par ailleurs des primes (prof, principal, REP, majoration 40% outremer, etc.) et des majorations heures sup. qui s’appliquent statistiquement. Ramené au salaire net, les chiffres semblent donc plausibles. (lien)