Ancienne école militaire.