Antrum tympanicum (= antrum mastoideum)