Definition:

gymnasium