( ( juartier des Ecoles .)