Saint-Germain d'Auxerre, l'église haute — Jean Vallery-Radot