¿Qué hueco hay que dejar para una puerta de 82?