Normalien, agrégé de philosophie.