[The choice of operation in surgery of mitral stenosis].