École nationale d'aérotechnique (Nom de la salle de spectacle ou du théâtre)