operazione chirurgica atta a svuotare l'empiema dell'antro mastoideo, in caso di antrite esteriorizzata.