sous l'ancienne rue de Biron, puis, rue Humboldt, et actuelle rue Jean Dolent