La mairie de Sens.